Thomas Eiter

Venues

Frequent coauthors

Papers

1. A Sequent Calculus for Answer Set Entailment
   IJCAI 2025 · Thomas Eiter
2. ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning
   AAAI 2025 ·

   Sebastian P. Adam

   DBLP profile ↗ORCID search ↗
3. OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents
   ECAI 2025 ·

   Ignacio D. Lopez-Miguel

   DBLP profile ↗ORCID search ↗
4. On Temporal ASP with Eager Unfoldable Operators
   IJCAI 2025 · Thomas Eiter
5. T-norm Selection for Object Detection in Autonomous Driving with Logical Constraints
   NeurIPS 2025 · Thomas Eiter
6. Witnesses for Answer Sets of Basic Logic Programs
   IJCAI 2025 ·

   Yisong Wang

   DBLP profile ↗ORCID search ↗
7. Computational Aspects of Progression for Temporal Equilibrium Logic
   IJCAI 2024 · Thomas Eiter
8. Contracted Temporal Equilibrium Logic
   KR 2024 ·

   Pedro Cabalar

   DBLP profile ↗ORCID search ↗
9. Epistemic Logic Programs: Non-Ground and Counting Complexity
   IJCAI 2024 · Thomas Eiter