Foundations of a functional approach to knowledge representation.
Artificial Intelligence
Semantical considerations on nonmonotonic logic
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
On the declarative and procedual semantics of logic programs
Journal of Automated Reasoning
All I know: a study in autoepistemic logic
Artificial Intelligence
Logic programs with classical negation
Logic programming
Relating autoepistemic and default logics
Proceedings of the first international conference on Principles of knowledge representation and reasoning
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Epistemic semantics for fixed-points non-monotonic logics
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Circumscription in a modal logic
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Reducing query answering to satisfiability in nonmonotonic logics
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Complete and Incomplete Knowledge in Logical Information Systems
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Towards First-Order Nonmonotonic Reasoning
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A comparison of two modelling paradigms in the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Any-World Access to OWL from Prolog
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Rules and Ontologies for the Semantic Web
Reasoning Web
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
ISWC '09 Proceedings of the 8th International Semantic Web Conference
ALC + T: a Preferential Extension of Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Reconciling description logics and rules
Journal of the ACM (JACM)
Towards tractable local closed world reasoning for the semantic web
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Integrating rules and description logics with circumscription for the semantic web
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
Annals of Mathematics and Artificial Intelligence
Theory and Practice of Logic Programming
Towards closed world reasoning in dynamic open worlds
Theory and Practice of Logic Programming
Querying in EL+ with Nonmonotonic Rules
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Minimal belief and negation as failure: a feasible approach
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Reasoning with minimal belief and negation as failure: algorithms and complexity
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Well-founded semantics for description logic programs in the semantic web
ACM Transactions on Computational Logic (TOCL)
Hybrid reasoning with non-monotonic rules
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Paraconsistent semantics for hybrid MKNF knowledge bases
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Normative systems represented as hybrid knowledge bases
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Querying OWL 2 QL and non-monotonic rules
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Extending logic programs with description logic expressions for the semantic web
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Implementing query answering for hybrid MKNF knowledge bases
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Negation, opposition, and possibility in logical concept analysis
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
ALC + T: a Preferential Extension of Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
A New Method Of Circumscribing Beliefs The Propositional Case
Fundamenta Informaticae
A Modal Logic For Hypothesis Theory
Fundamenta Informaticae
The Logic Of Only Knowing As A Unified Framework For Non-Monotonic Reasoning
Fundamenta Informaticae
Query-Driven Procedures for Hybrid MKNF Knowledge Bases
ACM Transactions on Computational Logic (TOCL)
Reasoning with vagueness in hybrid MKNF knowledge bases
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 0.00 |
The approach to database query evaluation developed by Levesque and Reiter treats databases as first order theories, and queries as formulas of the language which includes, in addition to the language of the database, an epistemic modal operator. In this epistemic query language, one can express questions not only about the external world described by the database, but also about the database itself-- about what the database knows. On the other hand, epistemic formulas are used in knowledge representation for the purpose of expressing defaults. Autoepistemic logic is the best known epistemic nonmonotonic formalism; the logic of grounded knowledge, proposed recently by Lin and Shoham, is another such system. This paper brings these two directions of research together. We describe a new version of the Lin/Shoham logic, similar in spirit to the Levesque/Reiter theory of epistemic queries. Using this formalism, we can give meaning to epistemic queries in the context of nonmonotonic databases, including logic programs with negation as failure.