The nomore++ approach to answer set solving

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

Volumn 3835 LNAI, Issue , 2005, Pages 95-109

  Anger, Christian ^a   Gebser, Martin ^a   Linke, Thomas ^a   Neumann, André ^a   Schaub, Torsten ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL OBJECTS; COMPUTATIONAL STRATEGY; THEORETICAL FOUNDATIONS;

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; INFORMATION RETRIEVAL; PROBLEM SOLVING;

COMPUTATIONAL METHODS;

EID: 33745467743     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11591191_8     Document Type: Conference Paper

References (20)

1. Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138 (2002) 181-234
2. Leone, N., Faber, W., Pfeifer, G., Eiter, T., Gottlob, G., Koch, C., Mateis, C., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic (2005) To appear.
3. Lin, F., Zhao, Y.: Assat: computing answer sets of a logic program by sat solvers. Artificial Intelligence 157 (2004) 115-137
4. Lierler, Y., Maratea, M.: Cmodels-2: Sat-based answer sets solver enhanced to non-tight programs. In Lifschitz, V., Niemelä, I., eds.: Proceedings of the Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'04). Springer (2004) 346-350
5. Anger, C., Konczak, K., Linke, T.; noMoRe: A system for non-monotonic reasoning under answer set semantics. In Eiter, T., Faber, W., Truszczyński, M., eds.: Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LP-NMR'01), Springer (2001) 406-410
6. van Gelder, A., Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. Journal of the ACM 38 (1991) 620-650
7. Fitting, M.: Fixpoint semantics for logic programming: A survey. Theoretical Computer Science 278 (2002) 25-51
8. Clark, K.: Negation as failure. In Gallaire, H., Minker, J., eds.: Logic and Data Bases. Plenum Press (1978) 293-322
9. Konczak, K., Linke, T., Schaub, T.: Graphs and colorings for answer set programming: Abridged report. In Vos, M.D., Provetti, A., eds.: Proceedings of the Second International Workshop on Answer Set Programming (ASP'03). CEUR (2003) 137-150
10. Cook, S., Reckhow, R.: The relative efficiency of propositional proof systems. Journal of Symbolic Logic 44 (1979) 36-50
11. Fages, F : Consistency of clark's completion and the existence of stable models. Journal of Methods of Logic in Computer Science 1 (1994) 51-60
12. Erdem, E., Lifschitz, V.: Tight logic programs. Theory and Practice of Logic Programming 3(2003)499-518
13. Faber, W., Leone, N., Pfeifer, G.: Pushing goal derivation in DLP computations. In Gelfond, M., Leone, N., Pfeifer, G., eds.: Proceedings of the Fifth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99). Springer (1999) 177-191
14. (http: //www.cs.uni-potsdam.de/nomore)
15. (http://asparagus.cs.uni-potsdam.de)
16. Anger, C., Gebser, M., Linke, T., Neumann, A., Schaub, T.: The nomore++ system. In Baral, C., Greco, G., Leone, N., Terracina, G., eds.: Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05). Springer (2005) 422-426
17. Anger, C., Gebser, M., Linke, T., Neumann, A., Schaub, T.: The nomore++ approach to answer set solving. In Vos, M.D., Provetti, A., eds.: Proceedings of the Third International Workshop on Answer Set Programming (ASP'05). CEUR (2005) 163-177
18. Faber., W.: Enhancing Efficiency and Expressiveness in Answer Set Programming Systems. Dissertation, Technische Universität Wien (2002)
19. Calimeri, F., Faber, W., Leone, N., Pfeifer, G.: Pruning operators for answer set programming systems. In Benferhat, S., Giunchiglia, E., eds.: Proceedings of the Nineth International Workshop on Non-Monotonie Reasoning (NMR'02). (2002) 200-209
20. Leone, N., Rullo, P., Scarcello, F.: Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation. Information and Computation 135 (1997) 69-112