GNT - A solver for disjunctive logic programs

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

Volumn 2923, Issue , 2004, Pages 331-335

  Janhunen, Tomi ^a   Niemelä, Ilkka ^a  

^a AALTO UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DECISION MAKING; FORMAL LOGIC; PROBLEM SOLVING; PRODUCT DEVELOPMENT; SEMANTICS;

ANSWER SET PROGRAMMING (ASP); DISJUNCTIVE LOGIC PROGRAMS; DISJUNCTIVE STABLE MODELS; PRODUCT CONFIGURATION;

LOGIC PROGRAMMING;

EID: 9444255773     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. S. Brass and J. Dix. Characterizations of the (disjunctive) stable semantics by partial evaluation. Journal of Logic Programming, 32(3):207-228, 1997.
2. T. Eiter and G. Gottlob. On the computational cost of disjunctive logic programming: Propositional case. Annals of Mathematics and Artificial Intelligence, 15:289-323, 1995.
3. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-385, 1991.
4. T. Janhunen, I. Niemelä, D. Seipel, P. Simons, and J.-H. You. Unfolding partiality and disjunctions in stable model semantics. CoRR: cs.AI/0303009, March 2003. Submitted for publication.
5. N. Leone et al. A disjunctive datalog system DLV (2002-04-12). Available in the World Wide Web: http://www.dbai.tuwien.ac.at/proj/dlv/, 2002.
6. I. Niemelä. A tableau calculus for minimal model reasoning. In Proceedings of the Fifth Workshop on Theorem Proving with Analytic Tableaux and Related Methods, pages 278-294, Terrasini, Italy, May 1996. Springer-Verlag.
7. P. Simons and T. Janhunen. GNT - a solver for disjunctive logic programs. Available in the World Wide Web: http://www.tcs.hut.fi/Software/gnt/, 2003.
8. P. Simons, I. Niemelä, and T. Soininen. Extending and implementing the stable model semantics. Artificial Intelligence, 138(1-2):181-234, 2002.
9. P. Simons and T. Syrjänen. SMODELS and LPARSE - a solver and a grounder for normal logic programs. Available in the World Wide Web: http://www.tcs.hut.fi/Software/smodels/, 2002.