Artificial Intelligence Review
Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability
Journal of Automated Reasoning
A Tableau for Multimodal Logics and Some (Un)Decidability Results
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The description logic handbook
On the complexity of the two-variable guarded fragment with transitive guards
Information and Computation
A Tableaux System for Deontic Action Logic
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Reasoning about Web Services with Local Closed World Assumption
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
The two-variable guarded fragment with transitive guards is 2EXPTIME-hard
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
A dynamic description logic for representation and reasoning about actions
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
A Family of Dynamic Description Logics for Representing and Reasoning About Actions
Journal of Automated Reasoning
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density
Fundamenta Informaticae
Modal Tableaux with Propagation Rules and Structural Rules
Fundamenta Informaticae
| Hi-index | 0.00 |