pith. sign in

Thomas Eiter

Identifiers

  • name variant Thomas Eiter 0.60 · backfill

Papers (36)

  1. Distilling Answer-Set Programming Rules from LLMs for Neurosymbolic Visual Question Answering cs.AI · 2026 · author #1
  2. Weak-strong uniqueness and low Mach number limit for a viscous compressible fluid around a rotating body math.AP · 2026 · author #1
  3. Answer-Set-Programming-based Abstractions for Reinforcement Learning cs.AI · 2026 · author #2
  4. Neural Decision-Propagation for Answer Set Programming cs.AI · 2026 · author #1
  5. Visual Perceptual to Conceptual First-Order Rule Learning Networks cs.AI · 2026 · author #3
  6. Fagin's Theorem for Semiring Turing Machines cs.CC · 2025 · author #3
  7. Refining Gelfond Rationality Principle: Towards More Comprehensive Foundational Principles for Answer Set Semantics cs.AI · 2025 · author #2
  8. A Note on Reasoning on $\textit{DL-Lite}_{\cal R}$ with Defeasibility cs.LO · 2019 · author #2
  9. Towards Abstraction in ASP with an Application on Reasoning about Agent Policies cs.LO · 2018 · author #2
  10. Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix) cs.AI · 2018 · author #3
  11. Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning cs.LO · 2018 · author #2
  12. Ticker: A System for Incremental ASP-based Stream Reasoning cs.LO · 2017 · author #2
  13. Estimates of time-periodic fundamental solutions to the linearized Navier-Stokes equations math.AP · 2016 · author #1
  14. Stream Reasoning-Based Control of Caching Strategies in CCN Routers cs.AI · 2016 · author #4
  15. Reactive Policies with Planning for Action Languages cs.AI · 2016 · author #2
  16. Towards Ideal Semantics for Analyzing Stream Reasoning cs.AI · 2015 · author #3
  17. Eliminating Unfounded Set Checking for HEX-Programs cs.LO · 2013 · author #1
  18. Causes and Explanations in the Structural-Model Approach: Tractable Cases cs.AI · 2012 · author #1
  19. Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories cs.AI · 2012 · author #1
  20. Conflict-driven ASP Solving with External Sources cs.AI · 2012 · author #1
  21. Embedding Description Logic Programs into Default Logic cs.AI · 2011 · author #5
  22. Nested HEX-Programs cs.AI · 2011 · author #1
  23. Finding Similar/Diverse Solutions in Answer Set Programming cs.AI · 2011 · author #1
  24. Symmetry Breaking for Distributed Multi-Context Systems cs.LO · 2011 · author #2
  25. Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination cs.LO · 2008 · author #2
  26. A Knowledge-Based Approach for Selecting Information Sources cs.AI · 2006 · author #1
  27. Data complexity of answering conjunctive queries over SHIQ knowledge bases cs.LO · 2005 · author #3
  28. Semantical Characterizations and Complexity of Equivalences in Answer Set Programming cs.AI · 2005 · author #1
  29. Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications cs.AI · 2005 · author #1
  30. The DLV System for Knowledge Representation and Reasoning cs.AI · 2002 · author #4
  31. Complexity of Nested Circumscription and Nested Abnormality Theories cs.AI · 2002 · author #2
  32. New Results on Monotone Dualization and Generating Hypergraph Transversals cs.DS · 2002 · author #1
  33. Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming cs.LO · 2002 · author #1
  34. A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity cs.AI · 2001 · author #1
  35. DLV - A System for Declarative Problem Solving cs.AI · 2000 · author #1
  36. QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks cs.AI · 2000 · author #2

Mentions

  • 1505.05365 #3 · backfill · confidence 0.70 Thomas Eiter
  • 2606.03269 #1 · arxiv_oai · confidence 0.70 Thomas Eiter
  • 2606.02517 #1 · arxiv_oai · confidence 0.70 Thomas Eiter
  • 2605.01797 #1 · arxiv_oai · confidence 0.70 Thomas Eiter
  • 2605.31444 #2 · arxiv_oai · confidence 0.70 Thomas Eiter
  • 1301.1390 #1 · backfill · confidence 0.70 Thomas Eiter
  • 1301.0566 #1 · backfill · confidence 0.70 Thomas Eiter
  • 1212.2461 #1 · backfill · confidence 0.70 Thomas Eiter
  • 1210.1649 #1 · backfill · confidence 0.70 Thomas Eiter
  • 1111.1486 #5 · backfill · confidence 0.70 Thomas Eiter
  • 1108.5626 #1 · backfill · confidence 0.70 Thomas Eiter
  • 1108.3260 #1 · backfill · confidence 0.70 Thomas Eiter
  • 1104.3931 #2 · backfill · confidence 0.70 Thomas Eiter
  • 0811.0359 #2 · backfill · confidence 0.70 Thomas Eiter

Frequent Coauthors