The complexity of propositional linear temporal logics in simple cases
Information and Computation
An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation
Journal of Automated Reasoning
Fundamenta Informaticae
The Complexity of Poor Man's Logic
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Theoretical Computer Science
A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Fundamenta Informaticae
Reasoning about common knowledge with infinitely many agents
Information and Computation
The Semijoin Algebra and the Guarded Fragment
Journal of Logic, Language and Information
Complexity results for logics of local reasoning and inconsistent belief
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Awareness as a vital ingredient of teamwork
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Evolution of Collective Commitment during Teamwork
Fundamenta Informaticae
A Tuning Machine for Cooperative Problem Solving
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Complexity Issues in Multiagent Logics
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Reducing the complexity of logics for multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Shallow Models for Non-iterative Modal Logics
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
A new general method to generate random modal formulae for testing decision procedures
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Generalized modal satisfiability
Journal of Computer and System Sciences
Parameterized modal satisfiability
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Does treewidth help in modal satisfiability?
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Taming the complexity of linear time BDI logics
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Generalized modal satisfiability
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
Games, Actions and Social Software
Complexity Issues in Multiagent Logics
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
A Tuning Machine for Cooperative Problem Solving
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
Fundamenta Informaticae
Evolution of Collective Commitment during Teamwork
Fundamenta Informaticae
Fundamenta Informaticae
Constructing the Least Models for Positive Modal Logic Programs
Fundamenta Informaticae
Does Treewidth Help in Modal Satisfiability?
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |