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.
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)