Proceedings

Thomas Eiter

Institute of Logic and Computation , Vienna University of Technology

41 papers in the IJCAI proceedings

IJCAI 2026

ASP-Based Probabilistic Policy Fixing for Norm Compliant RL
with Sebastian Adam
doi:10.24963/ijcai.2026/419
Details PDF
An XAI View on Explainable ASP: Methods, Systems, and Perspectives
with Tobias Geibinger, Zeynep G. Saribatur
doi:10.24963/ijcai.2026/870
Details PDF
Neural Decision-Propagation for Answer Set Programming
with Katsumi Inoue, Sota Moriyama
doi:10.24963/ijcai.2026/425
Details PDF

IJCAI 2025

A Sequent Calculus for Answer Set Entailment
with Tobias Geibinger
doi:10.24963/ijcai.2025/497
Details PDF
On Temporal ASP with Eager Unfoldable Operators
with Davide Soldà
doi:10.24963/ijcai.2025/498
Details PDF
Witnesses for Answer Sets of Basic Logic Programs
with Yisong Wang, Xianglong Wang, Zhongtao Xie
doi:10.24963/ijcai.2025/523
Details PDF

IJCAI 2024

Computational Aspects of Progression for Temporal Equilibrium Logic
with Davide Soldà
doi:10.24963/ijcai.2024/370
Details PDF
Epistemic Logic Programs: Non-Ground and Counting Complexity
with Johannes K. Fichte, Markus Hecher, Stefan Woltran
doi:10.24963/ijcai.2024/369
Details PDF

IJCAI 2023

A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering
with Tobias Geibinger, Nelson Higuera, Johannes Oetsch
doi:10.24963/ijcai.2023/408
Details PDF
Explaining Answer-Set Programs with Abstract Constraint Atoms
with Tobias Geibinger
doi:10.24963/ijcai.2023/356
Details PDF

IJCAI 2022

Abstraction for Non-Ground Answer Set Programs (Extended Abstract)
with Zeynep G. Saribatur, Peter Schüller
doi:10.24963/ijcai.2022/807
Details PDF
Considering Constraint Monotonicity and Foundedness in Answer Set Programming
with Yi-Dong Shen
doi:10.24963/ijcai.2022/380
Details PDF

IJCAI 2021

How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements
with Aaron Hunter, Francois Schwarzentruber
doi:10.24963/ijcai.2021/257
Details PDF

IJCAI 2020

Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)
with Yi-Dong Shen
doi:10.24963/ijcai.2020/703
Details PDF

IJCAI 2019

Meta-Interpretive Learning Using HEX-Programs
with Tobias Kaminski, Katsumi Inoue
doi:10.24963/ijcai.2019/860
Details PDF

IJCAI 2018

Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract)
with Loris Bozzato, Luciano Serafini
doi:10.24963/ijcai.2018/786
Details PDF
Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract)
with Antonius Weinzierl
doi:10.24963/ijcai.2018/791
Details PDF

IJCAI 2017

Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)
with Yi-Dong Shen
doi:10.24963/ijcai.2017/722
Details PDF
Lazy-Grounding for Answer Set Programs with External Source Access
with Tobias Kaminski, Antonius Weinzierl
doi:10.24963/ijcai.2017/141
Details PDF
Streaming Multi-Context Systems
with Minh Dao-Tran
doi:10.24963/ijcai.2017/139
Details PDF

IJCAI 2016

Equivalent Stream Reasoning Programs
with Harald Beck, Minh Dao-Tran
Details PDF
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access
with Tobias Kaminski, Christoph Redl, Antonius Weinzierl
Details PDF

IJCAI 2015

Answer Update for Rule-Based Stream Reasoning
with Harald Beck, Minh Dao-Tran
Details PDF

IJCAI 2013

Data Repair of Inconsistent DL-Programs
with Michael Fink, Daria Stepanova
Details PDF

IJCAI 2011

Managed Multi-Context Systems
with Gerhard Brewka, Michael Fink, Antonius Weinzierl
doi:10.5591/978-1-57735-516-8/IJCAI11-138
Details PDF

IJCAI 2009

Bidirectional Answer Set Programs with Function Symbols
with Mantas Simkus
Details PDF
Decomposition of Declarative Knowledge Bases with External Functions
with Michael Fink, Thomas Krennwallner
Details PDF
Query Answering in Description Logics with Transitive Roles
with Carsten Lutz, Magdalena Ortiz, Mantas Simkus
Details PDF
Regular Path Queries in Expressive Description Logics with Nominals
with Diego Calvanese, Magdalena Ortiz
Details PDF

IJCAI 2007

Complexity Results for Checking Equivalence of Stratified Logic Programs
with Michael Fink, Hans Tompits, Stefan Woltran
Details PDF
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination
with Jos de Bruijn, Axel Polleres, Hans Tompits
Details PDF
On Reversing Actions: Algorithms and Complexity
with Esra Erdem, Wolfgang Faber
Details PDF

IJCAI 2005

A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming
with Giovambattista Ianni, Roman Schindlauer, Hans Tompits
Details PDF
On Solution Correspondences in Answer-Set Programming
with Hans Tompits, Stefan Woltran
Details PDF
Updating Action Domain Descriptions
with Esra Erdem, Michael Fink, Ján Senko
Details PDF

IJCAI 2001

A Framework for Declarative Update Specifications in Logic Programs
with Michael Fink, Giuliana Sabbatini, Hans Tompits
Details PDF
Complexity Results for Structure-Based Causality
with Thomas Lukasiewicz
Details PDF
Complexity of Nested Circumscription and Abnormality Theories
with Marco Cadoli, Georg Gottlob
Details PDF

IJCAI 1995

Semantics and Complexity of Abduction from Default Theories
with Georg Gottlob, Nicola Leone
Details PDF

IJCAI 1993

Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information
with Georg Gottlob, Yuri Gurevich
Details PDF
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions
with Georg Gottlob
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards