Aspps - An implementation of answer-set programming with propositional schemata

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

Volumn 2173, Issue , 2001, Pages 402-405

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

^a UNIVERSITY OF KENTUCKY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER-SET PROGRAMMING;

ARTIFICIAL INTELLIGENCE;

LOGIC PROGRAMMING;

EID: 84867761452     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45402-0_31     Document Type: Article

References (3)

1. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. AKR system dlv: Progress report, comparisons and benchmarks. In Proceeding of the Sixth International Conference on Knowledge Representation and Reasoning (KR '98), pages 406-417. Morgan Kaufmann, 1998.
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. Lecture Notes in Artificial Intelligence, Springer Verlag, 2001.
3. I. Niemelä and P. Simons. Extending the smodels system with cardinality and weight constraints. In J. Minker, editor, Logic-Based Artificial Intelligence, pages 491-521. Kluwer Academic Publishers, 2000.