Title: A logic of non-monotone inductive definitions and its modularity properties
Authors: Denecker, Marc ×
Ternovska, E #
Issue Date: 2004
Publisher: Springer-verlag berlin
Host Document: Logic Programming and Nonmonotonic Reasoning: 7th International Conference vol:2923 pages:47-60
Conference: 7th International Conference on Logic Programming and Nonmonotonic Reasoning location:Fort Lauderdale, Florida, USA date:January 6-8, 2004
Abstract: Well-known principles of induction include monotone induction and different sorts of non-monotone induction such as inflationary induction, induction over well-ordered sets and iterated induction. In this work, we define a logic formalizing induction over well-ordered sets and monotone and iterated induction. Just as the principle of positive induction has been formalized in FO(LFP), and the principle of inflationary induction has been formalized in FO(IFP), this paper formalizes the principle of iterated induction in a new logic for Non-Monotone Inductive Definitions (NMID-logic). The semantics of the logic is strongly influenced by the well-founded semantics of logic programming.
ISBN: 3-540-20721-X
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
40945.pdf Published 232KbAdobe PDFView/Open


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

© Web of science