{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:22:13Z","timestamp":1760170933141},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319244884"},{"type":"electronic","value":"9783319244891"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-24489-1_34","type":"book-chapter","created":{"date-parts":[[2015,9,29]],"date-time":"2015-09-29T07:00:40Z","timestamp":1443510040000},"page":"356-365","source":"Crossref","is-referenced-by-count":6,"title":["Abductive Reasoning Using Tableau Methods for High-Level Image Interpretation"],"prefix":"10.1007","author":[{"given":"Yifan","family":"Yang","sequence":"first","affiliation":[]},{"given":"Jamal","family":"Atif","sequence":"additional","affiliation":[]},{"given":"Isabelle","family":"Bloch","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,3]]},"reference":[{"key":"34_CR1","unstructured":"Aliseda-Llera, A.: Seeking explanations: abduction in logic, philosophy of science and artificial intelligence. Ph.D. thesis, University of Amsterdam (1997)"},{"issue":"5","key":"34_CR2","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1109\/TSMC.2013.2280440","volume":"44","author":"J Atif","year":"2014","unstructured":"Atif, J., Hudelot, C., Bloch, I.: Explanatory reasoning for image understanding using formal concept analysis and description logics. IEEE Transactions on Systems, Man, and Cybernetics: Systems 44(5), 552\u2013570 (2014)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Systems"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Atif, J., Hudelot, C., Nempont, O., Richard, N., Batrancourt, B., Angelini, E., Bloch, I.: Grafip: a framework for the representation of healthy and pathological cerebral information. In: 4th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, pp. 205\u2013208 (2007)","DOI":"10.1109\/ISBI.2007.356824"},{"key":"34_CR4","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic handbook: theory, implementation, and applications. Cambridge University Press (2003)"},{"key":"34_CR5","unstructured":"Bienvenu, M.: Complexity of abduction in the $$\\cal EL$$ family of lightweight description logics. In: 11th International Conference on Principles of Knowledge Representation and Reasoning (KR08), pp. 220\u2013230 (2008)"},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"Lutz, C., Areces, C., Horrocks, I., Sattler, U.: Keys, nominals, and concrete domains. Journal of Artificial Intelligence Research 23, 667\u2013726 (2005)","DOI":"10.1613\/jair.1542"},{"key":"34_CR7","unstructured":"Colucci, S., Di Noia, T., Di Sciascio, E., Donini, F.M., Mongiello, M.: A uniform tableaux-based approach to concept abduction and contraction in $$\\cal ALN$$ . In: 17th International Workshop on Description Logics (DL), vol. 104, pp. 158\u2013167 (2004)"},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"Du, J., Wang, K., Shen, Y.D.: A tractable approach to ABox abduction over description logic ontologies. In: 28th AAAI Conference on Artificial Intelligence (AAAI-14), pp. 1034\u20131040. Springer (2014)","DOI":"10.1609\/aaai.v28i1.8852"},{"key":"34_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-15918-3_15","volume-title":"Web Reasoning and Rule Systems","author":"O Gries","year":"2010","unstructured":"Gries, O., M\u00f6ller, R., Nafissi, A., Rosenfeld, M., Sokolski, K., Wessel, M.: A probabilistic abduction engine for media interpretation based on ontologies. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol. 6333, pp. 182\u2013194. Springer, Heidelberg (2010)"},{"key":"34_CR10","unstructured":"Halland, K., Britz, A., Klarman, S.: Tbox abduction in $$\\cal ALC$$ using a DL tableau. In: 27th International Workshop on Description Logics (DL), pp. 556\u2013566 (2014)"},{"issue":"3","key":"34_CR11","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1093\/logcom\/9.3.385","volume":"9","author":"I Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U.: A description logic with transitive and inverse roles and role hierarchies. Journal of Logic and Computation 9(3), 385\u2013410 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"34_CR12","unstructured":"Hudelot, C., Atif, J., Bloch, I.: A spatial relation ontology using mathematical morphology and description logics for spatial reasoning. In: ECAI 2008 Workshop on Spatial and Temporal Reasoning, pp. 21\u201325 (2008)"},{"issue":"1","key":"34_CR13","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s10817-010-9168-z","volume":"46","author":"S Klarman","year":"2011","unstructured":"Klarman, S., Endriss, U., Schlobach, S.: Abox abduction in the description logic $$\\cal ALC$$ . Journal of Automated Reasoning 46(1), 43\u201380 (2011)","journal-title":"Journal of Automated Reasoning"},{"issue":"5","key":"34_CR14","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1109\/TSMCC.2009.2023380","volume":"39","author":"G Lavee","year":"2009","unstructured":"Lavee, G., Rivlin, E., Rudzsky, M.: Understanding video events: a survey of methods for automatic interpretation of semantic occurrences in video. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews 39(5), 489\u2013504 (2009)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews"},{"issue":"1","key":"34_CR15","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/j.imavis.2007.08.013","volume":"26","author":"B Neumann","year":"2008","unstructured":"Neumann, B., M\u00f6ller, R.: On scene interpretation with description logics. Image and Vision Computing 26(1), 82\u2013101 (2008)","journal-title":"Image and Vision Computing"},{"issue":"1","key":"34_CR16","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial intelligence 32(1), 57\u201395 (1987)","journal-title":"Artificial intelligence"},{"issue":"1","key":"34_CR17","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/j.patcog.2011.05.017","volume":"45","author":"AM Tousch","year":"2012","unstructured":"Tousch, A.M., Herbin, S., Audibert, J.Y.: Semantic hierarchies for image annotation: A survey. Pattern Recognition 45(1), 333\u2013345 (2012)","journal-title":"Pattern Recognition"}],"container-title":["Lecture Notes in Computer Science","KI 2015: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24489-1_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,14]],"date-time":"2023-08-14T18:04:46Z","timestamp":1692036286000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24489-1_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319244884","9783319244891"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24489-1_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}