Title: First order logic with inductive definitions for model-based problem solving
Authors: Bruynooghe, Maurice # ×
Denecker, Marc
Truszczynski, Miroslaw #
Issue Date: 2016
Publisher: American Association for Artificial Intelligence
Series Title: AI Magazine vol:37 issue:3 pages:69-80
Abstract: In Answer Set Programming (ASP), programs can be viewed as specifications of finite
Herbrand structures. Other logics can be (and, in fact, were)
used towards the same end and can be taken as the basis of
declarative programming systems of similar functionality as
ASP. We discuss here one such logic, the logic FO(ID), and
its implementation IDP3. The choice is motivated by notable similarities between ASP and FO(ID), even if both approaches trace back to different origins.
Description: part of special issue on Answer Set Programming
ISSN: 0738-4602
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
Thefinalversion.pdf Published 240KbAdobe PDFView/Open


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

© Web of science