Johannes Schmidt

2 papers in the IJCAI proceedings

IJCAI 2025

A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds

with Victor Lagerkvist, Mohamed Maizia

doi:10.24963/ijcai.2025/508

Details PDF

IJCAI 2024

Quantitative Claim-Centric Reasoning in Logic-Based Argumentation

with Markus Hecher, Yasir Mahmood, Arne Meier

doi:10.24963/ijcai.2024/377

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings