EMBArg: Extending Methods in Belief Change to Advance Dynamics in Argumentation
This project is funded by the Austrian Science Fund (FWF) under grant P 30168-N31.
Contents
News
2021
Project end
2021-09-30This research project concluded on September 30th, 2021. We thank all project members and project partners for their invaluable work!
Presentation at NMR 2021
2021-08-11Our work on "An AGM Approach to Revising Preferences" [42] will be presented at this year's edition of NMR.
Chapter in upcoming handbook and paper at ICLP 2021
2021-08-10Our work on "Harnessing Incremental ASP Solving for Reasoning in Assumption-Based Argumentation" [41] was accepted to ICLP, and we contributed to the chapter on "Enforcement in Formal Argumentation" [40] part of the upcoming second volume of the Handbook of Formal Argumentation.
Papers accepted to JAIR and KR 2021
2021-06-29Our work on "Declarative Algorithms and Complexity Results for Assumption-Based Argumentation" [38] was accepted to JAIR, and our work on "Existential Abstraction on Argumentation Frameworks via Clustering" [39] was accepted to KR'21.
2020
Papers accepted to AAAI 2021
2020-12-08Our works on "Strong Explanations in Abstract Argumentation" [36] and "Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations" [37] were accepted to AAAI'21.
Paper accepted to SAFA 2020
2020-08-10Our work on "Labelling-based Algorithms for SETAFs" [35] will be presented at the SAFA'20 workshop.
Papers accepted to COMMA 2020
2020-06-19Our work "Computing Strongly Admissible Sets" [34] was accepted to COMMA'20, and we will present a demo [33] of the ASPARTIX system suite at COMMA'20.
Publication at KR 2020
2020-06-04Our work "An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework" [32] was accepted to KR'20.
Paper at ECAI 2020
2020-01-15Our work on "Explaining Non-Acceptability in Abstract Argumentation" [31] was accepted to ECAI'20.
2019
Presentation at FoIKS 2020
2019-11-22We will present our submission to the ICCMA'19 competition at FoIKS 2020 [30].
Paper at AAAI 2020
2019-11-11Our work on "Proportional Belief Merging" [29] has been accepted to AAAI'20.
Article accepted to Argument & Computation
2019-09-19Our work on "Structural Constraints for Dynamic Operators in Abstract Argumentation" [28] has been accepted to the Argument & Computation journal.
Article accepted to JAIR
2019-08-20Our work on "Synthesizing Argumentation Frameworks from Examples" [27] has been accepted to JAIR.
Paper at IJCAI 2019
2019-08-16We presented our work on "Belief Revision Operators with Varying Attitudes Towards Initial Beliefs" at IJCAI 2019 [26].
Article in AIJ
2019-07-22Our work on "On the complexity of inconsistency measurement" was accepted to the Artificial Intelligence journal [25].
Presentation at the NTFA'19 workshop
2019-04-15We will present our work on "Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings" [23] at the workshop on New Trends in Formal Argumentation.
Paper accepted to JELIA'19
2019-01-21Our paper "Manipulating Skeptical and Credulous Consequences when Merging Beliefs" [24] was accepted to JELIA 2019.
2018
Paper accepted to AAAI'19
2018-11-06Our paper "Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings" [23] has been accepted to AAAI 2019.
Presentation at TAASP workshop
2018-10-24There will be a presentation on "Applications of ASP in Formal Argumentation" [22] at the TAASP 2018 workshop.
Two papers accepted to NMR'18
2018-09-10Our papers "Belief Revision Operators with Varying Attitudes Towards Initial Beliefs" [20] and "Manipulation of Semantic Aggregation Procedures for Propositional Knowledge Bases and Argumentation Frameworks" [21] have been accepted to NMR 2018.
Two papers accepted to KR'18
2018-08-07Our papers "Preference Aggregation with Incomplete CP-Nets" [19] (full paper) and "Extension Enforcement under Grounded Semantics in Abstract Argumentation" [18] (short paper) have been accepted to KR 2018.
Paper accepted to COMMA'18
2018-06-26Our paper on "Structural Constraints for Dynamic Operators in Abstract Argumentation" [17] has been accepted to COMMA 2018.
Participation in IJCAI'18
2018-06-13The project team contributed to the following four papers that have been accepted to IJCAI.
- Ceteris Paribus Majority for Social Ranking [13],
- Belief Update in the Horn Fragment [14],
- Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving [15], and
- Two Sides of the Same Coin: Belief Revision and Enforcing Arguments [16].
Participation in the workshop on argument strength
2018-04-10Our project team participated in the workshop on argument strength with a talk on "strategic manipulation when merging argumentation frameworks". We thank the organizers for creating such an interesting event!
2017
Merry Christmas & article accepted to IJA
2017-12-06Our paper "An extension-based approach to belief revision in abstract argumentation" [12] has been accepted to the International Journal of Approximate Reasoning.
Upcoming Publications
2017-11-14We are happy to announce publication of recent works by the project team.
- We contributed to two chapters of the upcoming Handbook of Formal Argumentation [9,10], available as journal articles [6,7], and
- our papers "Abstract Solvers for Dung's Argumentation Frameworks" [8] and "Weighted Abstract Dialectical Frameworks" [11] have been accepted to Argument & Computation and AAAI'18, respectively.
Participation in ICCMA'17
2017-10-11We participated in the ICCMA'17 competition of AF solvers with our solver cegartix [5] and a benchmark submission [4]. Our solver scored generally in the top five of solvers. We thank the competition organizers for their important work for the community!
Paper presented at DKB-KIK 2017
2017-9-26Our paper "Deviation in Belief Change on Fragments of Propositional Logic" [3] was presented at the DKB workshop in Dortmund, Germany.
Paper accepted to JAIR
2017-8-16We are happy to announce that our paper "Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation" has been accepted to JAIR [2].
Workshop on New Trends in Formal Argumentation
2017-8-10We are co-organizing the workshop on "New Trends in Formal Argumentation", taking place August 17 at TU Vienna. Sanjay Modgil and Leon van der Torre, two well-established researchers, will give invited talks at the workshop.
Happy Easter and ECSQARU acceptance
2017-04-14Our paper "From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning" [1] has been accepted at ECSQARU'17.
Project start
2017-04-01The EMBArg project has started in April 2017 and will have a duration of three years.
Top
Project team
Project partners
Goal of the project
Central to the study of dynamically evolving knowledge is the field of belief change. The AGM approach, that emerged from belief change, offers a versatile and well-established framework for investigating knowledge or beliefs “in flux”. Recently, dynamics in argumentation - a core topic in AI with inherent need for adaptation of knowledge - has steadily gained interest among researchers, aiming at developing formal methods for change. However, limitations of existing approaches have prevented the emergence of a clear and unified picture, since many approaches focus only on one, albeit fundamental, formal model, leaving dynamic methods for more sophisticated formalisms open. For the task of revision of knowledge, recent works in belief change have shown that general-purpose frameworks, exporting the core intuitions of the AGM approach to many formal models, are feasible, with mild requirements on the formal models. Application of these frameworks to argumentation faces a crucial barrier, however, since some of the core dynamic operations in argumentation - foremost that of enforcing acceptability of arguments - are significantly different than operators studied in belief change. Hence, there is a significant gap between the state of the art in belief change and the requirements of argumentation “in flux”. Nevertheless, belief change remains uniquely suited to handle the dynamics of argumentation. This project seeks to address the current shortcomings with a threefold approach. We aim to
- extend current methods in belief change, in order to cover core dynamic operations in argumentation, which will allow us to devise a general framework capturing main formal models in argumentation;
- deploy our framework with a view to developing dynamic operations for these major formal models, and
- bridge gaps to practical issues, by performing complexity analysis and algorithm design, implementing prototype systems, and investigating application scenarios for the novel operators that resulted from the project.
Top
Related webpages and projects
- Project on fragment-driven belief change
- Project on a semantical framework for graph-based argument processing
- Group constraint reasoning and optimization
Publications
2021 | |
| [42] |
An AGM Approach to Revising Preferences Adrian Haret and Johannes P. Wallner. Accepted to NMR. |
| [41] |
Harnessing Incremental ASP Solving for Reasoning in Assumption-Based Argumentation Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo. Accepted to ICLP. [ arxiv ] |
| [40] |
Enforcement in Formal Argumentation Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, and Johannes P. Wallner. To appear in the second volume of the Handbook of Formal Argumentation. [ chapter in the Journal of Applied Logics ] |
| [39] |
Existential Abstraction on Argumentation Frameworks via Clustering Zeynep G. Saribatur and Johannes P. Wallner. Accepted to KR. |
| [38] |
Declarative Algorithms and Complexity Results for Assumption-Based Argumentation Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo. Journal of Artificial Intelligence Research, Vol. 71, pp. 265-318. 2021 [ DOI | conference version: [47] ] |
| [37] |
Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations Jan Maly and Johannes P. Wallner. In Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, pages 6435-6443, February 2021 [ link ] |
| [36] |
Strong Explanations in Abstract Argumentation Markus Ulbricht and Johannes P. Wallner. In Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, pages 6496-6504, February 2021 [ link ] |
2020 | |
| [35] |
Labelling-based Algorithms for SETAFs Wolfgang Dvořák, Anna Rapberger, and Johannes P. Wallner. In Sarah A. Gaggl, Matthias Thimm, and Mauro Vallati, editors, Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation, SAFA 2020, pages 34-46, 2020. [ .pdf ] |
| [34] |
Computing Strongly Admissible Sets Wolfgang Dvořák and Johannes P. Wallner. In Henry Prakken, Stefano Bistarelli, Francesco Santini, and Carlo Taticchi, editors, Proceedings of the Eighth International Conference on Computational Models of Argument, COMMA 2020, pages 179-190, 2020. [ DOI ] |
| [33] |
The ASPARTIX system suite (system demo) Wolfgang Dvořák, Sarah A. Gaggl, Anna Rapberger, Johannes P. Wallner, and Stefan Woltran. In Henry Prakken, Stefano Bistarelli, Francesco Santini, and Carlo Taticchi, editors, Proceedings of the Eighth International Conference on Computational Models of Argument, COMMA 2020, pages 461-462, 2020. [ DOI ] |
| [32] |
An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo. In Diego Calvanese, Esra Erdem, and Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, pages 636-646, 2020 [ DOI ] |
| [31] |
Explaining Non-Acceptability in Abstract Argumentation Zeynep G. Saribatur, Johannes P. Wallner, and Stefan Woltran. In Giuseppe De Giacomo, Alejandro Catala, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín, and Jérôme Lang, editors, Proceedings of the 24th European Conference on Artificial Intelligence, ECAI 2020, pages 881-888, 2020. [ DOI | .pdf ] |
| [30] |
ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation Wolfgang Dvořák, Anna Rapberger, Johannes P. Wallner, and Stefan Woltran. In Andreas Herzig and Juha Kontinen, editors, Proceedings of the Eleventh International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, pages 79-89, Dortmund, Germany, 2020 [ DOI ] |
| [29] |
Proportional Belief Merging Adrian Haret, Martin Lackner, Andreas Pfandler, and Johannes P. Wallner. In Vincent Conitzer and Fei Sha, editors, Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, pages 2822-2829, New york, USA, February 2020 [ DOI | .pdf ] |
| [28] |
Structural Constraints for Dynamic Operators in Abstract Argumentation Johannes P. Wallner. Argument & Computation. Vol. 11(1-2), pp. 151-190. 2020 [ DOI ] |
2019 | |
| [27] |
Synthesizing Argumentation Frameworks from Examples Andreas Niskanen, Johannes P. Wallner, and Matti Järvisalo. Journal of Artificial Intelligence Research, Vol. 66, pp. 503-554. 2019 [ DOI ] |
| [26] |
Belief Revision Operators with Varying Attitudes Towards Initial Beliefs Adrian Haret and Stefan Woltran. In Sarit Kraus, editor, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, pages 1726-1733, Macau, China 2019 [ DOI ] |
| [25] |
On the complexity of inconsistency measurement Matthias Thimm and Johannes P. Wallner. Artificial Intelligence, Vol. 275, pp. 411-456. 2019 [ DOI ] |
| [24] |
Manipulating Skeptical and Credulous Consequences when Merging Beliefs Adrian Haret and Johannes P. Wallner. In Francesco Calimeri, Nicola Leone, and Marco Manna, editors, Proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, pages 133-150, Rende, Italy, 2019 [ DOI | technical report (with proof details) ] |
| [23] |
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo. In Pascal Van Hentenryck and Zhi-Hua Zhou, editors, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, pages 2938-2945, Honolulu, Hawaii USA, January 2019 [ DOI | .pdf ] |
2018 | |
| [22] |
Applications of ASP in Formal Argumentation Martin Diller, Wolfgang Dvořák, Jörg Pührer, Johannes P. Wallner, and Stefan Woltran. Presented at the TAASP 2018 workshop. [ .pdf ] |
| [21] |
Manipulation of Semantic Aggregation Procedures for Propositional Knowledge Bases and Argumentation Frameworks Adrian Haret, and Johannes P. Wallner. In Eduardo Fermé and Serena Villata, editors, Proceedings of the 17th International Workshop on Non-monotonic Reasoning, NMR 2018, pages 146-155, Tempe, USA, October 2018 [ proceedings ] |
| [20] |
Belief Revision Operators with Varying Attitudes Towards Initial Beliefs Adrian Haret, and Stefan Woltran. In Eduardo Fermé and Serena Villata, editors, Proceedings of the 17th International Workshop on Non-monotonic Reasoning, NMR 2018, pages 156-165, Tempe, USA, October 2018 [ proceedings ] |
| [19] |
Preference Aggregation with Incomplete CP-Nets Adrian Haret, Arianna Novaro, and Umberto Grandi. In Michael Thielscher, Francesca Toni, and Frank Wolter, editors, Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning, KR 2018, pages 308-318, Tempe, USA, October 2018 [ url | .pdf ] |
| [18] |
Extension Enforcement under Grounded Semantics in Abstract Argumentation Andreas Niskanen, Johannes P. Wallner, and Matti Järvisalo In Michael Thielscher, Francesca Toni, and Frank Wolter, editors, Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning, KR 2018, pages 178-183, Tempe, USA, October 2018 [ url | .pdf ] |
| [17] |
Structural Constraints for Dynamic Operators in Abstract Argumentation Johannes P. Wallner. In Sanjay Modgil, Katarzyna Budzynska, John Lawrence, editors, Proceedings of the 7th International Conference on Computational Models of Argument, COMMA 2018, pages 73-84, Warsaw, Poland, September 2018 [ DOI | .pdf ] |
| [16] |
Two Sides of the Same Coin: Belief Revision and Enforcing Arguments Adrian Haret, Johannes P. Wallner, and Stefan Woltran. In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, pages 1854-1860, Stockholm, Sweden, July 2018 [ DOI | .pdf ] |
| [15] |
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner, and Stefan Woltran. In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, pages 1905-1911, Stockholm, Sweden, July 2018 [ DOI | system page | .pdf ] |
| [14] |
Belief Update in the Horn Fragment Nadia Creignou, Adrian Haret, Odile Papini, and Stefan Woltran. In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, pages 1781-1787, Stockholm, Sweden, July 2018 [ DOI | .pdf ] |
| [13] |
Ceteris Paribus Majority for Social Ranking Adrian Haret, Hossein Khani, Stefano Moretti, and Meltem Öztürk. In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, pages 303-309, Stockholm, Sweden, July 2018 [ DOI | .pdf ] |
| [12] |
An extension-based approach to belief revision in abstract argumentation Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, and Stefan Woltran. International Journal of Approximate Reasoning, Vol. 93, pp. 395-423. 2018 [ DOI ] |
| [11] |
Weighted Abstract Dialectical Frameworks Gerhard Brewka, Hannes Strass, Johannes P. Wallner, and Stefan Woltran. In Sheila A. McIlraith and Kilian Q. Weinberger, editors, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, AAAI 2018, pages 1779-1786, New Orleans, Louisiana, USA, February 2018 [ extended and revised version ] |
| [10] |
Foundations of Implementations for Formal Argumentation Federico Cerutti, Sarah A. Gaggl, Matthias Thimm and Johannes P. Wallner. In Pietro Baroni, Dov Gabbay, Massimiliano Giacomin and Leendert van der Torre, editors, Handbook of Formal Argumentation, chapter 14, pages 688-767. 2018 [ reposiTUm ] |
| [9] |
Abstract Dialectical Frameworks. Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes P. Wallner, and Stefan Woltran. In Pietro Baroni, Dov Gabbay, Massimiliano Giacomin and Leendert van der Torre, editors, Handbook of Formal Argumentation, chapter 5, pages 237-285. 2018 [ reposiTUm ] |
| [8] |
Abstract Solvers for Dung's Argumentation Frameworks Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes P. Wallner, and Stefan Woltran. Argument and Computation, Vol. 9(1), pp. 41-72. 2018 [ DOI | .pdf ] |
2017 | |
| [7] |
Foundations of Implementations for Formal Argumentation Federico Cerutti, Sarah A. Gaggl, Matthias Thimm and Johannes P. Wallner. IfCoLog Journal of Logics and their Applications, Vol. 4(8), pp. 2623-2705, 2017 [ link | reposiTUm | .pdf ] |
| [6] |
Abstract Dialectical Frameworks. An Overview Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes P. Wallner, and Stefan Woltran. IfCoLog Journal of Logics and their Applications, Vol. 4(8), pp. 2263-2317, 2017 [ link | reposiTUm | .pdf ] |
| [5] |
CEGARTIX v2017-3-13: A SAT-Based Counter-Example Guided Argumentation Reasoning Tool Wolfgang Dvořák, Matti Järvisalo, and Johannes P. Wallner. ICCMA 2017 solver submission [ webpage | system description ] |
| [4] |
Assumption-Based Argumentation Translated to Argumentation Frameworks Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo. ICCMA 2017 benchmark submission [ download | description ] |
| [3] |
Deviation in Belief Change on Fragments of Propositional Logic Adrian Haret and Stefan Woltran. Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI and Kognition (KIK-2017) co-located with 40th German Conference on Artificial Intelligence (KI 2017), pages 64-76, Dortmund, Germany, September 26, 2017. [ .pdf at ceur | .pdf ] |
| [2] |
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation Johannes P. Wallner, Andreas Niskanen, and Matti Järvisalo. Journal of Artificial Intelligence Research, Vol. 60, pp. 1-40. 2017 [ DOI | reposiTUm | .pdf ] |
| [1] |
From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo. In Alessandro Antonucci, Laurence Cholvy, and Odile Papini, editors, Proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017, pages 57-68, Lugano, Switzerland, July 2017 [ DOI | reposiTUm | .pdf ] |
Previous works by the project team
|
Pakota: A System for Enforcement in Abstract Argumentation Andreas Niskanen, Johannes P. Wallner, and Matti Järvisalo. In Loizos Michael and Antonis C. Kakas, editors, Proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, pages 385-400, Larnaca, Cyprus, November 2016 [ DOI ] |
|
Synthesizing Argumentation Frameworks from Examples Andreas Niskanen, Johannes P. Wallner, and Matti Järvisalo. In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, and Frank van Harmelen, editors, Proceedings of the Twenty-Second European Conference on Artificial Intelligence, ECAI 2016, pages 551-559, The Hague, The Netherlands, August 2016 [ DOI ] |
|
Optimal Status Enforcement in Abstract Argumentation Andreas Niskanen, Johannes P. Wallner, and Matti Järvisalo. In Subbarao Kambhampati, editor, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, pages 1216-1222, New York, USA, July 2016 [ paper ] |
|
Merging of Abstract Argumentation Frameworks. Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, and Stefan Woltran. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, pages 33-42, Cape Town, South Africa, April 2016 [ paper ] |
|
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation Johannes P. Wallner, Andreas Niskanen, and Matti Järvisalo. In Dale Schuurmans and Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI 2016, pages 1088-1094, Phoenix, Arizona, USA, February 2016 [ paper ] |
|
An Extension-Based Approach to Belief Revision in Abstract Argumentation. Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, and Stefan Woltran. In Qiang Yang and Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, pages 2926-2932, Buenos Aires, Argentina, July 2015. [ paper ] |
|
Merging in the Horn Fragment. Adrian Haret, Stefan Rümmele, and Stefan Woltran. In Qiang Yang and Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, pages 3041-3047, Buenos Aires, Argentina, July 2015. [ paper ] |
