{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:19:52Z","timestamp":1743077992796,"version":"3.40.3"},"publisher-location":"Cham","reference-count":101,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319610320"},{"type":"electronic","value":"9783319610337"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61033-7_7","type":"book-chapter","created":{"date-parts":[[2017,6,9]],"date-time":"2017-06-09T07:40:08Z","timestamp":1496994008000},"page":"204-275","source":"Crossref","is-referenced-by-count":7,"title":["Answer Set Programming with External Source Access"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Kaminski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Redl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Sch\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonius","family":"Weinzierl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,10]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-40564-8_6","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Alviano","year":"2013","unstructured":"Alviano, M., Dodaro, C., Faber, W., Leone, N., Ricca, F.: WASP: a native ASP solver based on constraint learning. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol. 8148, pp. 54\u201366. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40564-8_6"},{"issue":"2","key":"7_CR2","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/1877714.1877723","volume":"12","author":"A Analyti","year":"2011","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V.: MWeb: a principled framework for modular web rule bases and its semantics. ACM Trans. Comput. Log. 12(2), 17 (2011)","journal-title":"ACM Trans. Comput. Log."},{"key":"7_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511615320","volume-title":"Principles of Constraint Programming","author":"K Apt","year":"2003","unstructured":"Apt, K.: Principles of Constraint Programming. Cambridge University Press, New York (2003)"},{"key":"7_CR4","unstructured":"Balduccini, M.: Representing constraint satisfaction problems in answer set programming. In: Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) at ICLP (2009)"},{"key":"7_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"7_CR6","unstructured":"Basol, S., Erdem, O., Fink, M., Ianni, G.: HEX programs with action atoms. In: Technical Communications of the International Conference on Logic Programming (ICLP), pp. 24\u201333 (2010)"},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF01530761","volume":"12","author":"R Ben-Eliyahu","year":"1994","unstructured":"Ben-Eliyahu, R., Dechter, R.: Propositional semantics for disjunctive logic programs. Ann. Math. Artif. Intell. 12, 53\u201387 (1994)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"11","key":"7_CR8","doi-asserted-by":"crossref","first-page":"1492","DOI":"10.1109\/TKDE.2010.37","volume":"22","author":"A Bikakis","year":"2010","unstructured":"Bikakis, A., Antoniou, G.: Defeasible contextual reasoning with arguments in ambient intelligence. IEEE Trans. Knowl. Data Eng. 22(11), 1492\u20131506 (2010)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-642-15675-5_31","volume-title":"Logics in Artificial Intelligence","author":"M B\u00f6gl","year":"2010","unstructured":"B\u00f6gl, M., Eiter, T., Fink, M., Sch\u00fcller, P.: The mcs-ie system for explaining inconsistency in multi-context systems. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS (LNAI), vol. 6341, pp. 356\u2013359. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-15675-5_31"},{"issue":"4","key":"7_CR10","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/j.websem.2004.07.001","volume":"1","author":"P Bouquet","year":"2004","unstructured":"Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: Contextualizing ontologies. Web Semant. Sci. Serv. Agents World Wide Web 1(4), 325\u2013343 (2004)","journal-title":"Web Semant. Sci. Serv. Agents World Wide Web"},{"key":"7_CR11","unstructured":"Bozzato, L., Serafini, L.: Materialization calculus for contexts in the semantic web. In: Eiter, T., Glimm, B., Kazakov, Y., Kr\u00f6tzsch, M. (eds.) DL 2013, vol. 1014. CEUR-WP, pp. 552\u2013572 (2013). CEUR-WS.org"},{"key":"7_CR12","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI Conference on Artificial Intelligence, pp. 385\u2013390. AAAI Press (2007)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Brewka, G., Eiter, T., Truszczy\u0144ski, M. (eds.): AI Magazine 37(3), 5\u20136 (2016). Special issue on Answer Set Programming. AAAI Press","DOI":"10.1609\/aimag.v37i3.2669"},{"issue":"12","key":"7_CR14","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"7_CR15","unstructured":"Brewka, G., Roelofsen, F., Serafini, L.: Contextual default reasoning. In: Veloso, M.M. (ed.) IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, 6\u201312 January 2007, pp. 268\u2013273 (2007)"},{"key":"7_CR16","unstructured":"Cabalar, P., Kaminski, R., Ostrowski, M., Schaub, T.: An ASP semantics for default reasoning with constraints. In: Kambhampati, S. (ed.) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, 9\u201315 July 2016, pp. 1015\u20131021. IJCAI\/AAAI Press (2016)"},{"key":"7_CR17","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/j.artint.2012.08.002","volume":"193","author":"A Cal\u00ec","year":"2012","unstructured":"Cal\u00ec, A., Gottlob, G., Pieris, A.: Towards more expressive ontology languages: the query answering problem. Artif. Intell. 193, 87\u2013128 (2012)","journal-title":"Artif. Intell."},{"issue":"3\u20134","key":"7_CR18","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s10472-007-9076-z","volume":"50","author":"F Calimeri","year":"2007","unstructured":"Calimeri, F., Cozza, S., Ianni, G.: External sources of knowledge and value invention in logic programming. Ann. Math. Artif. Intell. 50(3\u20134), 333\u2013361 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"key":"7_CR19","unstructured":"Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Ricca, F., Schaub, T.: ASP-Core-2 Input Language Format (2013)"},{"issue":"2","key":"7_CR20","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1109\/TCIAIG.2015.2509600","volume":"8","author":"F Calimeri","year":"2016","unstructured":"Calimeri, F., Fink, M., Germano, S., Humenberger, A., Ianni, G., Redl, C., Stepanova, D., Tucci, A., Wimmer, A.: Angry-HEX: an artificial player for angry birds based on declarative knowledge bases. IEEE Trans. Comput. Intell. AI Games 8(2), 128\u2013139 (2016)","journal-title":"IEEE Trans. Comput. Intell. AI Games"},{"key":"7_CR21","unstructured":"Calimeri, F., Fink, M., Germano, S., Ianni, G., Redl, C., Wimmer, A.: AngryHEX: an artificial player for angry birds based on declarative knowledge bases. In: National Workshop and Prize on Popularize, Artificial Intelligence, pp. 29\u201335 (2013)"},{"issue":"3","key":"7_CR22","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reasoning 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reasoning"},{"issue":"3","key":"7_CR23","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1007\/978-3-642-02906-6_52","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"M Dao-Tran","year":"2009","unstructured":"Dao-Tran, M., Eiter, T., Krennwallner, T.: Realizing default logic over description logic knowledge bases. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol. 5590, pp. 602\u2013613. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02906-6_52"},{"key":"7_CR25","unstructured":"Dodaro, C., Ricca, F., Sch\u00fcller,P.: External propagators in WASP: preliminary report. In: Bistarelli, S., Formisano, A., Maratea, M. (eds.) International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA), vol. 1745. CEUR Workshop Proceedings, pp. 1\u20139, November 2016. CEUR-WS.org"},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-04581-3_1","volume-title":"Semantic Techniques for the Web","author":"W Drabent","year":"2009","unstructured":"Drabent, W., Eiter, T., Ianni, G., Krennwallner, T., Lukasiewicz, T., Ma\u0142uszy\u0144ski, J.: Hybrid reasoning with rules and ontologies. In: Bry, F., Ma\u0142uszy\u0144ski, J. (eds.) Semantic Techniques for the Web. LNCS, vol. 5500, pp. 1\u201349. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04581-3_1"},{"issue":"2","key":"7_CR27","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321\u2013357 (1995)","journal-title":"Artif. Intell."},{"issue":"3\/4","key":"7_CR28","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/BF01536399","volume":"15","author":"T Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: On the computational cost of disjunctive logic programming: propositional case. Ann. Math. Artif. Intell. 15(3\/4), 289\u2013323 (1995)","journal-title":"Ann. Math. Artif. Intell."},{"key":"7_CR29","doi-asserted-by":"publisher","unstructured":"Eiter, T., Fink, M., Ianni, G., Krennwallner, T., Redl, C., Sch\u00fcller, P.: A model building framework for answer set programming with external computations. In: Theory and Practice of Logic Programming (2015). http:\/\/arxiv.org\/abs\/1507.01451 , doi: 10.1017\/S1471068415000113","DOI":"10.1017\/S1471068415000113"},{"issue":"4\u20135","key":"7_CR30","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1017\/S1471068412000233","volume":"12","author":"T Eiter","year":"2012","unstructured":"Eiter, T., Fink, M., Krennwallner, T., Redl, C.: Conflict-driven ASP solving with external sources. Theory Pract. Logic Program. 12(4\u20135), 659\u2013679 (2012)","journal-title":"Theory Pract. Logic Program."},{"key":"7_CR31","unstructured":"Eiter, T., Fink, M., Krennwallner, T., Redl, C.: Liberal safety criteria for HEX-programs. In: des Jardins, M., Littman, M. (eds.) AAAI Conference on Artificial Intelligence (AAAI). AAAI Press (2013)"},{"key":"7_CR32","unstructured":"Eiter, T., Fink, M., Krennwallner, T., Redl, C.: Domain expansion for ASP-programs with external sources. Technical report INFSYS RR-1843-14-02, Institut f\u00fcr Informationssysteme, Technische Universit\u00e4t Wien, A-1040 Vienna, Austria, September 2014"},{"key":"7_CR33","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Krennwallner, T., Redl, C.: HEX-programs with existential quantification. In: International Conference on Applications of Declarative Programming and Knowledge Management (INAP) (2014)","DOI":"10.1007\/978-3-319-08909-6_7"},{"key":"7_CR34","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1016\/j.artint.2016.01.003","volume":"233","author":"T Eiter","year":"2016","unstructured":"Eiter, T., Fink, M., Krennwallner, T., Redl, C.: Domain expansion for ASP-programs with external sources. Artif. Intell. 233, 84\u2013121 (2016)","journal-title":"Artif. Intell."},{"key":"7_CR35","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1613\/jair.4175","volume":"49","author":"T Eiter","year":"2014","unstructured":"Eiter, T., Fink, M., Krennwallner, T., Redl, C., Sch\u00fcller, P.: Efficient HEX-program evaluation based on unfounded sets. J. Artif. Intell. Res. 49, 269\u2013321 (2014)","journal-title":"J. Artif. Intell. Res."},{"key":"7_CR36","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/j.artint.2014.07.008","volume":"216","author":"T Eiter","year":"2014","unstructured":"Eiter, T., Fink, M., Sch\u00fcller, P., Weinzierl, A.: Finding explanations of inconsistency in multi-context systems. Artif. Intell. 216, 233\u2013274 (2014)","journal-title":"Artif. Intell."},{"issue":"3\u20134","key":"7_CR37","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/BF01536399","volume":"15","author":"T Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: On the computational cost of disjunctive logic programming: propositional case. Ann. Math. Artif. Intell. 15(3\u20134), 289\u2013323 (1995)","journal-title":"Ann. Math. Artif. Intell."},{"key":"7_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-46583-9_4","volume-title":"Generalized Quantifiers and Computation","author":"T Eiter","year":"1999","unstructured":"Eiter, T., Gottlob, G., Veith, H.: Generalized quantifiers in logic programs. In: V\u00e4\u00e4n\u00e4nen, J. (ed.) ESSLLI 1997. LNCS, vol. 1754, pp. 72\u201398. Springer, Heidelberg (1999). doi: 10.1007\/3-540-46583-9_4"},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"Eiter, T., Ianni, G., Krennwallner, T.: Answer set programming: a primer. In: Reasoning Web Summer School, pp. 40\u2013110 (2009)","DOI":"10.1007\/978-3-642-03754-2_2"},{"issue":"1\u20134","key":"7_CR40","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/s10472-009-9111-3","volume":"53","author":"T Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Krennwallner, T., Schindlauer, R.: Exploiting conjunctive queries in description logic programs. Ann. Math. Artif. Intell. 53(1\u20134), 115\u2013152 (2008)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"12\u201313","key":"7_CR41","doi-asserted-by":"crossref","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell. 172(12\u201313), 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"key":"7_CR42","unstructured":"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), pp. 90\u201396. Professional Book Center (2005)"},{"key":"7_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/11762256_22","volume-title":"The Semantic Web: Research and Applications","author":"T Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective integration of declarative rules with external evaluations for semantic-web reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 273\u2013287. Springer, Heidelberg (2006). doi: 10.1007\/11762256_22"},{"key":"7_CR44","unstructured":"Eiter, T., Kaminski, T., Redl, C., Weinzierl, A.: Exploiting partial assignments for efficient evaluation of answer set programs with external source access. In: IJCAI, pp. 1058\u20131065. IJCAI\/AAAI Press (2016)"},{"key":"7_CR45","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-642-41524-1_15","volume-title":"Applications of Declarative Programming and Knowledge Management","author":"T Eiter","year":"2013","unstructured":"Eiter, T., Krennwallner, T., Redl, C.: HEX-programs with nested program calls. In: Tompits, H., Abreu, S., Oetsch, J., P\u00fchrer, J., Seipel, D., Umeda, M., Wolf, A. (eds.) INAP\/WLP -2011. LNCS (LNAI), vol. 7773, pp. 269\u2013278. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-41524-1_15"},{"key":"7_CR46","unstructured":"Eiter, T., Mehuljic, M., Redl, C., Sch\u00fcller, P.: User guide: dlvhex 2.x. Technical report INFSYS RR-1843-15-05, Vienna University of Technology, Institute for Information Systems (2015)"},{"key":"7_CR47","unstructured":"Eiter, T., Redl, C., Sch\u00fcller, P.: Problem solving using the HEX family. In: Beierle, C., Brewka, G., Thimm, M. (eds.) Computational Models of Rationality - Essays Dedicated to Gabriele Kern-Isberner on the Occasion of her 60th Birthday, Tributes, pp. 150\u2013174. College Publications, January 2016"},{"issue":"3","key":"7_CR48","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1609\/aimag.v37i3.2678","volume":"37","author":"E Erdem","year":"2016","unstructured":"Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53\u201368 (2016)","journal-title":"AI Mag."},{"issue":"2","key":"7_CR49","doi-asserted-by":"crossref","first-page":"319","DOI":"10.3233\/AIC-150697","volume":"29","author":"E Erdem","year":"2016","unstructured":"Erdem, E., Patoglu, V., Sch\u00fcller, P.: A systematic analysis of levels of integration between low-level reasoning and task planning. AI Commun. 29(2), 319\u2013349 (2016)","journal-title":"AI Commun."},{"key":"7_CR50","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30227-8_19","volume-title":"Logics in Artificial Intelligence","author":"W Faber","year":"2004","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: semantics and complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 200\u2013212. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-30227-8_19"},{"issue":"1","key":"7_CR51","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1016\/j.artint.2010.04.002","volume":"175","author":"W Faber","year":"2011","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Semantics and complexity of recursive aggregates in answer set programming. Artif. Intell. 175(1), 278\u2013298 (2011)","journal-title":"Artif. Intell."},{"key":"7_CR52","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-642-40564-8_31","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Fink","year":"2013","unstructured":"Fink, M., Germano, S., Ianni, G., Redl, C., Sch\u00fcller, P.: ActHEX: implementing HEX programs with action atoms. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS (LNAI), vol. 8148, pp. 317\u2013322. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40564-8_31"},{"key":"7_CR53","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan and Claypool Publishers (2012)","DOI":"10.2200\/S00457ED1V01Y201211AIM019"},{"key":"7_CR54","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Wanko, P.: Theory solving made easy with clingo 5. In: ICLP (Technical Communications), vol. 52. OASICS, pp. 2:1\u20132:15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2016)"},{"key":"7_CR55","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: Preliminary report. CoRR, abs\/1405.3694 (2014)"},{"issue":"2","key":"7_CR56","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.T.: Potassco: the potsdam answer set solving collection. AI Commun. 24(2), 107\u2013124 (2011)","journal-title":"AI Commun."},{"key":"7_CR57","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.artint.2012.04.001","volume":"187\u2013188","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaufmann, B., Schaub, T.: Conflict-driven answer set solving: from theory to practice. Artif. Intell. 187\u2013188, 52\u201389 (2012)","journal-title":"Artif. Intell."},{"key":"7_CR58","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Logic Programming: Proceedings of the 5th International Conference and Symposium, pp. 1070\u20131080. MIT Press (1988)"},{"issue":"3\u20134","key":"7_CR59","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. Next Gener. Comput. 9(3\u20134), 365\u2013386 (1991)","journal-title":"Next Gener. Comput."},{"key":"7_CR60","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7432.001.0001","volume-title":"Introduction to Statistical Relational Learning","author":"L Getoor","year":"2007","unstructured":"Getoor, L.: Introduction to Statistical Relational Learning. MIT Press, Cambridge (2007)"},{"issue":"2","key":"7_CR61","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C Ghidini","year":"2001","unstructured":"Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artif. Intell. 127(2), 221\u2013259 (2001)","journal-title":"Artif. Intell."},{"issue":"1","key":"7_CR62","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F Giunchiglia","year":"1994","unstructured":"Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics or: how we can do without modal logics. Artif. Intell. 65(1), 29\u201370 (1994)","journal-title":"Artif. Intell."},{"key":"7_CR63","doi-asserted-by":"crossref","unstructured":"Havur, G., Ozbilgin, G., Erdem, E., Patoglu, V.: Geometric rearrangement of multiple movable objects on cluttered surfaces: a hybrid reasoning approach. In: International Conference on Robotics and Automation (ICRA), pp. 445\u2013452 (2014)","DOI":"10.1109\/ICRA.2014.6906894"},{"key":"7_CR64","unstructured":"Heflin, J., Munoz-Avila, H.: LCW-based agent planning for the semantic web. In: Pease, A. (ed.) Ontologies and the Semantic Web. number WS-02-11 in AAAI Technical report, pp. 63\u201370. AAAI Press, Menlo Park, CA (2002)"},{"issue":"1","key":"7_CR65","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1186\/1471-2105-8-377","volume":"8","author":"R Hoehndorf","year":"2007","unstructured":"Hoehndorf, R., Loebe, F., Kelso, J., Herre, H.: Representing default knowledge in biomedical ontologies: application to the integration of anatomy and phenotype ontologies. BMC Bioinformatics 8(1), 377 (2007)","journal-title":"BMC Bioinformatics"},{"key":"7_CR66","unstructured":"Janhunen, T., Liu, G., Niemel\u00e4, I.: Tight integration of non-ground answer set programming and satisfiability modulo theories. In: Cabalar, P., Mitchell, D., Pearce, D., Ternovska, E. (eds.) Informal Proceedings of the 1st Workshop on Grounding and Transformations for Theories with Variables (GTTV 2011), LPNMR, Vancouver, BC, Canada, 16 May 2011, pp. 1\u201314 (2013)Online available at http:\/\/www.dc.fi.udc.es\/GTTV11\/GTTV-Proc.pdf"},{"key":"7_CR67","doi-asserted-by":"crossref","unstructured":"Kaminski, R., Schaub, T., Wanko, P.: A tutorial on hybrid answer set solving with clingo. In: Reasoning Web Summer School (2017, to appear)","DOI":"10.1007\/978-3-319-61033-7_6"},{"key":"7_CR68","unstructured":"Lassila, O., Swick, R.R.: Resource Description Framework (RDF) model and syntax specification (1999). www.w3.org\/TR\/1999\/REC-rdf-syntax-19990222"},{"key":"7_CR69","unstructured":"Lee, J., Meng, Y.: Answer set programming modulo theories and reasoning about continuous changes. In: Rossi, F. (ed.) IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, 3\u20139 August 2013, pp. 990\u2013996. IJCAI\/AAAI (2013)"},{"issue":"3","key":"7_CR70","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"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 (TOCL) 7(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Logic (TOCL)"},{"key":"7_CR71","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2013.10.004","volume":"207","author":"Y Lierler","year":"2014","unstructured":"Lierler, Y.: Relating constraint answer set programming languages and algorithms. Artif. Intell. 207, 1\u201322 (2014)","journal-title":"Artif. Intell."},{"issue":"3","key":"7_CR72","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1609\/aimag.v37i3.2675","volume":"37","author":"Y Lierler","year":"2016","unstructured":"Lierler, Y., Maratea, M., Ricca, F.: Systems, engineering environments, and competitions. AI Mag. 37(3), 45\u201352 (2016)","journal-title":"AI Mag."},{"key":"7_CR73","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artif. Intell. 138, 39\u201354 (2002)","journal-title":"Artif. Intell."},{"key":"7_CR74","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1007\/978-3-642-15025-8_24","volume-title":"Fields of Logic and Computation","author":"V Lifschitz","year":"2010","unstructured":"Lifschitz, V.: Thirteen definitions of a stable model. In: Blass, A., Dershowitz, N., Reisig, W. (eds.) Fields of Logic and Computation. LNCS, vol. 6300, pp. 488\u2013503. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-15025-8_24"},{"issue":"1\u20132","key":"7_CR75","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.artint.2004.04.004","volume":"157","author":"F Lin","year":"2004","unstructured":"Lin, F., Zhao, Y.: ASSAT: computing answer sets of a logic program by SAT solvers. Artif. Intell. 157(1\u20132), 115\u2013137 (2004)","journal-title":"Artif. Intell."},{"key":"7_CR76","unstructured":"Liu, G., Janhunen, T., Niemel\u00e4, I.: Answer set programming via mixed integer programming. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, 10\u201314 June 2012. AAAI Press (2012)"},{"key":"7_CR77","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm - A 25-Year Perspective","author":"VW Marek","year":"1999","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S. (eds.) The Logic Programming Paradigm - A 25-Year Perspective, pp. 375\u2013398. Springer, Heidelberg (1999)"},{"issue":"3","key":"7_CR78","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"W Marek","year":"1991","unstructured":"Marek, W., Truszczy\u0144ski, M.: Autoepistemic logic. J. ACM 38(3), 588\u2013619 (1991)","journal-title":"J. ACM"},{"key":"7_CR79","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/11580072_4","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"W May","year":"2005","unstructured":"May, W., Alferes, J.J., Amador, R.: Active rules in the semantic web: dealing with language heterogeneity. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 30\u201344. Springer, Heidelberg (2005). doi: 10.1007\/11580072_4"},{"key":"7_CR80","unstructured":"McCarthy, J.: Notes on formalizing context. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence, Chamb\u00e9ry, France, 28 August - 3 September 1993, pp. 555\u2013562. Morgan Kaufmann (1993)"},{"issue":"1\u20134","key":"7_CR81","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/s10472-009-9116-y","volume":"53","author":"VS Mellarkod","year":"2008","unstructured":"Mellarkod, V.S., Gelfond, M., Zhang, Y.: Integrating answer set programming and constraint logic programming. Ann. Math. Artif. Intell. 53(1\u20134), 251\u2013287 (2008)","journal-title":"Ann. Math. Artif. Intell."},{"key":"7_CR82","unstructured":"Mosca, A., Bernini, D.: Ontology-driven geographic information system and dlvhex reasoning for material culture analysis. In: Italian Workshop RiCeRcA at ICLP (2008)"},{"key":"7_CR83","doi-asserted-by":"crossref","unstructured":"Boris Motik and Riccardo Rosati. Reconciling description logics and rules. J. ACM, 57(5):30:1\u201330:62, 2010","DOI":"10.1145\/1754399.1754403"},{"issue":"3\u20134","key":"7_CR84","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programming with stable model semantics as constraint programming paradigm. Annals of Mathematics and Artificial Intelligenc 25(3\u20134), 241\u2013273 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligenc"},{"issue":"6","key":"7_CR85","doi-asserted-by":"crossref","first-page":"937","DOI":"10.1145\/1217856.1217859","volume":"53","author":"R Nieuwenhuis","year":"2006","unstructured":"Nieuwenhuis, R., Oliveras, A., Tinelli, C.: Solving SAT and SAT modulo theories: From an abstract Davis-Putnam-Logemann-Loveland procedure to DPLL(T). J. ACM 53(6), 937\u2013977 (2006)","journal-title":"J. ACM"},{"issue":"4\u20135","key":"7_CR86","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1017\/S1471068412000142","volume":"12","author":"M Ostrowski","year":"2012","unstructured":"Ostrowski, M., Schaub, T.: ASP modulo CSP: the clingcon system. Theory Pract. Logic Program. (TPLP) 12(4\u20135), 485\u2013503 (2012)","journal-title":"Theory Pract. Logic Program. (TPLP)"},{"key":"7_CR87","doi-asserted-by":"crossref","unstructured":"Polleres, A.: From SPARQL to rules (and back). In: International Conference on World Wide Web (WWW), pp. 787\u2013796. ACM (2007)","DOI":"10.1145\/1242572.1242679"},{"key":"7_CR88","unstructured":"Redl, C.: Development of a belief merging framewerk for dlvhex. Master\u2019s thesis, Vienna University of Technology, A-1040 Vienna, Karlsplatz 13 (2010)"},{"key":"7_CR89","unstructured":"Redl, C.: Answer set programming with external sources: algorithms and efficient evaluation. PhD thesis, Vienna University of Technology (2014)"},{"issue":"5\u20136","key":"7_CR90","first-page":"866","volume":"16","author":"C Redl","year":"2016","unstructured":"Redl, C.: The dlvhex system for knowledge representation: recent advances (system description). TPLP 16(5\u20136), 866\u2013883 (2016)","journal-title":"TPLP"},{"key":"7_CR91","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-18378-2_10","volume-title":"Practical Aspects of Declarative Languages","author":"C Redl","year":"2011","unstructured":"Redl, C., Eiter, T., Krennwallner, T.: Declarative belief set merging using merging plans. In: Rocha, R., Launchbury, J. (eds.) PADL 2011. LNCS, vol. 6539, pp. 99\u2013114. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-18378-2_10"},{"issue":"4","key":"7_CR92","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1093\/logcom\/exn042","volume":"19","author":"F Ricca","year":"2009","unstructured":"Ricca, F., Gallucci, L., Schindlauer, R., Dell\u2019Armi, T., Grasso, G., Leone, N.: OntoDLV: an ASP-based system for enterprise ontologies. J. Log. Comput. 19(4), 643\u2013670 (2009)","journal-title":"J. Log. Comput."},{"key":"7_CR93","unstructured":"De Rosis, A.F., Eiter, T., Redl, C., Ricca, F.: Constraint answer set programming based on HEX-programs. In: Eighth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2015), 31 August 2015, Cork, Ireland, August 2015. Accepted for publication"},{"key":"7_CR94","unstructured":"Schindlauer, R.: Answer set programming for the semantic web. PhD thesis, Vienna University of Technology, Vienna, Austria (2006)"},{"key":"7_CR95","unstructured":"Sch\u00fcller, P., Weinzierl, A.: Answer set application programming: a case study on Tetris. In: De Vos, M., Eiter, T., Lierler, Y., Toni, F. (eds.) International Conference on Logic Programming (ICLP), Technical Communications, vol. 1433 (2015). CEUR-WS.org"},{"issue":"1\u20132","key":"7_CR96","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intell. 138(1\u20132), 181\u2013234 (2002)","journal-title":"Artif. Intell."},{"key":"7_CR97","unstructured":"Susman, B., Lierler, Y.: SMT-based constraint answer set solver EZSMT (system description). In: Carro, M., King, A., Saeedloei, N., De Vos, M. (eds.) Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, 16\u201321 October 2016, New York City, USA, vol. 52. OASICS, pp. 1:1\u20131:15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2016)"},{"key":"7_CR98","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-540-88737-9_10","volume-title":"Web Reasoning and Rule Systems","author":"G Terracina","year":"2008","unstructured":"Terracina, G., Francesco, E., Panetta, C., Leone, N.: Enhancing a DLP system for advanced database applications. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 119\u2013134. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-88737-9_10"},{"issue":"2","key":"7_CR99","first-page":"129","volume":"8","author":"G Terracina","year":"2008","unstructured":"Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems. TPLP 8(2), 129\u2013165 (2008)","journal-title":"TPLP"},{"key":"7_CR100","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-642-31522-0_50","volume-title":"Computers Helping People with Special Needs","author":"J Zakraoui","year":"2012","unstructured":"Zakraoui, J., Zagler, W.: A method for generating CSS to improve web accessibility for old users. In: Miesenberger, K., Karshmer, A., Penaz, P., Zagler, W. (eds.) ICCHP 2012. LNCS, vol. 7382, pp. 329\u2013336. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-31522-0_50"},{"key":"7_CR101","doi-asserted-by":"crossref","unstructured":"Zirtilo\u01e7lu, H., Yolum, P.: Ranking semantic information for e-government: complaints management. In: International Workshop on Ontology-supported business intelligence (OBI). ACM (2008)","DOI":"10.1145\/1452567.1452572"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Semantic Interoperability on the Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61033-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,9]],"date-time":"2020-10-09T21:52:31Z","timestamp":1602280351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61033-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319610320","9783319610337"],"references-count":101,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61033-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}