First-order logic with inductive definitions for model-based problem solving

Maurice Bruynooghe; Marc Denecker; Mirosław Truszczyński

doi:10.1609/aimag.v37i3.2679

First-order logic with inductive definitions for model-based problem solving

Maurice Bruynooghe, Marc Denecker, Mirosław Truszczyński

Computer Science

Research output: Contribution to journal › Article › peer-review

5 Scopus citations

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 toward 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.

Original language	English
Pages (from-to)	69-80
Number of pages	12
Journal	AI Magazine
Volume	37
Issue number	3
DOIs	https://doi.org/10.1609/aimag.v37i3.2679
State	Published - Sep 1 2016

Bibliographical note

Publisher Copyright:
Copyright © 2016, Association for the Advancement of Artificial Intelligence. All rights reserved.

ASJC Scopus subject areas

Artificial Intelligence

Access to Document

10.1609/aimag.v37i3.2679

Cite this

@article{bdde219133144ab5b76956e44f671a6a,

title = "First-order logic with inductive definitions for model-based problem solving",

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 toward 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.",

author = "Maurice Bruynooghe and Marc Denecker and Miros{\l}aw Truszczy{\'n}ski",

year = "2016",

month = sep,

day = "1",

doi = "10.1609/aimag.v37i3.2679",

language = "English",

volume = "37",

pages = "69--80",

number = "3",

}

TY - JOUR

T1 - First-order logic with inductive definitions for model-based problem solving

AU - Bruynooghe, Maurice

AU - Denecker, Marc

AU - Truszczyński, Mirosław

PY - 2016/9/1

Y1 - 2016/9/1

N2 - In answer set programming (ASP), programs can be viewed as specifications of finite Herbrand structures. Other logics can be (and, in fact, were) used toward 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.

AB - In answer set programming (ASP), programs can be viewed as specifications of finite Herbrand structures. Other logics can be (and, in fact, were) used toward 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.

UR - http://www.scopus.com/inward/record.url?scp=85019768939&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85019768939&partnerID=8YFLogxK

U2 - 10.1609/aimag.v37i3.2679

DO - 10.1609/aimag.v37i3.2679

M3 - Article

AN - SCOPUS:85019768939

VL - 37

SP - 69

EP - 80

IS - 3

ER -

First-order logic with inductive definitions for model-based problem solving

Abstract

Bibliographical note

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this