Title: Extending classical logic with inductive definitions
Authors: Denecker, Marc # ×
Issue Date: 2000
Publisher: Springer-verlag berlin
Host Document: Computational Logic - CL 2000, First International Conference, London, UK, July 2000, Proceedings 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: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


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

© Web of science