Abstract
Motivated by a discussion maintained by Michael Gelfond and other researchers, this short essay contains some thoughts and refections about the following question: should ASP be considered a programming language?
This work was partially supported by Spanish MEC project TIN2009-14562-C05-04 and Xunta de Galicia project INCITE08-PXIB105159PR.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alviano, M., Faber, W., Leone, N.: Disjunctive ASP with functions: Decidable queries and effective computation. Theory and Practice of Logic ProgrammingĀ 10(4-6), 497ā512 (2010)
Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Computable Functions in ASP: Theory and Implementation. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.Ā 5366, pp. 407ā424. Springer, Heidelberg (2008)
Calimeri, F., Cozza, S., Ianni, G., Leone, N.: An ASP System with Functions, Lists, and Sets. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.Ā 5753, pp. 483ā489. Springer, Heidelberg (2009)
Eiter, T., Gottlob, G.: Complexity results for disjunctive logic programming and application to nonmonotonic logics. In: Proceedings of the International Logic Programming Symposium (ILPS), pp. 266ā278. MIT Press, Cambridge (1993)
Ferraris, P., Lee, J., Lifschitz, V.: A new perspective on stable models. In: Proc. of the International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 372ā379 (2007)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K.A. (eds.) Logic Programming: Proc. of the Fifth International Conference and Symposium, vol.Ā 2, pp. 1070ā1080. MIT Press, Cambridge (1988)
Kowalski, R.: Algorithm = logic + control. Communications of the ACMĀ 22(7), 424ā436 (1979)
Marek, V., TruszczyÅski, M.: Stable models and an alternative logic programming paradigm, pp. 169ā181. Springer, Heidelberg (1999)
Marek, W., TruszczyÅski, M.: Autoepistemic logic. Journal of the ACMĀ 38, 588ā619 (1991)
McCarthy, J.: Elaboration tolerance. In: Proc. of the 4th Symposium on Logical Formalizations of Commonsense Reasoning (Common Sense 1998), pp. 198ā217, London, UK (1998), Updated version at http://www-formal.stanford.edu/jmc/elaboration.ps
McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence JournalĀ 4, 463ā512 (1969)
McCarthy, J.: Circumscription - a form of non-monotonic reasoning. Artif. Intell.Ā 13(1-2), 27ā39 (1980)
NiemelƤ, I.: Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial IntelligenceĀ 25, 241ā273 (1999)
Pearce, D., Valverde, A.: Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.Ā 3229, pp. 147ā160. Springer, Heidelberg (2004)
TƤrnlund, S.-A.: Horn clause computability. BITĀ 16(2), 215ā226 (1977)
van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. J. ACMĀ 23(4), 733ā742 (1976)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Cabalar, P. (2011). Answer Set; Programming?. In: Balduccini, M., Son, T.C. (eds) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. Lecture Notes in Computer Science(), vol 6565. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20832-4_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-20832-4_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20831-7
Online ISBN: 978-3-642-20832-4
eBook Packages: Computer ScienceComputer Science (R0)