Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
Alternative Translation Techniques for Propositional and First-Order Modal Logics
Journal of Automated Reasoning
Labelled Modal Logics: Quantifiers
Journal of Logic, Language and Information
Derivability in Locally Quantified Modal Logics via Translation in Set Theory
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Spatial Reasoning with Topological Information
Spatial Cognition, An Interdisciplinary Approach to Representing and Processing Spatial Knowledge
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
From Programs to Games: Invariance and Safety for Bisimulation
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Logic prespective on data and knowledge
Handbook of data mining and knowledge discovery
Connections in nonclassical logics
Handbook of automated reasoning
The description logic handbook
Logical foundations of peer-to-peer data integration
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A constraint-based decision procedure for the description logic ALCN
SAICSIT '06 Proceedings of the 2006 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
A non-preferential semantics of non-monotonic modal logic
Annals of Mathematics and Artificial Intelligence
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Factored models for probabilistic modal logic
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Logic-based knowledge representation
Artificial intelligence today
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Logical foundations for data integration
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Fundamenta Informaticae
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density
Fundamenta Informaticae
Modal Tableaux with Propagation Rules and Structural Rules
Fundamenta Informaticae
Fundamenta Informaticae
Alleged assassins: realist and constructivist semantics for modal modification
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
Introductions to description logics: a guided tour
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Hi-index | 0.00 |