{"type":"ScholarlyArticle","title":"On the Equivalence between Assumption-Based Argumentation and Logic Programming (Extended Abstract)","authors":[{"name":"Martin Caminada","slug":"martin-caminada","given":"Martin","family":"Caminada","affiliation":"School of Computer Science and Informatics , Cardiff University , UK"},{"name":"Claudia Schulz","slug":"claudia-schulz","given":"Claudia","family":"Schulz","affiliation":"Ubiquitous Knowledge Processing Lab (UKP-TUDA) , Department of Computer Science , Technische Universität Darmstadt , Germany"}],"abstract":"In this work, we explain how Assumption-Based Argumentation (ABA) is subsumed by Logic Programming (LP). The translation from ABA to LP (with a few restrictions on the ABA framework) results in a normal logic program whose semantics coincide with the semantics of the underlying ABA framework. Although the precise technicalities are beyond the current extended abstract (these can be found in the associated full paper) we provide a number of examples to illustrate the general idea.","doi":"10.24963/ijcai.2018/788","url":"https://ijcai.org/proceedings/2018/788","pdf":"https://ijcai.org/proceedings/2018/0788.pdf","markdown":"https://ijcai.org/proceedings/2018/788.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/788","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Journal track","track":"Journal track","number":788,"pages":{"first":5578,"last":5582},"keywords":["Knowledge Representation and Reasoning: Non-monotonic Reasoning","Knowledge Representation and Reasoning: Computational Models of Argument"],"videos":[],"references":[{"position":1,"raw":"[Alferes et al., 1993] J.J. Alferes, P.M. Dung, and L.M. Pereira. Scenario semantics of extended logic programs. In A. Nerode and L. Pereira, editors, Proceedings of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning (LPNMR), pages 334-348.","title":"Scenario semantics of extended logic programs","authors":"J J Alferes, P M Dung, L M Pereira","year":null,"venue":"Proceedings of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning (LPNMR)","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Bondarenko et al., 1997] A. Bondarenko, P.M. Dung, R.A. Kowalski, and F. Toni. An abstract, argumentation- theoretic approach to default reasoning. Artificial Intel- ligence, 93:63-101, 1997.","title":"An abstract, argumentationtheoretic approach to default reasoning","authors":"A Bondarenko, P M Dung, R A Kowalski, F Toni","year":"1997","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Caminada and Gabbay, 2009] M.W.A. Caminada and D.M. Gabbay. A logical account of formal argumentation. Stu- dia Logica, 93(2-3):109-145, 2009. Special issue: new ideas in argumentation theory.","title":"A logical account of formal argumentation","authors":"M W A Caminada, D M Gabbay","year":"2009","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Caminada and Schulz, 2017] M.W.A. Caminada and C. Schulz. On the equivalence between assumption-based argumentation and logic programming. Journal of Artificial Intelligence Research, 60:779-825, 2017.","title":"On the equivalence between assumption-based argumentation and logic programming","authors":"M W A Caminada, C Schulz","year":"2017","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Caminada et al., 2015] M.W.A. Caminada, S. Sá, J. Alcântara, and W. Dvořák. On the difference be- tween assumption-based argumentation and abstract argumentation. The IfCoLog Journal of Logics and their Applications, 2(1):16-34, 2015.","title":"On the difference between assumption-based argumentation and abstract argumentation","authors":"M W A Caminada, S Sá, J Alcântara, W Dvořák","year":"2015","venue":"The IfCoLog Journal of Logics and their Applications","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Dung et al., 2007] P.M. Dung, P. Mancarella, and F. Toni. Computing ideal sceptical argumentation. Artificial Intel- ligence, 171(10-15):642-674, 2007.","title":"Computing ideal sceptical argumentation","authors":"P M Dung, P Mancarella, F Toni","year":"2007","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Dung et al., 2009] P.M. Dung, R.A. Kowalski, and F. Toni. Assumption-based argumentation. In G. Simari and I. Rahwan, editors, Argumentation in Artificial Intelli- gence, pages 199-218. Springer US, 2009.","title":"Assumption-based argumentation","authors":"P M Dung, R A Kowalski, F Toni","year":"2009","venue":"Argumentation in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Dung, 1995] P.M. Dung. On the Acceptability of Argu- ments and its Fundamental Role in Nonmonotonic Rea- soning, Logic Programming and n-Person Games. Artifi- cial Intelligence, 77(2):321-357, 1995.","title":"On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games","authors":"P M Dung","year":"1995","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Fan and Toni, 2014] X. Fan and F. Toni. A general frame- work for sound assumption-based argumentation dia- logues. Artificial Intelligence, 216:20-54, 2014.","title":"A general framework for sound assumption-based argumentation dialogues","authors":"X Fan, F Toni","year":"2014","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Fan and Toni, 2015] X. Fan and F. Toni. On computing ex- planations in argumentation. In B. Bonet and S. Koenig, editors, Proceedings of the 29th AAAI Conference on Arti- ficial Intelligence (AAAI), pages 1496-1502. AAAI Press, 2015.","title":"On computing explanations in argumentation","authors":"X Fan, F Toni","year":"2015","venue":"Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI)","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Gaertner and Toni, 2007] D. Gaertner and F. Toni. Comput- ing arguments and attacks in assumption-based argumen- tation. IEEE Intelligent Systems, 22(6):24-33, 2007.","title":"Computing arguments and attacks in assumption-based argumentation","authors":"D Gaertner, F Toni","year":"2007","venue":"IEEE Intelligent Systems","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Gaertner and Toni, 2008] D. Gaertner and F. Toni. Hy- brid argumentation and its properties. In P. Besnard, S. Doutre, and A. Hunter, editors, Proceedings of Compu- tational Models of Argument (COMMA), pages 183-195. IOS Press, 2008.","title":"Hybrid argumentation and its properties","authors":"D Gaertner, F Toni","year":"2008","venue":"Proceedings of Computational Models of Argument (COMMA)","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Gebser et al., 2011] M. Gebser, B. Kaufmann, R. Kaminski, M. Ostrowski, T. Schaub, and M.Th. Schneider. Potassco: The potsdam answer set solving collection. AI Communi- cations, 24(2):107-124, 2011.","title":"Potassco: The potsdam answer set solving collection","authors":"M Gebser, B Kaufmann, R Kaminski, M Ostrowski, T Schaub, M Th, Schneider","year":"2011","venue":"AI Communications","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Janhunen et al., 2006] T. Janhunen, I. Niemelä, D. Seipel, P. Simons, and J.-H. You. Unfolding partiality and dis- junctions in stable model semantics. ACM Transactions on Computational Logic, 7(1):1-37, 2006.","title":"Unfolding partiality and disjunctions in stable model semantics","authors":"T Janhunen, I Niemelä, D Seipel, P Simons, J.-H You","year":"2006","venue":"ACM Transactions on Computational Logic","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Przymusinski, 1990] T. C. Przymusinski. The well-founded semantics coincides with the three-valued stable seman- tics. Fundamenta Informaticae, 13(4):445-463, 1990.","title":"The well-founded semantics coincides with the three-valued stable semantics","authors":"T C Przymusinski","year":"1990","venue":"Fundamenta Informaticae","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Schulz and Toni, 2014] C. Schulz and F. Toni. Complete as- sumption labellings. In S. Parsons, N. Oren, C. Reed, and F. Cerutti, editors, Proceedings of Computational Models of Argument (COMMA), pages 405-412. IOS Press, 2014.","title":"Complete assumption labellings","authors":"C Schulz, F Toni","year":"2014","venue":"Proceedings of Computational Models of Argument (COMMA)","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Schulz and Toni, 2015] C. Schulz and F. Toni. Logic pro- gramming in assumption-based argumentation revisited - semantics and graphical representation. In B. Bonet and S. Koenig, editors, Proceedings of the 29th AAAI Confer- ence on Artificial Intelligence (AAAI), pages 1569-1575. AAAI Press, 2015.","title":"Logic programming in assumption-based argumentation revisitedsemantics and graphical representation","authors":"C Schulz, F Toni","year":"2015","venue":"Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI)","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Schulz and Toni, 2016] C. Schulz and F. Toni. Justifying answer sets using argumentation. Theory and Practice of Logic Programming, 16(01):59-110, 2016.","title":"Justifying answer sets using argumentation","authors":"C Schulz, F Toni","year":"2016","venue":"Theory and Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Schulz and Toni, 2017] C. Schulz and F. Toni. Labellings for assumption-based and abstract argumentation. Inter- national Journal of Approximate Reasoning, 84:110 -149, 2017.","title":"Labellings for assumption-based and abstract argumentation","authors":"C Schulz, F Toni","year":"2017","venue":"International Journal of Approximate Reasoning","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Schulz, 2015] C. Schulz. Graphical representation of assumption-based argumentation. In B. Bonet and S. Koenig, editors, Proceedings of the 29th AAAI Confer- ence on Artificial Intelligence (AAAI), pages 4204-4205. AAAI Press, 2015.","title":"Graphical representation of assumption-based argumentation","authors":"C Schulz","year":"2015","venue":"Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI)","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Toni, 2007] F. Toni. Assumption-based argumentation for closed and consistent defeasible reasoning. In K. Satoh, A. Inokuchi, K. Nagao, and T. Kawamura, editors, Re- vised Selected Papers of the 21st Anual Conference of the Japanese Society for Artificial Intelligence (JSAI), pages 390-402. Springer Berlin Heidelberg, 2007.","title":"Assumption-based argumentation for closed and consistent defeasible reasoning","authors":"F Toni","year":"2007","venue":"Revised Selected Papers of the 21st Anual Conference of the Japanese Society for Artificial Intelligence (JSAI)","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Toni, 2008] F. Toni. Assumption-based argumentation for epistemic and practical reasoning. In Pompeu Casanovas, Giovanni Sartor, Núria Casellas, and Rossella Rubino, ed- itors, Computable Models of the Law, Languages, Di- alogues, Games, Ontologies, pages 185-202. Springer Berlin Heidelberg, 2008.","title":"Assumption-based argumentation for epistemic and practical reasoning","authors":"F Toni","year":"2008","venue":"Computable Models of the Law, Languages, Dialogues, Games, Ontologies","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Toni, 2012] F. Toni. Reasoning on the Web with Assumption-Based Argumentation. In Proceedings of the 8th International Summer School on Reasoning Web, pages 370-386, 2012.","title":"Reasoning on the Web with Assumption-Based Argumentation","authors":"F Toni","year":"2012","venue":"Proceedings of the 8th International Summer School on Reasoning Web","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Toni, 2013] F. Toni. A generalised framework for dispute derivations in assumption-based argumentation. Artificial Intelligence, 195:1-43, 2013.","title":"A generalised framework for dispute derivations in assumption-based argumentation","authors":"F Toni","year":"2013","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Toni, 2014] F. Toni. A tutorial on assumption-based argu- mentation. Argument & Computation, 5:89-117, 2014.","title":"A tutorial on assumption-based argumentation","authors":"F Toni","year":"2014","venue":"Argument & Computation","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}