Compilability and compact representations of revision of Horn knowledge bases
ACM Transactions on Computational Logic (TOCL)
Modeling and verifying multi-agent behaviors using predicate/transition nets
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Set-theoretic completeness for epistemic and conditional logic
Annals of Mathematics and Artificial Intelligence
Using Abstract Resources to Control Reasoning
Journal of Logic, Language and Information
Semantic Issues in the Verification of Agent Communication Languages
Autonomous Agents and Multi-Agent Systems
Model Checking Knowledge and Time
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
World-Modeling vs. World-Axiomatizing
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
On Multi-agent Systems Specification via Deontic Logic
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Qualitative spatiotemporal representation and reasoning: a computational perspective
Exploring artificial intelligence in the new millennium
An algorithmic approach to knowledge evolution
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Local knowledge assertions in a changing world: extended abstract
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
On the logic of cooperation and propositional control
Artificial Intelligence
The complexity of model checking for propositional default logics
Data & Knowledge Engineering
On the complexity of practical ATL model checking
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Symbolic model checking for temporal-epistemic logics
ACM SIGACT News
Verification from Declarative Specifications Using Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
On the logic of cooperation and propositional control
Artificial Intelligence
QBF-based symbolic model checking for knowledge and time
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
The complexity of model checking for belief revision and update
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Verifying security properties of internet protocol stacks: The split verification approach
Journal of Systems Architecture: the EUROMICRO Journal
Abstraction for model checking multi-agent systems
Frontiers of Computer Science in China
Verifying multi-agent systems via unbounded model checking
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Understanding script-based stories using commonsense reasoning
Cognitive Systems Research
Symbolic model checking for temporal-epistemic logic
Logic Programs, Norms and Action
Symbolic model checking composite Web services using operational and control behaviors
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |