Thomas Eiter
25 papers · 2013–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+11 more ↓ Show less ↑
🐝 Cross-Pollinator (5) 🏃 Academic Marathon (12) 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🌈 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
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