{"type":"ScholarlyArticle","title":"A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming","authors":[{"name":"Thomas Eiter","slug":"thomas-eiter","given":"Thomas","family":"Eiter","affiliation":"Institut für Informationssysteme , Technische Universität Wien , Favoritenstraße 9-11 , A-1040 Vienna , Austria"},{"name":"Giovambattista Ianni","slug":"giovambattista-ianni","given":"Giovambattista","family":"Ianni","affiliation":"Institut für Informationssysteme , Technische Universität Wien , Favoritenstraße 9-11 , A-1040 Vienna , Austria"},{"name":"Roman Schindlauer","slug":"roman-schindlauer","given":"Roman","family":"Schindlauer","affiliation":"Institut für Informationssysteme , Technische Universität Wien , Favoritenstraße 9-11 , A-1040 Vienna , Austria"},{"name":"Hans Tompits","slug":"hans-tompits","given":"Hans","family":"Tompits","affiliation":"Institut für Informationssysteme , Technische Universität Wien , Favoritenstraße 9-11 , A-1040 Vienna , Austria"}],"abstract":"We introduce HEX programs, which are nonmonotonic logic programs admitting higher-order atoms as well as external atoms, and we extend the wellknown answer-set semantics to this class of programs. Higher-order features are widely acknowledged as useful for performing meta-reasoning, among other tasks. Furthermore, the possibility to exchange knowledge with external sources in a fully declarative framework such as Answer-Set Programming (ASP) is nowadays important, in particular in view of applications in the Semantic Web area. Through external atoms, HEX programs can model some important extensions to ASP, and are a useful KR tool for expressing various applications. Finally, complexity and implementation issues for a preliminary prototype are discussed.","doi":null,"url":"https://ijcai.org/proceedings/2005/169","pdf":"https://ijcai.org/proceedings/2005/0169.pdf","markdown":"https://ijcai.org/proceedings/2005/169.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/169","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":169,"pages":{"first":90,"last":95},"keywords":[],"videos":[],"references":[{"position":1,"raw":"[Bechhofer et al., 2004] S. Bechhofer, F. van Harmelen, J. Hendler, et al. OWL web ontology language reference. http://www.w3.org/tr/owl-ref/.","title":"OWL web ontology language reference","authors":"S Bechhofer, F Van Harmelen, J Hendler","year":null,"venue":null,"doi":null,"url":"http://www.w3.org/tr/owl-ref/","internal_url":null},{"position":2,"raw":"[Calvanese et al., 2001] D. Calvanese, G. De Giacomo, and M. Lenzerini. A framework for ontology integration. In Proc. SWWS-2001, pp. 303-316, 2001.","title":"A framework for ontology integration","authors":"D Calvanese, G De Giacomo, M Lenzerini","year":"2001","venue":"Proc. SWWS-2001","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Dantsin et al., 2001] E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov. Complexity and expressive power of logic programming. ACM Comp. Surveys, 33:374-425, 2001.","title":"Complexity and expressive power of logic programming","authors":"E Dantsin, T Eiter, G Gottlob, A Voronkov","year":"2001","venue":"ACM Comp. Surveys","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Eiter et al., 1999] T. Eiter, V.S. Subrahmanian, and G. Pick. Heterogeneous active agents, I: Semantics. Artificial Intel- ligence, 108(1-2):179-255, 1999.","title":"Heterogeneous active agents, I: Semantics","authors":"T Eiter, V S Subrahmanian, G Pick","year":"1999","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Eiter et al., 2004] 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.","title":"Combining Answer Set Programming with description logics for the Semantic Web","authors":"T Eiter, T Lukasiewicz, R Schindlauer, H Tompits","year":"2004","venue":"Proc. KR-2004","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Faber et al., 2004] W. Faber, N. Leone, and G. Pfeifer. Re- cursive aggregates in disjunctive logic programs: Seman- tics and complexity. In Proc. JELIA-2004, pp. 200-212, 2004.","title":"Recursive aggregates in disjunctive logic programs: Semantics and complexity","authors":"W Faber, N Leone, G Pfeifer","year":"2004","venue":"Proc. JELIA-2004","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Gelfond and Lifschitz, 1991] M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-385, 1991.","title":"Classical negation in logic programs and disjunctive databases","authors":"M Gelfond, V Lifschitz","year":"1991","venue":"New Generation Computing","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Heymans and Vermeir, 2003] S. Heymans and D. Vermeir. Integrating Semantic Web reasoning and Answer Set Pro- gramming. In Proc. ASP-2003, pp. 194-208, 2003.","title":"Integrating Semantic Web reasoning and Answer Set Programming","authors":"S Heymans, D Vermeir","year":"2003","venue":"Proc. ASP-2003","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Kifer et al., 1995] M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. J. ACM, 42(4):741-843, 1995.","title":"Logical foundations of object-oriented and frame-based languages","authors":"M Kifer, G Lausen, J Wu","year":"1995","venue":"J. ACM","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Leone et al., 2005] N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, and F. Scarcello. The DLV system for knowledge representation and reasoning. ACM Transac- tions on Computational Logic, 2005. To appear.","title":"The DLV system for knowledge representation and reasoning","authors":"N Leone, G Pfeifer, W Faber, T Eiter, G Gottlob, S Perri, F Scarcello","year":"2005","venue":"ACM Transactions on Computational Logic","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Łukaszewicz, 1990] W. Łukaszewicz. Non-monotonic Rea- soning: Formalizations of Commonsense Reasoning. Ellis Horwood, 1990.","title":"Non-monotonic Reasoning: Formalizations of Commonsense Reasoning","authors":"W Łukaszewicz","year":"1990","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Marek et al., 2004] V. Marek, I. Niemelä, and M. Trusz- czyński. Logic programs with monotone cardinality atoms. In Proc. LPNMR-2004, pp. 154-166, 2004.","title":"Logic programs with monotone cardinality atoms","authors":"V Marek, I Niemelä, M Truszczyński","year":"2004","venue":"Proc. LPNMR-2004","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Poole, 1988] D. Poole. A logical framework for default rea- soning. Artificial Intelligence, 36:27-47, 1988.","title":"A logical framework for default reasoning","authors":"D Poole","year":"1988","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Rosati, 1999] R. Rosati. Towards expressive KR systems integrating datalog and description logics: Preliminary re- port. In Proc. DL-1999, pp. 160-164, 1999.","title":"Towards expressive KR systems integrating datalog and description logics: Preliminary report","authors":"R Rosati","year":"1999","venue":"Proc. DL-1999","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Ross, 1994] K. A. Ross. On negation in HiLog. Journal of Logic Programming, 18(1):27-53, 1994.","title":"On negation in HiLog","authors":"K A Ross","year":"1994","venue":"Journal of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Simons et al., 2002] P. Simons, I. Niemelä, and T. Soininen. Extending and implementing the stable model semantics. Artificial Intelligence, 138:181-234, 2002.","title":"Extending and implementing the stable model semantics","authors":"P Simons, I Niemelä, T Soininen","year":"2002","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Sintek and Decker, 2002] M. Sintek and S. Decker. TRIPLE -A query, inference, and transformation lan- guage for the Semantic Web. In Proc. ISWC-2002, pp. 364-378, 2002.","title":"TRIPLE -A query, inference, and transformation language for the Semantic Web","authors":"M Sintek, S Decker","year":"2002","venue":"Proc. ISWC-2002","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}