We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
First-Order Logic with Inductive Definitions for Model-Based Problem Solving.
- Authors
Bruynooghe, Maurice; Denecker, Marc; Truszczyński, Mirosław
- 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.
- Subjects
COMPUTER programming; SKOLEM function; DECLARATIVE programming; FIRST-order logic; MODEL-based reasoning; PROBLEM solving
- Publication
AI Magazine, 2016, Vol 37, Issue 3, p69
- ISSN
0738-4602
- Publication type
Article
- DOI
10.1609/aimag.v37i3.2679