External sources of knowledge and value invention in logic programming

Annals of Mathematics and Artificial Intelligence

Volumn 50, Issue 3-4, 2007, Pages 333-361

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

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

Answer set semantics; Artificial intelligence; Logic programming; Value invention

Indexed keywords

EID: 34548229564     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10472-007-9076-z     Document Type: Conference Paper

References (29)

1. Abiteboul, S., Vianu, V.: Datalog extensions for database queries and updates. J. Comput. Syst. Sci. 43(1), 62-124 (1991)
2. Cabibbo, L.: Expressiveness of semipositive logic programs with value invention. In: Logic in Databases, pp. 457-474 (1996)
3. Hull, R., Yoshikawa, M.: ILOG: declarative creation and manipulation of object identifiers. In: McLeod, D., Sacks-Davis, R., Schek, H.J. (eds.) Proceedings of the 16th International Conference on Very Large Data Bases, pp. 455-468, 13-16 August 1990. Brisbane, Queensland, Australia, Morgan Kaufmann (1990)
4. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer set programming. In: International Joint Conference on Artificial Intelligence (IJCAI) 2005, pp. 90-96. Edinburgh, UK (2005)
5. Heymans, S., Nieuwenborgh, D.V., Vermeir, D.: Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs. In: Proceedings of the Second European Semantic Web Conference, ESWC 2005. Lecture Notes in Computer Science, vol. 3532, pp. 392-407 (2005)
6. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Logic 7(3), 499-562 (2006)
7. Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intel. 138, 181-234 (2002)
8. Syrjänen, T.: Omega-restricted logic programs. In: Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning. Springer, Vienna, Austria, (2001)
9. Bonatti, P.A.: Reasoning with infinite stable models. In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI) 2001, pp. 603-610. Seattle, WA, USA, Morgan Kaufmann Publishers (2001)
10. Faber, W., Pfeifer, G.: DLV homepage (since 1996) http://www.dlvsystem. com/
11. Ross, K.: The well-founded semantics for disjunctive logic programs. In: Kim, W., Nicolas, J.M., Nishio, S., (eds.) Deductive and Object-Oriented Databases, pp. 385-402. Elsevier Science Publishers B. V. (1990)
12. Miller, L., Brickley, D.: The friend of a friend (foaf) project (since 2000) http://www.foaf-project.org/
13. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9, 365-385 (1991)
14. Gelfond, M., Lifschitz,V.: The stablemodel semantics for logic programming. In: Logic Programming: Proceedings Fifth Intl Conference and Symposium, pp. 1070-1080. MIT Press, Cambridge, Mass. (1988)
15. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surveys 33(3), 374-425 (2001)
16. Lifschitz, V., Turner, H.: Splitting a logic program. In: Van Hentenryck, P. (ed.) Proceedings of the 11th International Conference on Logic Programming (ICLP'94), pp. 23-37. MIT Press, Santa Margherita Ligure, Italy (1994)
17. Bonatti, P.A.: Reasoning with infinite stable models. Artif. Intel. 156(1), 75-111 (2004)
18. Leone, N., Perri, S., Scarcello, F.: Improving ASP instantiators by join-ordering methods. In: Eiter, T., Faber,W., Truszczynśki,M. (eds.) Logic Programming and Nonmonotonic Reasoning - Proceedings of the 6th International Conference, LPNMR'01, Vienna, Austria, September 2001. Lecture Notes in Al (LNAI), vol. 2173. Springer-Verlag (2001)
19. Dovier, A., Pontelli, E., Rossi, G.: Set unification. Theory and Practice of Logic Programming, vol. 6, pp. 645-701 (2006)
20. Heymans, S., Nieuwenborgh, D.V., Vermeir, D.: Semantic web reasoning with conceptual logic programs. In: Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, pp. 113-127, November 2004, Hiroshima, Japan (2004)
21. Cabibbo, L.: The expressive power of stratified logic programs with value invention. Inf. Comput. 147(1), 22-56 (1998)
22. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Nonmonotonic description logic programs: Implementation and experiments. In: Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, pp. 511-527 (2004)
23. Eiter, T., Ianni, G., Tompits, H., Schindlauer, R.: Effective integration of declarative rules with external evaluations for semantic web reasoning. In: Proceedings of the 3rd European Semantic Web Conference (ESWC 2006), pp. 273-287 (2006)
24. Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol. I. Computer Science Press (1988)
25. Ramakrishnan, R., Bancilhon, F., Silberschatz, A.: Safety of recursive horn clauses with infinite relations. In: Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 328-339, 23-25 March 1987. ACM, San Diego, California (1987)
26. Sagiv, Y., Vardi, M.Y.: Safety of datalog queries over infinite databases. In: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 160-171, 29-31 March 1989. ACM Press, Philadelphia, Pennsylvania (1989)
27. Calimeri, F., Ianni, G.: DLVEX homepage (since 2004) http://www.mat. unical.it/ianni/wiki/dlvex
28. Palopoli, L., Rombo, S., Terracina, G.: Flexible pattern discovery with (extended) disjunctive logic programming. In: International Symposium on Methodologies for Intelligent Systems (ISMIS 2005), Lecture Notes in AI (LNAI), vol. 3448, pp. 504-513. Springer, Saratoga Springs, New York, USA (2005)
29. Cumbo, C., Iiritano, S., Rullo, P.: Reasoning-based knowledge extraction for text classification. In: Discovery Science, pp. 380-387 (2004)