Cardinality constraint programs

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3229, Issue , 2004, Pages 187-199

  Syrjänen, Tommi ^a  

^a AALTO UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL METHODS; SEMANTICS; COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; MATHEMATICAL MODELS; PROBLEM SOLVING; SET THEORY;

CARDINALITY CONSTRAINTS; DECIDABLE SUBSETS; FORMAL SEMANTICS; FUNCTION SYMBOLS; LITERALS; LOGIC PROGRAMS; SMODELS SYSTEMS; STABLE MODEL SEMANTICS;

LOGIC PROGRAMMING;

CONSTRAINT PROGRAMS; LOGIC PROGRAMS; SMODELS SYSTEMS; STABLE MODELS;

EID: 22944468517     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30227-8_18     Document Type: Conference Paper

References (12)

1. Christian Anger, Kathrin Konczak, and Thomas Linke. Nomore: A system for nonmonotonic reasoning under answer set semantics. In Proceedings of LPNMR'01, pages 406-410, September 2001.
2. A. Chandra and D. Harel. Horn clause queries and generalizations. Journal of Logic Programming, 1:1-15, 1985.
3. Evgeny Dantsin, Thomas Eiter, Georg Gottlob, and Andrei Voronkov. Complexity and expressive power of logic programming. ACM Comput. Surv., 33(3), 374-425, 2001.
4. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, and Gerald Pfeifer. System description: Dlv. In Proceedings of LPNMR'01, Vienna, Austria, September 2001. Springer-Verlag.
5. D. East and M. Truszczyński. Propositional satisfiability in answer-set programming. In Proceedings of KI 2001, pages 138-153, 2001.
6. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proceedings of ICLP'88, pages 1070-1080. The MIT Press, August 1988.
7. David B. Kemp and Peter J. Stuckey. Semantics of logic programs with aggregates. In Proceedings of ILP'91, pages 387-401. MIT Press, 1991.
8. Ilkka Niemelä and Patrik Simons. Extending the Smodels system with cardinality and weight constraints. In Jack Minker, editor, Logic-Based Artificial Intelligence, pages 491-521. Kluwer Academic Publishers, 2000.
9. Patrik Simons, Ilkka Niemelä, and Timo Soininen. Extending and implementing the stable model semantics. Artificial Intelligence, 138(1-2):181-234, 2002.
10. Tommi Syrjänen. Omega-restricted logic programs. In Proceedings of LPNMR'01, Vienna, Austria, September 2001. Springer-Verlag.
11. Tommi Syrjänen. Logic programming with cardinality constraints. Research Report A 86, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Helsinki, Finland, December 2003.
12. Tommi Syrjänen and Ilkka Niemelä. The Smodels system. In Proceedings of LP-NMR'01, Vienna, Austria, September 2001. Springer-Verlag.