Twenty years of stable model semantics (SMS) and almost ten years of Answer Set Programming (ASP) are a good reason for a moment of reflection on these important concepts. This position paper gives a personal account of their history, aspects of ASP, and emphasizes the role of theory and practice in this area. © 2008 Springer Berlin Heidelberg.
CITATION STYLE
Eiter, T. (2008). SMS and ASP: Hype or TST? In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5366 LNCS, pp. 77–82). https://doi.org/10.1007/978-3-540-89982-2_13
Mendeley helps you to discover research relevant for your work.