Functional stable model semantics and Answer Set Programming Modulo Theories

Michael Bartholomew, Joohyung Lee

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Citations (Scopus)

Abstract

Recently there has been an increasing interest in incorporating "intensional" functions in answer set programming. Intensional functions are those whose values can be described by other functions and predicates, rather than being pre-defined as in the standard answer set programming. We demonstrate that the functional stable model semantics plays an important role in the framework of "Answer Set Programming Modulo Theories (ASPMT)" -a tight integration of answer set programming and satisfiability modulo theories, under which existing integration approaches can be viewed as special cases where the role of functions is limited. We show that "tight" ASPMT programs can be translated into SMT instances, which is similar to the known relationship between ASP and SAT.

Original languageEnglish (US)
Title of host publicationIJCAI International Joint Conference on Artificial Intelligence
Pages718-724
Number of pages7
StatePublished - 2013
Event23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 - Beijing, China
Duration: Aug 3 2013Aug 9 2013

Other

Other23rd International Joint Conference on Artificial Intelligence, IJCAI 2013
CountryChina
CityBeijing
Period8/3/138/9/13

Fingerprint

Programming theory
Semantics
Surface mount technology
Computer programming

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Bartholomew, M., & Lee, J. (2013). Functional stable model semantics and Answer Set Programming Modulo Theories. In IJCAI International Joint Conference on Artificial Intelligence (pp. 718-724)

Functional stable model semantics and Answer Set Programming Modulo Theories. / Bartholomew, Michael; Lee, Joohyung.

IJCAI International Joint Conference on Artificial Intelligence. 2013. p. 718-724.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bartholomew, M & Lee, J 2013, Functional stable model semantics and Answer Set Programming Modulo Theories. in IJCAI International Joint Conference on Artificial Intelligence. pp. 718-724, 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, 8/3/13.
Bartholomew M, Lee J. Functional stable model semantics and Answer Set Programming Modulo Theories. In IJCAI International Joint Conference on Artificial Intelligence. 2013. p. 718-724
Bartholomew, Michael ; Lee, Joohyung. / Functional stable model semantics and Answer Set Programming Modulo Theories. IJCAI International Joint Conference on Artificial Intelligence. 2013. pp. 718-724
@inproceedings{95a72f65bed649c484d9e3f9a3cd1d40,
title = "Functional stable model semantics and Answer Set Programming Modulo Theories",
abstract = "Recently there has been an increasing interest in incorporating {"}intensional{"} functions in answer set programming. Intensional functions are those whose values can be described by other functions and predicates, rather than being pre-defined as in the standard answer set programming. We demonstrate that the functional stable model semantics plays an important role in the framework of {"}Answer Set Programming Modulo Theories (ASPMT){"} -a tight integration of answer set programming and satisfiability modulo theories, under which existing integration approaches can be viewed as special cases where the role of functions is limited. We show that {"}tight{"} ASPMT programs can be translated into SMT instances, which is similar to the known relationship between ASP and SAT.",
author = "Michael Bartholomew and Joohyung Lee",
year = "2013",
language = "English (US)",
isbn = "9781577356332",
pages = "718--724",
booktitle = "IJCAI International Joint Conference on Artificial Intelligence",

}

TY - GEN

T1 - Functional stable model semantics and Answer Set Programming Modulo Theories

AU - Bartholomew, Michael

AU - Lee, Joohyung

PY - 2013

Y1 - 2013

N2 - Recently there has been an increasing interest in incorporating "intensional" functions in answer set programming. Intensional functions are those whose values can be described by other functions and predicates, rather than being pre-defined as in the standard answer set programming. We demonstrate that the functional stable model semantics plays an important role in the framework of "Answer Set Programming Modulo Theories (ASPMT)" -a tight integration of answer set programming and satisfiability modulo theories, under which existing integration approaches can be viewed as special cases where the role of functions is limited. We show that "tight" ASPMT programs can be translated into SMT instances, which is similar to the known relationship between ASP and SAT.

AB - Recently there has been an increasing interest in incorporating "intensional" functions in answer set programming. Intensional functions are those whose values can be described by other functions and predicates, rather than being pre-defined as in the standard answer set programming. We demonstrate that the functional stable model semantics plays an important role in the framework of "Answer Set Programming Modulo Theories (ASPMT)" -a tight integration of answer set programming and satisfiability modulo theories, under which existing integration approaches can be viewed as special cases where the role of functions is limited. We show that "tight" ASPMT programs can be translated into SMT instances, which is similar to the known relationship between ASP and SAT.

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

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

M3 - Conference contribution

SN - 9781577356332

SP - 718

EP - 724

BT - IJCAI International Joint Conference on Artificial Intelligence

ER -