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

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

Research output: Contribution to journalArticlepeer-review

7 Scopus citations


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 languageEnglish
Pages (from-to)69-80
Number of pages12
JournalAI Magazine
Issue number3
StatePublished - 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


Dive into the research topics of 'First-order logic with inductive definitions for model-based problem solving'. Together they form a unique fingerprint.

Cite this