The aspps system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2424, Issue , 2002, Pages 533-536

  East, Deborah ^a   Truszczyński, Mirosław ^b  

^a TEXAS STATE UNIVERSITY   (United States)

^b UNIVERSITY OF KENTUCKY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 65449142631     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (2)

1. D. East and M. Truszczyński. aspps-an implementation of answer-set programming with propositional schemata. In Proceedings of Logic Programming and Nonmonotonic Reasoning Conference, LPNMR 2001, LNAI 2173, pages 402-405, Springer Verlag, 2001.
2. D. East and M. Truszczyński. Propositional satisfiability in answer-set programming. In Proceedings of Joint German/Austrian Conference on Artificial Intelligence, KI'2001, LNAI 2174, pages 138-153, Springer Verlag, 2001.