← Authors

Thomas Eiter

25 papers · 2013–2025 · 2 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (5) πŸŒ‰ Interdisciplinary Bridge πŸ—ΊοΈ Taxonomy Completionist (29) 🧭 Keyword Pioneer 🌈 Renaissance Researcher (7) 🐣 Hot Topic Early Bird 🌍 Conference Polyglot (2) πŸƒ Academic Marathon (12) 🏠 Conference Loyalist (21) πŸ† Keyword Champion (3) πŸ”₯ Unstoppable (11) πŸš€ Conference Pioneer πŸ“ˆ Trend Setter πŸ’Ž Century Club (25) ❓ The Questioner πŸ—ƒοΈ Keyword Collector (76)

Conferences

IJCAI (21) AAAI (4)

Top co-authors

Tobias Geibinger (4) Minh Dao-Tran (3) Antonius Weinzierl (3) Tobias Kaminski (3) Yi-Dong Shen (3) Johannes Oetsch (2) Davide SoldΓ  (2) Daria Stepanova (2) Harald Beck (2) Christoph Redl (1)

Keywords

answer set programming (10) knowledge representation (5) automated reasoning (3) answer-set programming (3) nonmonotonic reasoning (3) logic programming (3) constraint atom (2) explainable ai (2) computational complexity (2) answer set semantics (2) multi-context system (2) knowledge base (2) equilibrium logic (2) model checking (2) non-monotonic reasoning (2) stream reasoning (2) complexity analysis (2) constraint satisfaction (1) abstraction refinement (1) constraint solving (1)

Papers

A Sequent Calculus for Answer Set Entailment IJCAI 2025
ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning AAAI 2025
Witnesses for Answer Sets of Basic Logic Programs IJCAI 2025
On Temporal ASP with Eager Unfoldable Operators IJCAI 2025
Epistemic Logic Programs: Non-Ground and Counting Complexity IJCAI 2024
Computational Aspects of Progression for Temporal Equilibrium Logic IJCAI 2024
Explaining Answer-Set Programs with Abstract Constraint Atoms IJCAI 2023
A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering IJCAI 2023
Considering Constraint Monotonicity and Foundedness in Answer Set Programming IJCAI 2022
Abstraction for Non-Ground Answer Set Programs (Extended Abstract) IJCAI 2022
Large-Neighbourhood Search for Optimisation in Answer-Set Solving AAAI 2022
A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion AAAI 2021
On the Complexity of Sum-of-Products Problems over Semirings AAAI 2021
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements IJCAI 2021
Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract) IJCAI 2020
Meta-Interpretive Learning Using HEX-Programs IJCAI 2019
Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract) IJCAI 2018
Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract) IJCAI 2018
Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract) IJCAI 2017
Lazy-Grounding for Answer Set Programs with External Source Access IJCAI 2017
Streaming Multi-Context Systems IJCAI 2017
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access IJCAI 2016
Equivalent Stream Reasoning Programs IJCAI 2016
Answer Update for Rule-Based Stream Reasoning IJCAI 2015
Data Repair of Inconsistent DL-Programs IJCAI 2013