Conditional Abstract Dialectical Frameworks

Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review


Abstract dialectical frameworks (in short, ADFs) are a unifying model of formal argumentation, where argumentative relations between arguments are represented by assigning acceptance conditions to atomic arguments. This idea is generalized by letting acceptance conditions being assigned to complex formulas, resulting in conditional abstract dialectical frameworks (in short, cADFs). We define the semantics of cADFs in terms of a non-truth-functional four-valued logic, and study the semantics in-depth, by showing existence results and proving that all semantics are generalizations of the corresponding semantics for ADFs.
Original languageEnglish
Title of host publicationProceedings of the 36th AAAI Conference on Artificial Intelligence
Place of PublicationCalifornia
PublisherAAAI Press
Number of pages8
ISBN (Print)1-57735-876-7, 978-1-57735-876-3
Publication statusPublished - 30 Jun 2022
Externally publishedYes
EventThe 36th AAAI Conference on Artificial Intelligence - Online, United States
Duration: 22 Feb 20221 Mar 2022


ConferenceThe 36th AAAI Conference on Artificial Intelligence
Country/TerritoryUnited States
Internet address


Dive into the research topics of 'Conditional Abstract Dialectical Frameworks'. Together they form a unique fingerprint.

Cite this