{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:52:32Z","timestamp":1742946752358,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319193687"},{"type":"electronic","value":"9783319193694"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","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-19369-4_49","type":"book-chapter","created":{"date-parts":[[2015,6,4]],"date-time":"2015-06-04T14:08:38Z","timestamp":1433426918000},"page":"554-564","source":"Crossref","is-referenced-by-count":1,"title":["Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics"],"prefix":"10.1007","author":[{"given":"Abdallah","family":"Arioua","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nouredine","family":"Tamani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Madalina","family":"Croitoru","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Fortin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrice","family":"Buche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"49_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the el envelope. In: Proc. of IJCAI 2005 (2005)","DOI":"10.25368\/2022.144"},{"key":"49_CR2","unstructured":"Bienvenu, M.: On the complexity of consistent query answering in the presence of simple ontologies. In: Proc. of AAAI (2012)"},{"key":"49_CR3","unstructured":"Bienvenu, M., Rosati, R.: Tractable approximations of consistent query answering for robust ontology-based data access. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, pp. 775\u2013781. AAAI Press (2013)"},{"key":"49_CR4","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.websem.2012.03.001","volume":"14","author":"A. Cal\u00ec","year":"2012","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. Web Semantics: Science, Services and Agents on the World Wide Web\u00a014, 57\u201383 (2012)","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"issue":"3","key":"49_CR5","doi-asserted-by":"publisher","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\u00a039(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reasoning"},{"issue":"1-2","key":"49_CR6","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0004-3702(99)00053-3","volume":"112","author":"P. Cholewiski","year":"1999","unstructured":"Cholewiski, P., Marek, V.W., Truszczyski, M., Mikitiuk, A.: Computing with default logic. Artificial Intelligence\u00a0112(1-2), 105\u2013146 (1999)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"49_CR7","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-persons games. Artificial Intelligence\u00a077(2), 321\u2013357 (1995)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"49_CR8","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1023\/A:1008243611454","volume":"7","author":"J. Engelfriet","year":"1998","unstructured":"Engelfriet, J., Treur, J.: An interpretation of default logic in minimal temporal epistemic logic. J. of Logic, Lang. and Inf.\u00a07(3), 369\u2013388 (1998)","journal-title":"J. of Logic, Lang. and Inf."},{"issue":"4","key":"49_CR9","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1145\/210332.210334","volume":"42","author":"G. Gottlob","year":"1995","unstructured":"Gottlob, G.: Translating default logic into standard autoepistemic logic. J. ACM\u00a042(4), 711\u2013740 (1995)","journal-title":"J. ACM"},{"issue":"1","key":"49_CR10","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0004-3702(87)90064-6","volume":"32","author":"T. Imielinski","year":"1987","unstructured":"Imielinski, T.: Results on translating defaults to circumscription. Artif. Intell.\u00a032(1), 131\u2013146 (1987)","journal-title":"Artif. Intell."},{"key":"49_CR11","doi-asserted-by":"crossref","unstructured":"Konolige, K.: On the Relation Between Default and Autoepistemic Logic. In: Readings in Nonmonotonic Reasoning, pp. 195\u2013226. Morgan Kaufmann Publishers Inc. (1987)","DOI":"10.21236\/ADA461880"},{"key":"49_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-642-15918-3_9","volume-title":"Web Reasoning and Rule Systems","author":"D. Lembo","year":"2010","unstructured":"Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Inconsistency-tolerant semantics for description logics. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol.\u00a06333, pp. 103\u2013117. Springer, Heidelberg (2010)"},{"key":"49_CR13","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. of PODS 2002 (2002)","DOI":"10.1145\/543613.543644"},{"key":"49_CR14","doi-asserted-by":"crossref","unstructured":"Marek, W., Truszczynski, M.: Stable semantics for logic programs and default theories. In: NACLP, pp. 243\u2013256 (1989)","DOI":"10.3233\/FI-1989-12209"},{"key":"49_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-23580-1_2","volume-title":"Web Reasoning and Rule Systems","author":"M.-L. Mugnier","year":"2011","unstructured":"Mugnier, M.-L.: Ontological query answering with existential rules. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol.\u00a06902, pp. 2\u201323. Springer, Heidelberg (2011)"},{"key":"49_CR16","unstructured":"Nicolas, P., Saubion, F., St\u00e9phan, I.: Gadel: a genetic algorithm to compute default logic extensions. In: ECAI, pp. 484\u2013490 (2000)"},{"key":"49_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/3-540-49426-X_16","volume-title":"Applications of Uncertainty Formalisms","author":"P. Nicolas","year":"1998","unstructured":"Nicolas, P., Schaub, T.: The xray system: An implementation platform for local query-answering in default logics. In: Hunter, A., Parsons, S. (eds.) Applications of Uncertainty Formalisms. LNCS (LNAI), vol.\u00a01455, pp. 354\u2013378. Springer, Heidelberg (1998)"},{"key":"49_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-77688-8_5","volume-title":"Journal on Data Semantics X","author":"A. Poggi","year":"2008","unstructured":"Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. In: Spaccapietra, S. (ed.) Journal on Data Semantics X. LNCS, vol.\u00a04900, pp. 133\u2013173. Springer, Heidelberg (2008)"},{"key":"49_CR19","doi-asserted-by":"crossref","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence 13 (1980)","DOI":"10.1016\/0004-3702(80)90014-4"},{"issue":"1","key":"49_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(98)00092-7","volume":"106","author":"T. Schaub","year":"1998","unstructured":"Schaub, T., Br\u00fcning, S.: Prolog technology for default reasoning: proof theory and compilation techniques. Artificial Intelligence\u00a0106(1), 1\u201375 (1998)","journal-title":"Artificial Intelligence"},{"key":"49_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/3-540-63255-7_34","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Schaub","year":"1997","unstructured":"Schaub, T., Nicolas, P.: An implementation platform for query-answering in default logics: The xray system, its implementation and evaluation. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 441\u2013452. Springer, Heidelberg (1997)"},{"key":"49_CR22","unstructured":"Truszczynski, M.: The modal logic s4f, the default logic, and the logic here-and-there. In: AAAI, pp. 508\u2013514. AAAI Press (2007)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19369-4_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T01:44:54Z","timestamp":1676943894000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19369-4_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319193687","9783319193694"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19369-4_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}