Author of the publication

Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation.

, , and . Theory Pract. Log. Program., 21 (6): 717-734 (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report (invited paper)., , and . Arg&App@KR, volume 3472 of CEUR Workshop Proceedings, page 4-10. CEUR-WS.org, (2023)Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation., , and . COMMA, volume 353 of Frontiers in Artificial Intelligence and Applications, page 236-247. IOS Press, (2022)Computational Approaches to Reasoning in Structured Argumentation.. University of Helsinki, Finland, (2023)base-search.net (ftunivhelsihelda:oai:helda.helsinki.fi:10138/358340).Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings., , and . AAAI, page 2938-2945. AAAI Press, (2019)Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity., , , and . KR, page 440-450. (2023)Argumentative Reasoning in ASPIC+ under Incomplete Information., , , , and . KR, page 531-541. (2023)Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism., , and . KR, (2022)Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation., , and . Theory Pract. Log. Program., 21 (6): 717-734 (2021)Declarative Algorithms and Complexity Results for Assumption-Based Argumentation., , and . J. Artif. Intell. Res., (2021)An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework., , and . KR, page 636-646. (2020)