Lecture Notes in Computer Science vol:5366 pages:71-76
International Conference on Logic Programming, ICLP edition:24 location:Udine, Italy date:9-13 December 2008
This paper presents a Knowledge Base project for FO(ID), an extension of classical logic with inductive deﬁnitions. This logic is a natural integration of classical logic and logic programming based on the view of a logic program as a deﬁnition. We discuss the relationship between inductive deﬁnitions 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.