Title: Extending classical logic with inductive definitions
Authors: Denecker, Marc # ×
Issue Date: 2000
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:1861 pages:703-717
Conference: First International Conference on Computational Logic location:London, U.K. date:July 24-28, 2000
Abstract: The goal of this paper is to extend classical logic with a generalized notion of inductive definition supporting positive and negative induction, to investigate the properties of this logic, its relationships to other logics in the area of non-monotonic reasoning, logic programming and deductive databases, and to show its application for knowledge representation by giving a typology of definitional knowledge.
ISBN: 3-540-67797-6
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
31665.pdf Published 216KbAdobe PDFView/Open


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

© Web of science