2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/30700We 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.4 pages; Proceedings of LPNMR 2001 (Springer Verlag)Artificial IntelligenceLogic in Computer ScienceF.4.1;I.2.4;D.I.6text