Author:
Calimeri Francesco,Cozza Susanna,Ianni Giovambattista
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Abiteboul, S., Vianu, V.: Datalog Extensions for Database Queries and Updates. JCSS 43(1), 62–124 (1991)
2. Cabibbo, L.: Expressiveness of Semipositive Logic Programs with Value Invention. Logic in Databases, 457–474 (1996)
3. Hull, R., Yoshikawa, M.: ILOG: Declarative Creation and Manipulation of Object Identifiers. In: VLDB 1990, pp. 455–468 (1990)
4. Eiter, T., et al.: A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming. In: IJCAI 2005, pp. 90–96 (2005)
5. Lecture Notes in Computer Science;S. Heymans,2005