aspps --- an implementation of answer-set programming with propositional schemata
Artificial Intelligence
2007-05-23 v1 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.cs/0107029,
title = {aspps --- an implementation of answer-set programming with propositional schemata},
author = {Deborah East. Miroslaw Truszczynski},
journal= {arXiv preprint arXiv:cs/0107029},
year = {2007}
}
Comments
4 pages; Proceedings of LPNMR 2001 (Springer Verlag)