TY - GEN

T1 - The aspps system

AU - East, Deborah

AU - Truszczyński, Mirosław

PY - 2002

Y1 - 2002

N2 - The aspps system is an answer-set programming system based on the extended logic of propositional schemata [2], which allows variables but not function symbols in the language. We denote this logic PS+. A theory in the logic PS+ is a pair (D,P), where D is a set of ground atoms (only constant symbols as arguments) representing an instance of a problem (input data), and P is a set of PS+-clauses representing a program (an abstraction of a problem). The meaning of a PS+-theory T = (D,P) is given by a family of PS+-models [2].

AB - The aspps system is an answer-set programming system based on the extended logic of propositional schemata [2], which allows variables but not function symbols in the language. We denote this logic PS+. A theory in the logic PS+ is a pair (D,P), where D is a set of ground atoms (only constant symbols as arguments) representing an instance of a problem (input data), and P is a set of PS+-clauses representing a program (an abstraction of a problem). The meaning of a PS+-theory T = (D,P) is given by a family of PS+-models [2].

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

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

M3 - Conference contribution

AN - SCOPUS:65449142631

SN - 3540441905

SN - 9783540441908

SN - 9783540457572

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 533

EP - 536

BT - Logics in Artificial Intelligence - 8th European Conference, JELIA 2002, Proceedings

A2 - Flesca, Sergio

A2 - Greco, Sergio

A2 - Ianni, Giovambattista

A2 - Leone, Nicola

T2 - 8th European Conference on Logics in Artificial Intelligence, JELIA 2002

Y2 - 23 September 2002 through 26 September 2002

ER -