{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T12:42:25Z","timestamp":1725972145170},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319781013"},{"type":"electronic","value":"9783319781020"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-78102-0_7","type":"book-chapter","created":{"date-parts":[[2018,3,20]],"date-time":"2018-03-20T01:18:03Z","timestamp":1521508683000},"page":"118-138","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Yun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Madalina","family":"Croitoru","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Srdjan","family":"Vesic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Bisquert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,21]]},"reference":[{"issue":"9","key":"7_CR1","doi-asserted-by":"crossref","first-page":"2028","DOI":"10.1016\/j.ijar.2013.10.004","volume":"55","author":"L Amgoud","year":"2014","unstructured":"Amgoud, L.: Postulates for logic-based argumentation systems. Int. J. Approx. Reasoning 55(9), 2028\u20132048 (2014)","journal-title":"Int. J. Approx. Reasoning"},{"key":"7_CR2","unstructured":"Arioua, A., Croitoru, M.: A dialectical proof theory for universal acceptance in coherent logic-based argumentation frameworks. In: 22nd European Conference on Artificial Intelligence, ECAI 2016, 29 August\u20132 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence, PAIS 2016, pp. 55\u201363 (2016)"},{"key":"7_CR3","unstructured":"Arioua, A., Croitoru, M., Buche, P.: DALEK: a tool for dialectical explanations in inconsistent knowledge bases. In: Computational Models of Argument - Proceedings of COMMA 2016, Potsdam, Germany, 12\u201316 September, 2016, pp. 461\u2013462 (2016)"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1016\/j.eswa.2017.03.009","volume":"80","author":"A Arioua","year":"2017","unstructured":"Arioua, A., Buche, P., Croitoru, M.: Explanatory dialogues with argumentative faculties over inconsistent knowledge bases. Expert Syst. Appl. 80, 244\u2013262 (2017)","journal-title":"Expert Syst. Appl."},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1016\/j.ijar.2017.07.004","volume":"90","author":"A Arioua","year":"2017","unstructured":"Arioua, A., Croitoru, M., Vesic, S.: Logic-based argumentation with existential rules. Int. J. Approx. Reasoning 90, 76\u2013106 (2017)","journal-title":"Int. J. Approx. Reasoning"},{"issue":"9\u201310","key":"7_CR6","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.artint.2011.03.002","volume":"175","author":"J-F Baget","year":"2011","unstructured":"Baget, J.-F., Lecl\u00e8re, M., Mugnier, M.-L., Salvat, E.: On rules with existential variables: walking the decidability line. Artif. Intell. 175(9\u201310), 1620\u20131654 (2011)","journal-title":"Artif. Intell."},{"issue":"1\u20132","key":"7_CR7","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.artint.2005.05.006","volume":"168","author":"P Baroni","year":"2005","unstructured":"Baroni, P., Giacomin, M., Guida, G.: SCC-recursiveness: a general schema for argumentation semantics. Artif. Intell. 168(1\u20132), 162\u2013210 (2005)","journal-title":"Artif. Intell."},{"issue":"4","key":"7_CR8","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1017\/S0269888911000166","volume":"26","author":"P Baroni","year":"2011","unstructured":"Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowl. Eng. Rev. 26(4), 365\u2013410 (2011)","journal-title":"Knowl. Eng. Rev."},{"key":"7_CR9","unstructured":"Bienvenu, M.: On the complexity of consistent query answering in the presence of simple ontologies. In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 22\u201326 July 2012, Toronto, Ontario, Canada (2012)"},{"key":"7_CR10","unstructured":"Bisquert, P., Croitoru, M., de Saint-Cyr, F.D., Hecham, A.: Substantive irrationality in cognitive systems. In: 22nd European Conference on Artificial Intelligence, ECAI 2016, 29 August\u20132 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), pp. 1642\u20131643 (2016)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. In: Proceedings of the Twenty-Eighth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, 19 June\u20131 July 2009, Providence, Rhode Island, USA, pp. 77\u201386 (2009)","DOI":"10.1145\/1559795.1559809"},{"issue":"5\u20136","key":"7_CR12","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1016\/j.artint.2007.02.003","volume":"171","author":"M Caminada","year":"2007","unstructured":"Caminada, M., Amgoud, L.: On the evaluation of argumentation formalisms. Artif. Intell. 171(5\u20136), 286\u2013310 (2007)","journal-title":"Artif. Intell."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Cerutti, F., Dunne, P.E., Giacomin, M., Vallati, M.: Computing preferred extensions in abstract argumentation: a SAT-Based approach. In: Theory and Applications of Formal Argumentation - Second International Workshop, TAFA 2013, Beijing, China, 3\u20135 August 2013, Revised Selected papers, pp. 176\u2013193 (2013)","DOI":"10.1007\/978-3-642-54373-9_12"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-40381-1_2","volume-title":"Scalable Uncertainty Management","author":"M Croitoru","year":"2013","unstructured":"Croitoru, M., Vesic, S.: What can argumentation do for inconsistent ontology query answering? In: Liu, W., Subrahmanian, V.S., Wijsen, J. (eds.) SUM 2013. LNCS (LNAI), vol. 8078, pp. 15\u201329. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40381-1_2"},{"issue":"2","key":"7_CR15","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\u2013358 (1995)","journal-title":"Artif. Intell."},{"issue":"5","key":"7_CR16","doi-asserted-by":"crossref","first-page":"925","DOI":"10.1093\/logcom\/exs011","volume":"23","author":"SA Gaggl","year":"2013","unstructured":"Gaggl, S.A., Woltran, S.: The cf2 argumentation semantics revisited. J. Log. Comput. 23(5), 925\u2013949 (2013)","journal-title":"J. Log. Comput."},{"key":"7_CR17","unstructured":"Hecham, A., Arioua, A., Stapleton, G., Croitoru, M.: An empirical evaluation of argumentation in explaining inconsistency tolerant query answering. In: 30th International Workshop on Description Logics, DL 2017, Montpellier, France (2017)"},{"key":"7_CR18","unstructured":"Hecham, A., Croitoru, M., Bisquert, P.: Argumentation-based defeasible reasoning for existential rules. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, S\u00e3o Paulo, Brazil, 8\u201312 May 2017, pp. 1568\u20131569 (2017)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Lagniez, J.-M., Lonca, E., Mailly, J.-G.: CoQuiAAS: a constraint-based quick abstract argumentation solver. In: 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI), pp. 928\u2013935. IEEE (2015)","DOI":"10.1109\/ICTAI.2015.134"},{"key":"7_CR20","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. 6333, pp. 103\u2013117. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15918-3_9"},{"issue":"1","key":"7_CR21","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1609\/aimag.v37i1.2640","volume":"37","author":"M Thimm","year":"2016","unstructured":"Thimm, M., Villata, S., Cerutti, F., Oren, N., Strass, H., Vallati, M.: Summary report of the first international competition on computational models of argumentation. AI Mag. 37(1), 102 (2016)","journal-title":"AI Mag."},{"key":"7_CR22","unstructured":"Thomazo, M., Rudolph, S.: Mixing materialization and query rewriting for existential rules. In: 21st European Conference on Artificial Intelligence, ECAI 2014, 18\u201322 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems, PAIS 2014, pp. 897\u2013902 (2014)"},{"key":"7_CR23","unstructured":"Yun, B., Croitoru, M.: An argumentation workflow for reasoning in ontology based data access. In: Computational Models of Argument - Proceedings of COMMA 2016, Potsdam, Germany, 12\u201316 September 2016, pp. 61\u201368 (2016)"},{"key":"7_CR24","unstructured":"Yun, B., Croitoru, M., Bisquert, P.: Are ranking semantics sensitive to the notion of core? In: Autonomous Agents and Multiagent Systems - Proceedings of AAMAS 2017, Sao Paulo, Bresil, 8\u201312 May 2017"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Yun, B., Vesic, S., Croitoru, M., Bisquert, P., Thomopoulos, R.: A structural benchmark for logical argumentation frameworks. In: Proceedings of the 20th International Symposium on Intelligent Data Analysis (2017)","DOI":"10.1007\/978-3-319-68765-0_28"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Yun, B., Croitoru, M., Vesic, S., Bisquert, P.: A structural benchmark for logical argumentation frameworks. In: Proceedings of the 17th Conference on Autonomous Agents and MultiAgent Systems, AAMAS (2018)","DOI":"10.1007\/978-3-319-68765-0_28"},{"key":"7_CR27","unstructured":"Zhang, H., Zhang, Y., You, J.-H.: Expressive completeness of existential rule languages for ontology-based query answering. In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9\u201315 July 2016, pp. 1330\u20131337 (2016)"}],"container-title":["Lecture Notes in Computer Science","Graph Structures for Knowledge Representation and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-78102-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,13]],"date-time":"2019-10-13T00:26:42Z","timestamp":1570926402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-78102-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319781013","9783319781020"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-78102-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}