Scholar
Thomas Eiter
Google Scholar ID: X1L03cIAAAAJ
Vienna University of Technology (TU Wien)
knowledge representation and reasoning
declarative problem solving
artificial intelligence
computational logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
5,406
H-index
31
i10-index
111
Publications
20
Co-authors
114
list available
Publications
10 items
ORCAID: Oblique Rule-Based Continuous-Action Interpretation for Deep RL Policies
2026
Cited
0
Distilling Answer-Set Programming Rules from LLMs for Neurosymbolic Visual Question Answering
2026
Cited
0
Answer-Set-Programming-based Abstractions for Reinforcement Learning
2026
Cited
0
Neural Decision-Propagation for Answer Set Programming
2026
Cited
0
Visual Perceptual to Conceptual First-Order Rule Learning Networks
2026
Cited
0
An XAI View on Explainable ASP: Methods, Systems, and Perspectives
2026
Cited
0
ASP-FZN: A Translation-based Constraint Answer Set Solver
2025
Cited
0
Fagin's Theorem for Semiring Turing Machines
2025
Cited
0
Load more
Co-authors
9 total
Georg Gottlob
Professor of Informatics, University of Calabria
Wolfgang Faber
Alpen-Adria-Universität Klagenfurt
Axel Polleres
Vienna University of Economics and Business (WU - Wirtschaftsuniversität Wien)
Thomas Lukasiewicz
Vienna University of Technology, Austria; University of Oxford, UK
V.S. Subrahmanian
Department of Computer Science & ISTS, Dartmouth College
Magdalena Ortiz
Vienna University of Technology (TU Wien)
Mantas Šimkus
Institute of Logic and Computation, TU Wien, Austria
Heikki Mannila
Aalto University
