{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:32:23Z","timestamp":1743125543606,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030766399"},{"type":"electronic","value":"9783030766405"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-76640-5_8","type":"book-chapter","created":{"date-parts":[[2021,5,19]],"date-time":"2021-05-19T10:02:57Z","timestamp":1621418577000},"page":"122-140","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Semantic Tableau Method for\u00a0Argument Construction"],"prefix":"10.1007","author":[{"given":"Nico","family":"Roos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,5,20]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","unstructured":"Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 5\u201340 (2001). https:\/\/doi.org\/10.1023\/A:1013882326814","DOI":"10.1023\/A:1013882326814"},{"key":"8_CR2","doi-asserted-by":"publisher","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, 162\u2013210 (2005)","journal-title":"Artif. Intell."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Beirlaen, M., Heyninck, J., Stra\u00dfer, C.: Reasoning by cases in structured argumentation. In: Proceedings of the Symposium on Applied Computing, pp. 989\u2013994. SAC 2017 (2017)","DOI":"10.1145\/3019612.3019716"},{"key":"8_CR4","unstructured":"Besnard, P., Hunter, A.: Practical first-order argumentation. In: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI), pp. 590\u2013595 (2005)"},{"key":"8_CR5","doi-asserted-by":"publisher","unstructured":"Besnard, P., Hunter, A.: Argumentation based on classical logic. In: Simari, G., Rahwan, I. (eds) Argumentation in Artificial Intelligence, pp. 133\u2013152. Springer, Boston (2009). https:\/\/doi.org\/10.1007\/978-0-387-98197-0_7","DOI":"10.1007\/978-0-387-98197-0_7"},{"key":"8_CR6","unstructured":"Beth, E.W.: Formal methods: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Synthese library. D. Reidel Publ. Comp"},{"issue":"1","key":"8_CR7","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1093\/jigpal\/10.1.23","volume":"10","author":"G Bodanza","year":"2002","unstructured":"Bodanza, G.: Disjunctions and specificity in suppositional defeasible argumentation. Logic J. IGPL 10(1), 23\u201349 (2002)","journal-title":"Logic J. IGPL"},{"key":"8_CR8","unstructured":"Caminada, M.: Semi-stable semantics. In: Proceedings of the 1st Conference on Computational Models of Argument (COMMA 2006), Frontiers in Artificial Intelligence and Applications, vol. 144. IOS Press (2006)"},{"key":"8_CR9","unstructured":"Cramer, M., vab der Torre, L.: SCF2 - an argumentation semantics for rational human judgments on argument acceptability. In: Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK 2019), pp. 24\u201335 (2019)"},{"key":"8_CR10","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, 321\u2013357 (1995)","journal-title":"Artif. Intell."},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Dung, P.M., Kowalski, R.A., Toni, F.: Assumption-based argumentation. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 199\u2013218. Springer, Boston (2009). https:\/\/doi.org\/10.1007\/978-0-387-98197-0_10","DOI":"10.1007\/978-0-387-98197-0_10"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1016\/j.artint.2007.05.003","volume":"171","author":"P Dung","year":"2007","unstructured":"Dung, P., Mancarella, P., Toni, F.: Computing ideal sceptical argumentation. Artif. Intell. 171, 642\u2013674 (2007)","journal-title":"Artif. Intell."},{"issue":"4","key":"8_CR13","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1093\/logcom\/exu006","volume":"26","author":"W Dvo\u0159\u00e1k","year":"2016","unstructured":"Dvo\u0159\u00e1k, W., Gaggl, S.A.: Stage semantics and the SCC-recursive schema for argumentation semantics. J. Logic Comput. 26(4), 1149\u20131202 (2016). https:\/\/doi.org\/10.1093\/logcom\/exu006","journal-title":"J. Logic Comput."},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1023\/A:1006155811656","volume":"24","author":"F Massacci","year":"2000","unstructured":"Massacci, F.: Single step tableaux for modal logics: computational properties, complexity and methodology. J. Autom. Reason. 24, 319\u2013364 (2000)","journal-title":"J. Autom. Reason."},{"key":"8_CR15","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, 31\u201362 (2014)","journal-title":"Argument Comput."},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1207\/s15516709cog1104_4","volume":"11","author":"JL Pollock","year":"1987","unstructured":"Pollock, J.L.: Defeasible reasoning. Cogn. Sci. 11, 481\u2013518 (1987)","journal-title":"Cogn. Sci."},{"key":"8_CR17","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1002\/int.4550060103","volume":"6","author":"JL Pollock","year":"1991","unstructured":"Pollock, J.L.: A theory of defeasible reasoning. Int. J. Intell. Syst. 6, 33\u201354 (1991)","journal-title":"Int. J. Intell. Syst."},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90103-5","volume":"57","author":"JL Pollock","year":"1992","unstructured":"Pollock, J.L.: How to reason defeasibly. Artif. Intell. 57, 1\u201342 (1992)","journal-title":"Artif. Intell."},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Prakken, H., Vreeswijk, G.: Logics for defeasible argumentation. In: The Handbook of Philosophical Logic, pp. 219\u2013318. Springer, Netherlands (2002)","DOI":"10.1007\/978-94-017-0456-4_3"},{"issue":"2","key":"8_CR20","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1080\/19462160903564592","volume":"1","author":"H Prakken","year":"2010","unstructured":"Prakken, H.: An abstract framework for argumentation with structured arguments. Argument Comput. 1(2), 93\u2013124 (2010)","journal-title":"Argument Comput."},{"key":"8_CR21","unstructured":"Roos, N.: A preference logic for non-monotonic reasoning. Technical Report 88\u201394, Delft University of Technology, Faculty of Technical Mathematics and Informatics (1988)"},{"key":"8_CR22","unstructured":"Roos, N.: Preference logic: a logic for reasoning with inconsistent knowledge. Technical Report 89\u201353, Delft University of Technology, Faculty of Technical Mathematics and Informatics (1989)"},{"key":"8_CR23","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0004-3702(92)90105-7","volume":"57","author":"N Roos","year":"1992","unstructured":"Roos, N.: A logic for reasoning with inconsistent knowledge. Artif. Intell 57, 69\u2013103 (1992)","journal-title":"Artif. Intell"},{"key":"8_CR24","unstructured":"Roos, N.: On resolving conflicts between arguments. Technical report, TR-CTIT-97-37 Centre for Telematics and Information Technology, University of Twente, Enschede (1997)"},{"key":"8_CR25","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1111\/0824-7935.00120","volume":"16","author":"N Roos","year":"2000","unstructured":"Roos, N.: On resolving conflicts between arguments. Comput. Intell. 16, 469\u2013497 (2000)","journal-title":"Comput. Intell."},{"key":"8_CR26","unstructured":"Roos, N.: Preferential model and argumentation semantics. In: Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR 2010) (2010)"},{"key":"8_CR27","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","volume":"53","author":"GR Simari","year":"1992","unstructured":"Simari, G.R., Loui, R.P.: A mathematical treatment of defeasible reasoning and its implementation. Artif. Intell. 53, 125\u2013157 (1992)","journal-title":"Artif. Intell."},{"issue":"1","key":"8_CR28","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1080\/19462166.2013.869878","volume":"5","author":"F Toni","year":"2014","unstructured":"Toni, F.: A tutorial on assumption-based argumentation. Argument Comput. 5(1), 89\u2013117 (2014)","journal-title":"Argument Comput."},{"key":"8_CR29","unstructured":"Toulmin, S.: The uses of argument. Cambridge University Press (1958)"},{"key":"8_CR30","unstructured":"Verheij, B.: Two approaches to dialectical argumentation: admissible sets and argumentation stages. In: In Proceedings of the Biannual International Conference on Formal and Applied Practical Reasoning (FAPR) Workshop, pp. 357\u2013368 (1996)"},{"key":"8_CR31","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0004-3702(96)00041-0","volume":"90","author":"G Vreeswijk","year":"1997","unstructured":"Vreeswijk, G.: Abstract argumentation systems. Artif. Intell 90, 225\u2013279 (1997)","journal-title":"Artif. Intell"},{"key":"8_CR32","doi-asserted-by":"publisher","unstructured":"Yun, B., Oren, N., Croitoru, M.: Efficient construction of structured argumentation systems. In: Prakken, H., Bistarelli, S., Santini, F., Taticchi, C. (eds.) COMMA. Frontiers in Artificial Intelligence and Applications, vol. 326, pp. 411\u2013418. IOS Press (2020). https:\/\/doi.org\/10.3233\/FAIA200525","DOI":"10.3233\/FAIA200525"}],"container-title":["Communications in Computer and Information Science","Artificial Intelligence and Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-76640-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,15]],"date-time":"2021-10-15T12:28:55Z","timestamp":1634300935000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-76640-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030766399","9783030766405"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-76640-5_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"20 May 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BNAIC\/Benelearn","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Benelux Conference on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Leiden","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 November 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 November 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"32","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bnaic2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/bnaic.liacs.leidenuniv.nl\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"41","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to the COVID-19 pandemic the conference was held online.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}