Abstract
The advent of ASP has reinvigorated the field of logic programming. ASP has a simple syntax, which from the beginning appealed logic programmers—thanks also to its similarity to Prolog’s syntax. ASP has a well-understood declarative semantics, which can adequately capture non-monotonicity. ASP benefits from good implementations, which guarantee an adequate level of efficiency and reflect the declarative nature of the paradigm—differently from the case of Prolog, where there is a disconnect between declarative semantics and the implementation of its operational semantics.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge (2003)
Boenn, G., Brain, M., De Vos, M., Fitch, J.: Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 160–174. Springer, Heidelberg (2008)
Dal Palù, A., Dovier, A., Pontelli, E., Rossi, G.: Answer Set Programming with Constraints using Lazy Grounding. In: ICLP, pp. 115–129. Springer, Heidelberg (2009)
Dovier, A., Formisano, A., Pontelli, E.: An empirical study of CLP and ASP solutions of combinatorial problems. Journal of Experimental & Theoretical Artificial Intelligence 21(2), 79–121 (2009)
Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. In: IJCAI, pp. 90–96 (2005)
Erdem, E., Türe, F.: Efficient Haplotype Inference with Answer Set Programming. In: AAAI, pp. 436–441. AAAI/MIT Press (2008)
Jarvisalo, M., Oikarinen, E., Janhunen, T., Niemela, I.: A Module-Based Framework for Multi-Language Constraint Modeling. In: LPNMR. Springer, Heidelberg (2009)
Liu, L., Pontelli, E., Son, T., Truszczynski, M.: Logic Programs with Abstract Constraint Atoms: The Role of Computations. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 286–301. Springer, Heidelberg (2007)
McIlraith, S., Son, T.: Adapting Golog for Composition of Semantic Web Services. In: KRR, pp. 482–496. AAAI/MIT Press (2002)
Mellarkod, V., Gelfond, M.: Integrating Answer Set Reasoning with Constraint Solving Techniques. In: Garrigue, J., Hermenegildo, M.V. (eds.) FLOPS 2008. LNCS, vol. 4989, pp. 15–31. Springer, Heidelberg (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dovier, A., Pontelli, E. (2009). Present and Future Challenges for ASP Systems. In: Erdem, E., Lin, F., Schaub, T. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2009. Lecture Notes in Computer Science(), vol 5753. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04238-6_70
Download citation
DOI: https://doi.org/10.1007/978-3-642-04238-6_70
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04237-9
Online ISBN: 978-3-642-04238-6
eBook Packages: Computer ScienceComputer Science (R0)