2011 AnswerSetProgrammingataGlance

From GM-RKB
Jump to navigation Jump to search

Subject Headings: Answer Set Programming.

Notes

Cited By

Quotes

Abstract

The motivation and key concepts behind answer set programming --- a promising approach to declarative problem solving.

References

  • 1. Chitta Baral, Knowledge Representation, Reasoning, and Declarative Problem Solving, Cambridge University Press, New York, NY, 2003
  • 2. Chitta Baral, Michael Gelfond, Nelson Rushton, Probabilistic Reasoning with Answer Sets, Theory and Practice of Logic Programming, v.9 n.1, p.57-144, January 2009 doi:10.1017/S1471068408003645
  • 3. Sabrina Baselice, Piero a. Bonatti, Giovanni Criscuolo, On Finitely Recursive Programs1, Theory and Practice of Logic Programming, v.9 n.2, p.213-238, March 2009 doi:10.1017/S147106840900372X
  • 4. Georg Boenn, Martin Brain, Marina De Vos, John Ffitch, Automatic Music Composition Using Answer Set Programming, Theory and Practice of Logic Programming, v.11 n.2-3, p.397-427, March 2011 doi:10.1017/S1471068410000530
  • 5. Brain, M. and Vos, M.D. Debugging Logic Programs under the Answer Set Semantics. In: Proc. 3rd International Workshop on Answer Set Programming, CEUR Workshop Proceedings 142, 2005. M. De Vos and A. Provetti, Eds.
  • 6. Gerhard Brewka, Ilkka Niemela, Miroslaw Truszczynski, Answer Set Optimization, Proceedings of the 18th International Joint Conference on Artificial Intelligence, p.867-872, August 09-15, 2003, Acapulco, Mexico
  • 7. Robert Brummayer, Matti JÄrvisalo, Testing and Debugging Techniques for Answer Set Solver Development, Theory and Practice of Logic Programming, v.10 n.4-6, p.741-758, July 2010 doi:10.1017/S1471068410000396
  • 8. Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone, Computable Functions in ASP: Theory and Implementation, Proceedings of the 24th International Conference on Logic Programming, December 09-13, 2008, Udine, Italy doi:10.1007/978-3-540-89982-2_37
  • 9. Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov, Complexity and Expressive Power of Logic Programming, ACM Computing Surveys (CSUR), v.33 n.3, p.374-425, September 2001 doi:10.1145/502807.502810
  • 10. Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner, Modular Nonmonotonic Logic Programming Revisited, Proceedings of the 25th International Conference on Logic Programming, July 14-17, 2009, Pasadena, CA doi:10.1007/978-3-642-02846-5_16
  • 11. Eiter, T. and Gottlob, G. On the Computational Cost of Disjunctive Logic Programming: Propositional Case. Annals of Mathematics and Artificial Intelligence 15, 3/4 (1995), 289--323.
  • 12. Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Answer Set Programming: A Primer, Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures, Springer-Verlag, Berlin, Heidelberg, 2009 doi:10.1007/978-3-642-03754-2_2
  • 13. Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, A Uniform Integration of Higher-order Reasoning and External Evaluations in Answer-set Programming, Proceedings of the 19th International Joint Conference on Artificial Intelligence, p.90-96, July 30-August 05, 2005, Edinburgh, Scotland
  • 14. Thomas Eiter, Mantas Šimkus, FDNC: Decidable Nonmonotonic Disjunctive Logic Programs with Function Symbols, ACM Transactions on Computational Logic (TOCL), v.11 n.2, p.1-50, January 2010 doi:10.1145/1656242.1656249
  • 15. Esra Erdem, Applications of Answer Set Programming in Phylogenetic Systematics, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, Springer-Verlag, Berlin, Heidelberg, 2011
  • 16. Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'armi, Giuseppe Ielpa, Design and Implementation of Aggregate Functions in the Dlv System*, Theory and Practice of Logic Programming, v.8 n.5-6, p.545-580, November 2008 doi:10.1017/S1471068408003323
  • 17. Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Stable Models and Circumscription, Artificial Intelligence, v.175 n.1, p.236-263, January, 2011 doi:10.1016/j.artint.2010.04.011
  • 18. Gerhard Friedrich, Maria Grazia Fugini, Enrico Mussi, Barbara Pernici, Gaston Tagni, Exception Handling for Repair in Service-Based Processes, IEEE Transactions on Software Engineering, v.36 n.2, p.198-215, March 2010 doi:10.1109/TSE.2010.8
  • 19. Gebser, M., Guziolowski, C., Ivanchev, M., Schaub, T., Siegel, A., Thiele, S. and Veber, P. Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. In: Proc. 12th International Conference on Principles of Knowledge Representation and Reasoning. F. Lin, U. Sattler, and M. Truszczynski, Eds., 2010, 497--507.
  • 20. Gelfond, M. and Lifschitz, V. The Stable Model Semantics for Logic Programming. Logic Programming: The 5th International Conference and Symposium. R.A. Kowalski and K. Bowen, Eds. MIT Press, Cambridge, MA, 1988, 1070--1080,
  • 21. Gelfond M. and Lifschitz, V. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9 (1991), 365--385.
  • 22. Greco, S., Molinaro, C., Trubitsyna, I. and Zumpano, E. NP Datalog: A Logic Language for Expressing Search and Optimization Problems. Theory and Practice of Logic Programming 10, 2 (2010), 125--166.
  • 23. Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran, Modularity Aspects of Disjunctive Stable Models, Journal of Artificial Intelligence Research, v.35 n.1, p.813-857, May 2009
  • 24. Henry Kautz, Bart Selman, Planning As Satisfiability, Proceedings of the 10th European Conference on Artificial Intelligence, p.359-363, August 1992, Vienna, Austria
  • 25. Nicola Leone, Pasquale Rullo, Francesco Scarcello, Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation, Information and Computation, v.135 n.2, p.69-112, June 15, 1997 doi:10.1006/inco.1997.2630
  • 26. Answer Set Programming and plan Generation, Artificial Intelligence, v.138 n.1-2, p.39-54, June 2002 doi:10.1016/S0004-3702(02)00186-8
  • 27. Vladimir Lifschitz, David Pearce, Agustín Valverde, Strongly Equivalent Logic Programs, ACM Transactions on Computational Logic (TOCL), v.2 n.4, p.526-541, Oct. 2001 doi:10.1145/383779.383783
  • 28. Fangzhen Lin, Yuting Zhao, ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers, Eighteenth National Conference on Artificial Intelligence, p.112-117, July 28-August 01, 2002, Edmonton, Alberta, Canada
  • 29. Wiktor Marek, Mirosław Truszczyński, Autoepistemic Logic, Journal of the ACM (JACM), v.38 n.3, p.587-618, July 1991 doi:10.1145/116825.116836
  • 30. Marek, V.W. and Truszczyński, M. Stable Models and An Alternative Logic Programming Paradigm. The Logic Programming Paradigm---A 25-Year Perspective. K. Apt, K.V. V.W. Marek, M.W. Truszczyński and D.S. Warren, Eds. Springer, 1999, 375--398.
  • 31. Wiktor W. Marek, M. Truszczynski, Nonmonotonic Logic: Context-Dependent Reasoning, Springer-Verlag New York, Inc., Secaucus, NJ, 1997
  • 32. Ilkka Niemelä, Logic Programs with Stable Model Semantics As a Constraint Programming Paradigm, Annals of Mathematics and Artificial Intelligence, v.25 n.3-4, p.241-273, 1999 doi:10.1023/A:1018930122475
  • 33. Ilkka Niemelä, Stable Models and Difference Logic, Annals of Mathematics and Artificial Intelligence, v.53 n.1-4, p.313-329, August 2008 doi:10.1007/s10472-009-9118-9
  • 34. Nogueira, M., Balduccini, M., Gelfond, M., Watson, R. and Barry, M. A Prolog Decision Support System for the Space Shuttle. In: Proc. 1st International Workshop on Answer Set Programming. A. Provetti and T. C. Son, Eds, 2001.
  • 35. David Pearce, Equilibrium Logic, Annals of Mathematics and Artificial Intelligence, v.47 n.1-2, p.3-41, June 2006 doi:10.1007/s10472-006-9028-z
  • 36. Pearce, D. and Valverde, A. Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. In: Proc. 9th European Conference on Logics in Artificial Intelligence, LNCS 3229. Springer, 2004, 147--160.
  • 37. Axel Polleres, From SPARQL to Rules (and Back), Proceedings of the 16th International Conference on World Wide Web, May 08-12, 2007, Banff, Alberta, Canada doi:10.1145/1242572.1242679
  • 38. F. Ricca, G. Grasso, M. Alviano, M. Manna, V. Lio, S. Iiritano, N. Leone, Team-building with Answer Set Programming in the Gioia-tauro Seaport, Theory and Practice of Logic Programming, v.12 n.3, p.361-381, May 2012 doi:10.1017/S147106841100007X
  • 39. Timo Soininen, Ilkka Niemelä, Developing a Declarative Rule Language for Applications in Product Configuration, Proceedings of the First International Workshop on Practical Aspects of Declarative Languages, p.305-319, January 18-19, 1999
  • 40. Stefan Woltran, A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-set Programming*, Theory and Practice of Logic Programming, v.8 n.2, p.217-234, March 2008 doi:10.1017/S1471068407003250;


 AuthorvolumeDate ValuetitletypejournaltitleUrldoinoteyear
2011 AnswerSetProgrammingataGlanceGerhard Brewka
Thomas Eiter
Mirosław Truszczyński		Answer Set Programming at a Glance10.1145/2043174.20431952011
Retrieved from "http://www.gabormelli.com/RKB/index.php?title=2011_AnswerSetProgrammingataGlance&oldid=844996"