Tobias Geibinger

4 papers in the IJCAI proceedings

IJCAI 2026

An XAI View on Explainable ASP: Methods, Systems, and Perspectives

with Thomas Eiter, Zeynep G. Saribatur

doi:10.24963/ijcai.2026/870

Details PDF

IJCAI 2025

A Sequent Calculus for Answer Set Entailment

with Thomas Eiter

doi:10.24963/ijcai.2025/497

Details PDF

IJCAI 2023

A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering

with Thomas Eiter, Nelson Higuera, Johannes Oetsch

doi:10.24963/ijcai.2023/408

Details PDF

Explaining Answer-Set Programs with Abstract Constraint Atoms

with Thomas Eiter

doi:10.24963/ijcai.2023/356

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings