Journal of Logic Programming
On the declarative and procedual semantics of logic programs
Journal of Automated Reasoning
Signed data dependencies in logic programs
Journal of Logic Programming
Every logic program has a natural stratification and an iterated least fixed point model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
A procedural semantics for well-founded negation in logic programs
Journal of Logic Programming
SLS-resolution without floundering
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
What is failure?: an approach to constructive negation
Acta Informatica
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
From logic programs to inductive definitions
Logic: from foundations to applications
From logic programming to Prolog
From logic programming to Prolog
ACM Transactions on Database Systems (TODS)
Combining Horn rules and description logics in CARIN
Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
From Logic to Logic Programming
From Logic to Logic Programming
Logic, Programming, and PROLOG
Logic, Programming, and PROLOG
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Answer Set Programming Based on Propositional Satisfiability
Journal of Automated Reasoning
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Rules and Ontologies for the Semantic Web
Reasoning Web
Exploiting conjunctive queries in description logic programs
Annals of Mathematics and Artificial Intelligence
Handbook of Knowledge Representation
Handbook of Knowledge Representation
Hybrid Reasoning with Forest Logic Programs
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Logic Programs under Three-Valued Łukasiewicz Semantics
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Answer Set Programming: A Primer
Reasoning Web. Semantic Technologies for Information Systems
Exploiting ASP in Real-World Applications: Main Strengths and Challenges
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Nonmonotonic databases and epistemic queries
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
ISWC '09 Proceedings of the 8th International Semantic Web Conference
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Reconciling description logics and rules
Journal of the ACM (JACM)
Clasp: a conflict-driven answer set solver
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Well-founded semantics for hybrid rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Hybrid reasoning with rules and constraints under well-founded semantics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
A semantical framework for hybrid knowledge bases
Knowledge and Information Systems
Hybrid rules with well-founded semantics
Knowledge and Information Systems
Well-founded semantics for description logic programs in the semantic web
ACM Transactions on Computational Logic (TOCL)
Answer set programming: a declarative approach to solving search problems
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Effective integration of declarative rules with external evaluations for semantic-web reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
On representational issues about combinations of classical theories with nonmonotonic rules
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
International Journal of Metadata, Semantics and Ontologies
| Hi-index | 0.00 |
This is an introduction to integrating logic programs with first order theories. The main motivation are the needs of Semantic Web to combine reasoning based on rule systems with that based on Description Logics (DL). We focus on approaches which are able to re-use existing reasoners (for DL and for rule systems). A central issue of this paper is non-monotonic reasoning, which is possibly the main feature of rule based reasoning absent in DL. We discuss the main approaches to non-monotonic reasoning in logic programming. Then we show and classify various ways of integrating them with first order theories. We argue that for practical purposes none of the approaches seems sufficient, and an approach combining the features of so-called tight and loose coupling is needed.