ASSAT: Computing answer sets of a logic program by sat solvers

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 2002, Pages 112-117

  Lin, Fangzhen ^a   Zhao, Yuting ^a  

^a HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; PROBLEM SOLVING; SEMANTICS; SET THEORY;

PROPOSITIONAL THEORY;

LOGIC PROGRAMMING;

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

References (10)

1. Babovich, Y.; Erdem, E.; and Lifschitz, V. 2000. Fages' theorem and answer set programming. In Proc. of NMR-2000.
2. Ben-Eliyahu, R., and Dechter, R. 1996. Propositional semantics for disjunctive logic programs. Annals of Mathematics and Artificial Intelligence 12:53-87.
3. Clark, K. L. 1978. Negation as failure. In Gallaire, H., and Minker, J., eds., Logics and Databases. New York: Plenum Press. 293-322.
4. Gelfond, M., and Lifschitz, V. 1988. The stable model semantics for logic programming. In Proc. Fifth International Conference and Symposium on Logic Programming, 1070-1080.
5. Huang, G.-S.; Jia, X.; Liau, C.-J.; and You, J.-H. 2002. Two-literal logic programs and satisfiability representation of stable models: A comparison. In Submitted.
6. Leone et al., N. 2001. DLV: a disjunctive datalog system, release 2001-6-11. At http://www.dbai.tuwien.ac.at/proj/dlv/.
7. Moskewicz, M.; Madigan, C.; Zhao, Y.; Zhang, L.; and Malik, S. 2001. Chaff: engineering an efficient SAT solver. In Proc. 39th Design Automation Conference. Las Vegas, June 2001.
8. Niemelä, I. 1999. Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. and AI 25(34):241-273.
9. Simons, P. 2000. Smodels: a system for computing the stable models of logic programs, version 2.25. At http://www.tcs.hut.fi/Software/smodels/.
10. You, J.; Cartwright, R.; and Li, M. 1996. Iterative belief revision in extended logic programs. Theoretical Computer Science 170.