%0 Book Section %1 East01 %A East, Deborah %A Truszczyński, Mirosłlaw %D 2001 %J Logic Programming and Nonmotonic Reasoning %K answer-set-programming, asp, aspps, propositional-schemata %P 402--405 %R 10.1007/3-540-45402-0\_31 %T aspps — An Implementation of Answer-Set Programming with Propositional Schemata %U http://dx.doi.org/10.1007/3-540-45402-0\_31 %X 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.

@incollection{East01, 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.}}, added-at = {2011-05-04T16:04:17.000+0200}, author = {East, Deborah and Truszczy\'{n}ski, Miros{\l}law}, biburl = {https://www.bibsonomy.org/bibtex/27d871f2c4fcc2efe82a3a1ce95b075c6/baisemain}, citeulike-article-id = {5221355}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/3-540-45402-0\_31}, citeulike-linkout-1 = {http://www.springerlink.com/content/x3jgqfqxguyx199r}, doi = {10.1007/3-540-45402-0\_31}, interhash = {0784d23f4ec1aeb64ce91fdb52078566}, intrahash = {7d871f2c4fcc2efe82a3a1ce95b075c6}, journal = {Logic Programming and Nonmotonic Reasoning}, keywords = {answer-set-programming, asp, aspps, propositional-schemata}, pages = {402--405}, posted-at = {2009-07-21 22:03:05}, priority = {2}, timestamp = {2011-05-04T16:04:34.000+0200}, title = {{aspps — An Implementation of Answer-Set Programming with Propositional Schemata}}, url = {http://dx.doi.org/10.1007/3-540-45402-0\_31}, year = 2001 }