Thomas Eiter

9 papers at tracked venues · 2 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

IJCAI ×5 AAAI ×1 ECAI ×1 KR ×1 NeurIPS ×1

Frequent coauthors

Davide Soldà

×3

Sebastian P. Adam

×2

Tobias Geibinger

×1

Ignacio D. Lopez-Miguel

×1

Ezio Bartocci

×1

Martin Tappler

×1

Katsumi Inoue

×1

Nelson Higuera

×1

Sota Moriyama

×1

Yisong Wang

×1

Xianglong Wang

×1

Zhongtao Xie

×1

Papers

A Sequent Calculus for Answer Set Entailment
IJCAI 2025 · Thomas Eiter,
Tobias Geibinger
ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning
AAAI 2025 ·
Sebastian P. Adam
, Thomas Eiter
OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents
ECAI 2025 ·
Ignacio D. Lopez-Miguel
,
Sebastian P. Adam
,
Ezio Bartocci
, Thomas Eiter,
Martin Tappler
On Temporal ASP with Eager Unfoldable Operators
IJCAI 2025 · Thomas Eiter,
Davide Soldà
T-norm Selection for Object Detection in Autonomous Driving with Logical Constraints
NeurIPS 2025 · Thomas Eiter,
Katsumi Inoue
,
Nelson Higuera
,
Sota Moriyama
Witnesses for Answer Sets of Basic Logic Programs
IJCAI 2025 ·
Yisong Wang
,
Xianglong Wang
,
Zhongtao Xie
, Thomas Eiter
Computational Aspects of Progression for Temporal Equilibrium Logic
IJCAI 2024 · Thomas Eiter,
Davide Soldà
Contracted Temporal Equilibrium Logic
KR 2024 ·
Pedro Cabalar
, Thomas Eiter,
Davide Soldà
Epistemic Logic Programs: Non-Ground and Counting Complexity
IJCAI 2024 · Thomas Eiter,
Johannes Klaus Fichte
,
Markus Hecher
,
Stefan Woltran