Title: The well-founded semantics is the principle of inductive definition, revisited
Authors: Denecker, Marc ×
Vennekens, Joost #
Issue Date: 24-Jul-2014
Host Document: Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning pages:1-10
Conference: International Conference on Principles of Knowledge Representation and Reasoning edition:14 location:Vienna date:20-24 July 2014
Abstract: In the past, there have been several attempts to explain logic
programming under the well-founded semantics as a logic of inductive
definitions. A weakness in all is the absence of an obvious
connection between how we understand various types of informal
inductive definitions in mathematical text and the complex
mathematics of the well-founded semantics. In this paper, we close
this gap. We formalize the induction process in the most common
principles and prove that the well-founded
model construction generalizes them all.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
Computer Science Technology TC, Technology Campus De Nayer Sint-Katelijne-Waver
Technologiecluster Computerwetenschappen
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
nat-ind.pdf Published 264KbAdobe PDFView/Open


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