Partial functions and equality in answer set programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5366 LNCS, Issue , 2008, Pages 392-406

  Cabalar, Pedro ^a  

^a UNIVERSITY OF A CORUÑA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; FUNCTIONS; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; PROBABILITY DENSITY FUNCTION; PROGRAMMING THEORY; APPLICATION PROGRAMS;

ANSWER SET PROGRAMMING (ASP); LOGIC PROGRAMS; PARTIAL FUNCTIONS;

COMPUTABILITY AND DECIDABILITY; LOGIC PROGRAMMING;

ANSWER SET; ANSWER SET PROGRAMMING; COMPLETE FUNCTIONS; EQUILIBRIUM LOGIC; HERBRAND MODEL; LOGIC PROGRAMS; PARTIAL FUNCTIONS;

EID: 58549103972     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89982-2_36     Document Type: Conference Paper

References (22)

1. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of the 5th Intl. Conf. on Logic Programming, pp. 1070-1080 (1988)
2. Pearce, D., Valverde, A.: Towards a first order equilibrium logic for nonmonotonic reasoning. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol. 3229, pp. 147-160. Springer, Heidelberg (2004)
3. Lifschitz, V., Pearce, D., Valverde, A.: A characterization of strong equivalence for logic programs with variables. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS, vol. 4483, pp. 188-200. Springer, Heidelberg (2007)
4. Scott, D.: Identity and existence in intuitionistic logic. Lecture Notes in Mathematics 753, 660-696 (1979)
5. Marek, V., Truszczyński, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-year Perspective, pp. 169-181. Springer, Heidelberg (1999)
6. Syrjänen, T.: Omega-restricted logic programs. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS, vol. 2173, pp. 267-279. Springer, Heidelberg (2001)
7. Bonatti, P.A.: Reasoning with infinite stable models. Artificial Intelligence 156, 75-111 (2004)
8. Šimkus, M., Eiter, T.: Decidable non-monotonic disjunctive logic programs with function symbols. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS, vol. 4790, pp. 514-530. Springer, Heidelberg (2007)
9. Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming 17, 301-321 (1993)
10. Hanus, M.: The integration of functions into logic programming: from theory to practice. Journal of Logic Programming 19(20), 583-628 (1994)
11. Pearce, D.: A new logical characterisation of stable models and answer sets. In: Dix, J., Przymusinski, T.C., Moniz Pereira, L. (eds.) NMELP 1996. LNCS (LNAI), vol. 1216. Springer, Heidelberg (1997)
12. 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 (2004)
13. McCarthy, J.: Circumscription: A form of non-monotonic reasoning. Artificial Intelligence 13, 27-39 (1980)
14. Almendros-Jiménez, J.M., Gavilanes-Franco, A., Gil-Luezas, A.: Algebraic semantics for functional logic programming with polymorphic order-sorted types. In: Hanus, M., Rodríguez-Artalejo, M. (eds.) ALP 1996. LNCS, vol. 1139. Springer, Heidelberg (1996)
15. Lin, F., Wang, Y.: Answer set programming with functions. In: Proc. of the 11th Intl. Conf. on Principles of Knowledge Representation and Reasoning, KR 2008 (to appear, 2008)
16. Heyting, A.: Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse, 42-56 (1930)
17. Heyting, A.: Intuitionism. An Introduction. North-Holland, Amsterdam (1956)
18. Naish, L.: Adding equations to NU-Prolog. In: Małuszyński, J., Wirsing, M. (eds.) PLILP 1991. LNCS, vol. 528, pp. 15-26. Springer, Heidelberg (1991)
19. Rouveirol, C.: Flattening and saturation: Two representation changes for generalization. Machine Learning 14(1), 219-232 (1994)
20. Cabalar, P., Lorenzo, D.: Logic programs with functions and default values. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol. 3229, pp. 294-306. Springer, Heidelberg (2004)
21. Cabalar, P.: A functional action language front-end. In: 3rd Workshop on Answer Set Programming, ASP 2005 (2005), http://www.dc.f i.udc.es/ai/~cabalar/ asp05-C.pdf/
22. Barringer, H., Cheng, H., Jones, C.B.: A logic covering undefinedness in program proofs. Acta Informatica 21, 251-269 (1984)