An ASP system with functions, lists, and sets

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

Volumn 5753 LNAI, Issue , 2009, Pages 483-489

  Calimeri, Francesco ^a   Cozza, Susanna ^a   Ianni, Giovambattista ^a   Leone, Nicola ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

APRIORI; BUILT-IN FUNCTIONS; COMPLEX TERM; COMPUTABLE FUNCTIONS; DOMAIN PROPERTIES; ON-DEMAND; RESEARCH INSTITUTES;

LINGUISTICS; LOGIC PROGRAMMING; RECURSIVE FUNCTIONS; XML;

SET THEORY;

EID: 70349854903     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04238-6_46     Document Type: Conference Paper

References (10)

1. Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. NGC 9, 365-385 (1991)
2. 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)
3. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM TOCL 7(3), 499-562 (2006) (Pubitemid 44330485)
4. Calimeri, F., Cozza, S., Ianni, G., Leone, N.: DLV-Complex homepage (since 2008), http://www.mat.unical.it/dlv-complex
5. Buneman, P., Levy, L.S.: The Towers of Hanoi Problem. Information Processing Letters 10(4/5), 243-244 (1980)
6. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and Expressive Power of Logic Programming. ACM Computing Surveys 33(3), 374-425 (2001)
7. Calimeri, F., Cozza, S., Ianni, G.: External sources of knowledge and value invention in logic programming. AMAI 50(3-4), 333-361 (2007)
8. Calimeri, F., Ianni, G.: External sources of computation for Answer Set Solvers. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.3662, pp. 105-118. Springer, Heidelberg (2005)
9. Faber, W., Pfeifer, G.: DLV homepage (since 1996), http://www.dlvsystem. com/
10. Friedrich, G., Ivanchenko, V.: Diagnosis from first principles for workflow executions. Tech. Rep., http://proserver3-iwas.uni-klu.ac.at/download area/ Technical-Reports/technical report 2008 02.pdf