This paper presents a Knowledge Base project for FO(ID), an extension of classical logic with inductive definitions. This logic is a natural integration of classical logic and logic programming based on the view of a logic program as a definition. We discuss the relationship between inductive definitions and common sense reasoning and the strong similarities and striking differences with ASP and Abductive LP. We report on inference systems that combine state-of-the-art techniques of SAT and ASP. Experiments show that FO(ID) model expansion systems are competitive with the best ASP-solvers. © 2008 Springer Berlin Heidelberg.
CITATION STYLE
Denecker, M., & Vennekens, J. (2008). Building a knowledge base system for an integration of logic programming and classical logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5366 LNCS, pp. 71–76). https://doi.org/10.1007/978-3-540-89982-2_12
Mendeley helps you to discover research relevant for your work.