A machine program for theorem proving, JACM, vol.5, issue.7 ,
Assat : Computing answer sets of a logic program by sat solver, AAAI-02, 2002. ,
Th kr sysem dlv :progress report, comparisons and benchmarks, KR, 1978. ,
Tight logicprograms . Thoery and Practice of Logic Programming, pp.499-518, 2003. ,
Consistency ofclark's completion and existence of stable models, Thoery and Practice of Logic Programming, pp.51-60, 1994. ,
The stable model semantics for logic programming, Logic programming : Fifth Int'l Conf. and Symp, pp.1070-1080, 1988. ,
Classical negation in logic programs and disjunctive databases, New Generation Computing, vol.38, issue.No. 3, pp.365-385, 1991. ,
DOI : 10.1007/BF03037169
Sat-based answer set programming, 19th National Conference on Artificial Intelligence, 2004. ,
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs, Procedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), pp.346-350, 2004. ,
DOI : 10.1007/978-3-540-24609-1_32
Logic programs with stable models semantics as a constraint programming paradigm, Annals of Mathematics and Artificial Intelligence, vol.25, issue.3/4, pp.241-273, 1999. ,
DOI : 10.1023/A:1018930122475
A logic for default reasoning, Artificial Intelligence, vol.13, issue.1-2, pp.81-132, 1980. ,
DOI : 10.1016/0004-3702(80)90014-4
A modal logic for hypothesis theory, Fondamunta Informatika, vol.21, issue.12, pp.89-101, 1994. ,
Hypothesis theory for nonmonotonic reasoning, Workshop on Nonstandard Queries and Answers, 1991. ,
Extending and implementing the stable model semantics, doctoral dessertation, pp.305-316, 2000. ,
DOI : 10.1016/S0004-3702(02)00187-X
Backdoors to typical case complexity, IJCAI, pp.1173-1178, 2003. ,