Title: An algebraic account of modularity in ID-logic
Authors: Vennekens, Joost ×
Denecker, Marc #
Issue Date: 2005
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:3662 pages:291-303
Conference: 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) location:Diamante, Italy date:5-8 September, 2005
Abstract: ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this logic in terms of approximation theory, an algebraic theory which generalizes the semantics of several non-monotonic reasoning formalisms. This allows us to apply certain abstract modularity theorems, developed within the framework of approximation theory, to ID-logic. As such, we are able to offer elegant and simple proofs of generalizations of known theorems, m well as some new results.
ISBN: 3-540-28538-5
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
Technologiecluster Computerwetenschappen
Computer Science Technology TC, Technology Campus De Nayer Sint-Katelijne-Waver
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
41706.pdf Published 227KbAdobe PDFView/Open


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

© Web of science