{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:12:02Z","timestamp":1743135122106,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319687643"},{"type":"electronic","value":"9783319687650"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","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":[[2017]]},"DOI":"10.1007\/978-3-319-68765-0_28","type":"book-chapter","created":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T03:48:52Z","timestamp":1507002532000},"page":"334-346","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Structural Benchmark for Logical Argumentation Frameworks"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Yun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Srdjan","family":"Vesic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Madalina","family":"Croitoru","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Bisquert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rallou","family":"Thomopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,4]]},"reference":[{"key":"28_CR1","unstructured":"Amgoud, L., Bodenstaff, L., Caminada, M., McBurney, P., Parsons, S., Prakken, H., Van Veenen, J., Vreeswijk, G.: Final review and report on formal argumentation system. Deliverable D2 (2006)"},{"issue":"3","key":"28_CR2","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1080\/11663081.2014.959332","volume":"24","author":"L Amgoud","year":"2014","unstructured":"Amgoud, L., Besnard, P., Vesic, S.: Equivalence in logic-based argumentation. J. Appl. Non Class. Logics 24(3), 181\u2013208 (2014)","journal-title":"J. Appl. Non Class. Logics"},{"issue":"9\u201310","key":"28_CR3","doi-asserted-by":"publisher","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."},{"key":"28_CR4","unstructured":"Baget, J.-F., Gutierrez, A., Lecl\u00e8re, M., Mugnier, M.-L., Rocher, S., Sipieter, C.: Datalog+, RuleML and OWL 2: formats and translations for existential rules. In: Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based Recommender Systems for the Web of Data, the Special Industry Track and the RuleML 2015 Doctoral Consortium hosted by the 9th International Web Rule Symposium (RuleML 2015), Berlin, Germany, 2\u20135 August 2015 (2015a)"},{"key":"28_CR5","unstructured":"Baget, J.-F., Gutierrez, A., Lecl\u00e8re, M., Mugnier, M.-L., Rocher, S., Sipieter, C.: DLGP: an extended Datalog Syntax for Existential Rules and Datalog+\/- Version 2.0, June 2015 (2015b)"},{"key":"28_CR6","doi-asserted-by":"publisher","unstructured":"Baget, J.-F., Lecl\u00e8re, M., Mugnier, M.-L., Rocher, S., Sipieter, C.: Graal: a toolkit for query answering with existential rules. In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 328\u2013344. Springer, Cham (2015). doi:10.1007\/978-3-319-21542-6_21 (2015c)","DOI":"10.1007\/978-3-319-21542-6_21"},{"key":"28_CR7","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262026437.001.0001","volume-title":"Elements of Argumentation","author":"P Besnard","year":"2008","unstructured":"Besnard, P., Hunter, A.: Elements of Argumentation. MIT Press, Cambridge (2008)"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Bondarenko, A., Toni, F., Kowalski, R.A.: An assumption-based framework for non-monotonic reasoning. In: LPNMR, pp. 171\u2013189 (1993)","DOI":"10.7551\/mitpress\/4307.003.0016"},{"key":"28_CR9","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-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, 19 June\u20131 July 2009, Providence, Rhode Island, USA, pp. 77\u201386, June 2009","DOI":"10.1145\/1559795.1559809"},{"key":"28_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-642-54373-9_12","volume-title":"Theory and Applications of Formal Argumentation","author":"F Cerutti","year":"2014","unstructured":"Cerutti, F., Dunne, P.E., Giacomin, M., Vallati, M.: Computing preferred extensions in abstract argumentation: a SAT-based approach. In: Black, E., Modgil, S., Oren, N. (eds.) TAFA 2013. LNCS (LNAI), vol. 8306, pp. 176\u2013193. Springer, Heidelberg (2014). doi:10.1007\/978-3-642-54373-9_12"},{"key":"28_CR11","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). doi:10.1007\/978-3-642-40381-1_2"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1007\/978-3-319-25524-8_42","volume-title":"PRIMA 2015: Principles and Practice of Multi-Agent Systems","author":"M Croitoru","year":"2015","unstructured":"Croitoru, M., Thomopoulos, R., Vesic, S.: Introducing preference-based argumentation to inconsistent ontological knowledge bases. In: Chen, Q., Torroni, P., Villata, S., Hsu, J., Omicini, A. (eds.) PRIMA 2015. LNCS (LNAI), vol. 9387, pp. 594\u2013602. Springer, Cham (2015). doi:10.1007\/978-3-319-25524-8_42"},{"issue":"2","key":"28_CR13","doi-asserted-by":"publisher","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":"1\u20132","key":"28_CR14","first-page":"95","volume":"4","author":"AJ Garc\u00eda","year":"2004","unstructured":"Garc\u00eda, A.J., Simari, G.R.: Defeasible logic programming: an argumentative approach. TPLP 4(1\u20132), 95\u2013138 (2004)","journal-title":"TPLP"},{"key":"28_CR15","unstructured":"Gottlob, G., Lukasiewicz, T., Pieris, A.: Datalog+\/-: questions and answers. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, 20\u201324 July 2014"},{"issue":"1","key":"28_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/19462166.2014.1003407","volume":"6","author":"J Leite","year":"2015","unstructured":"Leite, J., Son, T.C., Torroni, P., Woltran, S.: Applications of logical approaches to argumentation. Argument Comput. 6(1), 1\u20132 (2015)","journal-title":"Argument Comput."},{"key":"28_CR17","unstructured":"Magka, D., Kr\u00f6tzsch, M., Horrocks, I.: Computing stable models for nonmonotonic existential rules. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, pp. 1031\u20131038, 3\u20139 August 2013"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Marnette, B.: Generalized schema-mappings: from termination to tractability. In: Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, 19 June\u20131 July 2009, Providence, Rhode Island, USA, pp. 13\u201322 (2009)","DOI":"10.1145\/1559795.1559799"},{"issue":"1","key":"28_CR19","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1080\/19462166.2013.869766","volume":"5","author":"S Modgil","year":"2014","unstructured":"Modgil, S., Prakken, H.: The ASPIC+ framework for structured argumentation: a tutorial. Argument Comput. 5(1), 31\u201362 (2014)","journal-title":"Argument Comput."},{"key":"28_CR20","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.artint.2013.11.001","volume":"207","author":"S Nofal","year":"2014","unstructured":"Nofal, S., Atkinson, K., Dunne, P.E.: Algorithms for decision problems in argument systems under preferred semantics. Artif. Intell. 207, 23\u201351 (2014)","journal-title":"Artif. Intell."},{"key":"28_CR21","unstructured":"Thomazo, M., Rudolph, S.: Mixing materialization and query rewriting for existential rules. In: ECAI 2014 - 21st European Conference on Artificial Intelligence, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), pp. 897\u2013902, 18\u201322 August 2014"},{"key":"28_CR22","unstructured":"Thomazo, M.: Compact rewritings for existential rules. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, pp. 1125\u20131131, 3\u20139 August 2013"},{"key":"28_CR23","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, pp. 1330\u20131337, 9\u201315 July 2016"}],"container-title":["Lecture Notes in Computer Science","Advances in Intelligent Data Analysis XVI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68765-0_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T18:24:44Z","timestamp":1710354284000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-68765-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319687643","9783319687650"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68765-0_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"4 October 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IDA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Intelligent Data Analysis","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ida2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.dcs.bbk.ac.uk\/ida2017\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}