aspps --- an implementation of answer-set programming with propositional schemata
Abstract
We present an implementation of an answer-set programming paradigm, called aspps (short for answer-set programming with propositional schemata). The system aspps is designed to process PS+ theories. It consists of two basic modules. The first module, psgrnd, grounds an PS+ theory. The second module, referred to as aspps, is a solver. It computes models of ground PS+ theories.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2001
- DOI:
- 10.48550/arXiv.cs/0107029
- arXiv:
- arXiv:cs/0107029
- Bibcode:
- 2001cs........7029E
- Keywords:
-
- Computer Science - Artificial Intelligence;
- Computer Science - Logic in Computer Science;
- F.4.1;
- I.2.4;
- D.I.6
- E-Print:
- 4 pages