A pragmatic programmer's guide to Answer Set Programming

CEUR Workshop Proceedings

Volumn 546, Issue , 2009, Pages 49-63

  Brain, Martin ^a   Cliffe, Owen ^a   De Vos, Marina ^a  

^a University of Bath   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET; ANSWER SET PROGRAMMING; DECLARATIVE PROBLEM SOLVING; OBJECT-ORIENTED PARADIGM; PROBLEM SPECIFICATION; PROGRAMMING METHODOLOGY; PROGRAMMING PARADIGMS;

SOFTWARE ENGINEERING;

LOGIC PROGRAMMING;

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

References (22)

1. Chitta Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press, 2003.
2. Kent Beck. Test-driven Development. Addison-Wesley, 2003.
3. Georg Boenn, Martin Brain, Marina De Vos, and John ffitch. Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. In Proceedings of ICLP08, December 2008.
4. M. Brain, M. Gebser, J. Pührer, T. Schaub, H. Tompits, and S. Woltran. "That is illogical captain!" - The debugging support tool spock for answer-set programs: System description. In De Vos and Schaub [10], pages 71-85.
5. Martin Brain, Tom Crick, Marina De Vos, and John Fitch. Toast: Applying answer set programming to superoptimisation. In International Conference on Logic Programming, LNCS. Springer, August 2006.
6. Martin Brain and Marina De Vos. Debugging Logic Programs under the Answer Set Semantics. In Marina De Vos and Alessandro Provetti, editors, ASP05: Answer Set Programming: Advances in Theory and Implementation, pages 142-152, Bath, UK, July 2005. Research Press International. Also available from http://CEUR-WS.org/Vol-142/files/page141.pdf.
7. Martin Brain and Marina De Vos. Answer set programming - a domain in need of explanation. In Exact08: International Workshop on Explanation-aware Computing, 2008.
8. M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture, and E. Erdem. Solving challenging grid puzzles with answer set programming. In Proceedings of the 4th Workshop on Answer Set Programming: Advances in Theory and Implementation, pages 175-190, Porto, Portugal, September 2007.
9. Owen Cliffe, Marina De Vos, Martin Brain, and Julian Padget. Aspviz: Declarative visualisation and animation using answer set programming. In Logic Programming, Lecture Notes in Computer Science, pages 724-728. Springer Berlin / Heidelberg, 2008.
10. M. De Vos and T. Schaub, editors. Proceedings of the Workshop on Software Engineering for Answer Set Programming (SEA'07), 2007.
11. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello. The KR system dlv: Progress report, comparisons and benchmarks. In Anthony G. Cohn, Lenhart Schubert, and Stuart C. Shapiro, editors, KR'98: Principles of Knowledge Representation and Reasoning, pages 406-417. Morgan Kaufmann, San Francisco, California, 1998.
12. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello. The KR System dlv: Progress Report, Comparisons and Benchmarks. In Anthony G. Cohn, Lenhart Schubert, and Stuart C. Shapiro, editors, KR'98: Principles of Knowledge Representation and Reasoning, pages 406-417. Morgan Kaufmann, San Francisco, California, 1998.
13. Niklas En and Armin Biere. Effective preprocessing in sat through variable and clause elimination. In SAT05, volume 3569 of LNCS, pages 61-75. Springer, 2005.
14. M. Gebser, B. Kaufmann, A. Neumann, and T. Schaub. Conflict-driven answer set solving. In M. Veloso, editor, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), pages 386-392. AAAI Press/The MIT Press, 2007. Available at http://www.ijcai.org/papers07/contents. php.
15. Martin Gebser, Tomi Janhunen, Max Ostrowski, Torsten Schaub, and Sven Thiele. A versatile intermediate language for answer set programming. In Maurice Pagnucco and Michael Thielscher, editors, Proceedings of the 12th International Workshop on Nonmonotonic Reasoning, pages 150-159, Sydney, Australia, September 2008. University of New SouthWales, School of Computer Science and Engineering, Techical Report, UNSW-CSE-TR-0819.
16. Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In Robert A. Kowalski and Kenneth A. Bowen, editors, Logic Programming, Proceedings of the Fifth International Conference and Symposium, pages 1070-1080, Seattle, Washington, August 1988. The MIT Press.
17. Y. Lierler and M.Maratea. Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. In Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 2923 of LNCS, pages 346-350. Springer, 2004.
18. Yuliya Lierler. Abstract: Answer Set Solvers. In ICLP '08: Proceedings of the 24th International Conference on Logic Programming, pages 377-391, Berlin, Heidelberg, 2008. Springer-Verlag.
19. I. Niemelä and P. Simons. Smodels: An implementation of the stable model and well-founded semantics for normal LP. In Jürgen Dix, Ulrich Furbach, and Anil Nerode, editors, Proceedings of the 4th International Conference on Logic Programing and Nonmonotonic Reasoning, volume 1265 of LNAI, pages 420-429, Berlin, July 28-31 1997. Springer.
20. Ilkka Niemelä, editor. WASP WP3 Report: Language Extensions and Software Engineering for ASP. 2005.
21. T. Syrjänen and I. Niemelä. The Smodels System. In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, 2001.
22. Marek Truszczyński, Janhunen Tommi, Martin Brain,Wolfgang Faber, Marco Maratea, Axel Polleres, Torsten Schaub, and Roman Schindlauer. Language forum. In De Vos and Schaub [10], pages 3-39.