Title: Building a knowledge base system for an integration of logic programming and classical logic
Authors: Denecker, Marc
Vennekens, Joost #
Issue Date: 2008
Publisher: Springer
Host Document: Lecture Notes in Computer Science vol:5366 pages:71-76
Conference: International Conference on Logic Programming, ICLP edition:24 location:Udine, Italy date:9-13 December 2008
Abstract: 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.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
Technologiecluster Computerwetenschappen
Computer Science Technology TC, Technology Campus De Nayer Sint-Katelijne-Waver
# (joint) last author

Files in This Item:
File Description Status SizeFormat
paper.pdfMain article Published 95KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science