Title: Predicate introduction for logics with a fixpoint semantics. Part II: Autoepistemic logic
Authors: Vennekens, Joost ×
Mariƫn, Maarten
Wittocx, Johan
Denecker, Marc #
Issue Date: Sep-2007
Publisher: IOS Press
Series Title: Fundamenta Informaticae vol:79 issue:1-2 pages:209-227
ISSN: 0169-2968
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 Status SizeFormat
42611.pdf Published 168KbAdobe PDFView/Open


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

© Web of science