Proceedings

Matthias Thimm

Institute for Web Science and Technologies , University of Koblenz-Landau , Germany

9 papers in the IJCAI proceedings

IJCAI 2026

Fast Algorithms for Lexicographic Inference
with Jonas Klein
doi:10.24963/ijcai.2026/436
Details PDF

IJCAI 2025

Initial Models and Serialisability in Abstract Dialectical Frameworks
with Lars Bengel
doi:10.24963/ijcai.2025/486
Details PDF
On Independence and SCC-Recursiveness in Assumption-Based Argumentation
with Lydia Blümel, Anna Rapberger, Francesca Toni
doi:10.24963/ijcai.2025/488
Details PDF

IJCAI 2024

Optimisation and Approximation in Abstract Argumentation: The Case of Stable Semantics
doi:10.24963/ijcai.2024/396
Details PDF

IJCAI 2022

Possibilistic Logic Underlies Abstract Dialectical Frameworks
with Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba
doi:10.24963/ijcai.2022/368
Details PDF

IJCAI 2021

Ranking Extensions in Abstract Argumentation
with Kenneth Skiba, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner
doi:10.24963/ijcai.2021/282
Details PDF
Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions
with Federico Cerutti, Mauro Vallati
doi:10.24963/ijcai.2021/285
Details PDF

IJCAI 2017

On the Expressivity of Inconsistency Measures (Extended Abstract)
doi:10.24963/ijcai.2017/724
Details PDF
Strong Inconsistency in Nonmonotonic Reasoning
with Gerhard Brewka, Markus Ulbricht
doi:10.24963/ijcai.2017/125
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards