Title: Finite domain and symbolic inference methods for extensions of first-order logic
Authors: Wittocx, Johan # ×
Issue Date: 2011
Publisher: IOS
Series Title: AI Communications vol:24 issue:1 pages:91-93
Abstract: In this dissertation, we investigate various sorts of reasoning on finite structures and theories in the logic FO(.), a rich extension of classical logic with, amongst others, inductive definitions and aggregates. In particular, we study the tasks of constraint propagation, grounding, model revision, and debugging for FO(.).
ISSN: 0921-7126
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
WittocxPhD.pdfMain article Published 108KbAdobe PDFView/Open


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

© Web of science