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 -