A uniform integration of higher-order reasoning and external evaluations in answer-set programming

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 90-96

  Eiter, Thomas ^a   Ianni, Giovambattista ^a   Schindlauer, Roman ^a   Tompits, Hans ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER-SET PROGRAMMING; EXTERNAL SOURCES; HIGHER-ORDER; METAREASONING; NONMONOTONIC LOGIC PROGRAMS;

ARTIFICIAL INTELLIGENCE; ATOMS; KNOWLEDGE MANAGEMENT; LOGIC PROGRAMMING;

APPLICATION PROGRAMS;

EID: 84880721144     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. S. Bechhofer, F. van Harmelen, J. Hendler, et al. OWL web ontology language reference. http://www.w3.org/tr/owl-ref/.
2. D. Calvanese, G. De Giacomo, and M. Lenzerini. A framework for ontology integration. In Proc. SWWS-2001, pp. 303-316, 2001.
3. E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov. Complexity and expressive power of logic programming. ACM Comp. Surveys, 33:374-425, 2001. (Pubitemid 33768487)
4. T. Eiter, V.S. Subrahmanian, and G. Pick. Heterogeneous active agents, I: Semantics. Artificial Intelligence, 108(1-2):179-255, 1999.
5. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining Answer Set Programming with description logics for the Semantic Web. In Proc. KR-2004, pp. 141-151, 2004.
6. W. Faber, N. Leone, and G. Pfeifer. Recursive aggregates in disjunctive logic programs: Semantics and complexity. In Proc. JELIA-2004, pp. 200-212, 2004.
7. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-385, 1991.
8. S. Heymans and D. Vermeir. Integrating Semantic Web reasoning and Answer Set Programming. In Proc. ASP-2003, pp. 194-208, 2003.
9. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. J. ACM, 42(4):741-843, 1995.
10. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, and F. Scarcello. The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic, 2005. To appear.
11. W. Łukaszewicz. Non-monotonic Reasoning: Formalizations of Commonsense Reasoning. Ellis Horwood, 1990.
12. V. Marek, I. Niemelä, and M. Truszczyński. Logic programs with monotone cardinality atoms. In Proc. LPNMR-2004, pp. 154-166, 2004.
13. D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27-47, 1988.
14. R. Rosati. Towards expressive KR systems integrating datalog and description logics: Preliminary report. In Proc. DL-1999, pp. 160-164, 1999.
15. K. A. Ross. On negation in HiLog. Journal of Logic Programming, 18(1):27-53, 1994.
16. P. Simons, I. Niemelä, and T. Soininen. Extending and implementing the stable model semantics. Artificial Intelligence, 138:181-234, 2002.
17. M. Sintek and S. Decker. TRIPLE - A query, inference, and transformation language for the Semantic Web. In Proc. ISWC-2002, pp. 364-378, 2002.