Functional stable model semantics and Answer Set Programming Modulo Theories

Michael Bartholomew; Joohyung Lee

Functional stable model semantics and Answer Set Programming Modulo Theories

Michael Bartholomew, Joohyung Lee

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 language	English (US)
Title of host publication	IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence
Pages	718-724
Number of pages	7
State	Published - Dec 1 2013
Event	23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 - Beijing, China Duration: Aug 3 2013 → Aug 9 2013

Publication series

Name	IJCAI International Joint Conference on Artificial Intelligence
ISSN (Print)	1045-0823

Other

Other	23rd International Joint Conference on Artificial Intelligence, IJCAI 2013
Country/Territory	China
City	Beijing
Period	8/3/13 → 8/9/13

ASJC Scopus subject areas

Artificial Intelligence

Cite this

Functional stable model semantics and Answer Set Programming Modulo Theories. / Bartholomew, Michael; Lee, Joohyung.
IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence. 2013. p. 718-724 (IJCAI International Joint Conference on Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Bartholomew, M & Lee, J 2013, Functional stable model semantics and Answer Set Programming Modulo Theories. in IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence. IJCAI International Joint Conference on Artificial Intelligence, pp. 718-724, 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, 8/3/13.

@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",

month = dec,

day = "1",

language = "English (US)",

isbn = "9781577356332",

series = "IJCAI International Joint Conference on Artificial Intelligence",

pages = "718--724",

booktitle = "IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence",

note = "23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 ; Conference date: 03-08-2013 Through 09-08-2013",

}

TY - GEN

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

AU - Bartholomew, Michael

AU - Lee, Joohyung

PY - 2013/12/1

Y1 - 2013/12/1

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

AN - SCOPUS:84896061846

SN - 9781577356332

T3 - IJCAI International Joint Conference on Artificial Intelligence

SP - 718

EP - 724

BT - IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence

T2 - 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013

Y2 - 3 August 2013 through 9 August 2013

ER -

Functional stable model semantics and Answer Set Programming Modulo Theories

Abstract

Publication series

Other

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this