Eiter, Thomas

69 publications

IJCAI 2025 A Sequent Calculus for Answer Set Entailment Thomas Eiter, Tobias Geibinger

AAAI 2025 ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning Sebastian P. Adam, Thomas Eiter

IJCAI 2025 On Temporal ASP with Eager Unfoldable Operators Thomas Eiter, Davide Soldà

NeurIPS 2025 T-Norm Selection for Object Detection in Autonomous Driving with Logical Constraints Thomas Eiter, Katsumi Inoue, Nelson Higuera Ruiz, Sota Moriyama

IJCAI 2025 Witnesses for Answer Sets of Basic Logic Programs Yisong Wang, Xianglong Wang, Zhongtao Xie, Thomas Eiter

IJCAI 2024 Computational Aspects of Progression for Temporal Equilibrium Logic Thomas Eiter, Davide Soldà

IJCAI 2024 Epistemic Logic Programs: Non-Ground and Counting Complexity Thomas Eiter, Johannes Klaus Fichte, Markus Hecher, Stefan Woltran

IJCAI 2023 A Logic-Based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering Thomas Eiter, Tobias Geibinger, Nelson Higuera, Johannes Oetsch

IJCAI 2023 Explaining Answer-Set Programs with Abstract Constraint Atoms Thomas Eiter, Tobias Geibinger

JAIR 2023 Semiring Reasoning Frameworks in AI and Their Computational Complexity Thomas Eiter, Rafael Kiesel

IJCAI 2022 Abstraction for Non-Ground Answer Set Programs (Extended Abstract) Zeynep G. Saribatur, Thomas Eiter, Peter Schüller

IJCAI 2022 Considering Constraint Monotonicity and Foundedness in Answer Set Programming Yi-Dong Shen, Thomas Eiter

AAAI 2022 Large-Neighbourhood Search for Optimisation in Answer-Set Solving Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova

AAAI 2021 A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion Danh Le Phuoc, Thomas Eiter, Anh Lê Tuán

IJCAI 2021 How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements Thomas Eiter, Aaron Hunter, François Schwarzentruber

AAAI 2021 On the Complexity of Sum-of-Products Problems over Semirings Thomas Eiter, Rafael Kiesel

IJCAI 2020 Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract) Yi-Dong Shen, Thomas Eiter

IJCAI 2019 Meta-Interpretive Learning Using HEX-Programs Tobias Kaminski, Thomas Eiter, Katsumi Inoue

IJCAI 2018 Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract) Loris Bozzato, Thomas Eiter, Luciano Serafini

JAIR 2018 Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl

IJCAI 2018 Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract) Thomas Eiter, Antonius Weinzierl

IJCAI 2017 Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract) Yi-Dong Shen, Thomas Eiter

IJCAI 2017 Lazy-Grounding for Answer Set Programs with External Source Access Thomas Eiter, Tobias Kaminski, Antonius Weinzierl

JAIR 2017 Preference-Based Inconsistency Management in Multi-Context Systems Thomas Eiter, Antonius Weinzierl

IJCAI 2017 Streaming Multi-Context Systems Minh Dao-Tran, Thomas Eiter

JAIR 2016 Computing Repairs of Inconsistent DL-Programs over EL Ontologies Thomas Eiter, Michael Fink, Daria Stepanova

IJCAI 2016 Equivalent Stream Reasoning Programs Harald Beck, Minh Dao-Tran, Thomas Eiter

IJCAI 2016 Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl

IJCAI 2015 Answer Update for Rule-Based Stream Reasoning Harald Beck, Minh Dao-Tran, Thomas Eiter

JAIR 2015 Distributed Evaluation of Nonmonotonic Multi-Context Systems Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner

AAAI 2015 LARS: A Logic-Based Framework for Analyzing Reasoning over Streams Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink

JAIR 2014 Efficient HEX-Program Evaluation Based on Unfounded Sets Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller

AAAI 2014 Exploiting Support Sets for Answer Set Programs with External Evaluations Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova

IJCAI 2013 Data Repair of Inconsistent DL-Programs Thomas Eiter, Michael Fink, Daria Stepanova

AAAI 2013 Liberal Safety for Answer Set Programs with External Sources Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl

AAAI 2012 Query Rewriting for Horn-SHIQ Plus Rules Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao

IJCAI 2011 Managed Multi-Context Systems Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl

AAAI 2010 Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa

IJCAI 2009 Bidirectional Answer Set Programs with Function Symbols Thomas Eiter, Mantas Simkus

IJCAI 2009 Decomposition of Declarative Knowledge Bases with External Functions Thomas Eiter, Michael Fink, Thomas Krennwallner

IJCAI 2009 Query Answering in Description Logics with Transitive Roles Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus

IJCAI 2009 Regular Path Queries in Expressive Description Logics with Nominals Diego Calvanese, Thomas Eiter, Magdalena Ortiz

AAAI 2008 Error Classification in Action Descriptions: A Heuristic Approach Thomas Eiter, Michael Fink, Ján Senko

AAAI 2008 Worst-Case Optimal Conjunctive Query Answering for an Expressive Description Logic Without Inverses Magdalena Ortiz, Mantas Simkus, Thomas Eiter

AAAI 2007 Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach Diego Calvanese, Thomas Eiter, Magdalena Ortiz

IJCAI 2007 Complexity Results for Checking Equivalence of Stratified Logic Programs Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran

IJCAI 2007 Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits

AAAI 2007 Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems Gerhard Brewka, Thomas Eiter

IJCAI 2007 On Reversing Actions: Algorithms and Complexity Thomas Eiter, Esra Erdem, Wolfgang Faber

AAAI 2006 Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics Magdalena Ortiz, Diego Calvanese, Thomas Eiter

AAAI 2006 Forgetting and Conflict Resolving in Disjunctive Logic Programming Thomas Eiter, Kewen Wang

IJCAI 2005 A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits

IJCAI 2005 On Solution Correspondences in Answer-Set Programming Thomas Eiter, Hans Tompits, Stefan Woltran

AAAI 2005 Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran

IJCAI 2005 Updating Action Domain Descriptions Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko

AAAI 2005 Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains Chitta Baral, Thomas Eiter, Jicheng Zhao

ALT 2003 Abduction and the Dualization Problem Thomas Eiter

JAIR 2003 Answer Set Planning Under Action Costs Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres

UAI 2003 Probabilistic Reasoning About Actions in Nonmonotonic Causal Theories Thomas Eiter, Thomas Lukasiewicz

UAI 2002 Causes and Explanations in the Structural-Model Approach : Tractable Cases Thomas Eiter, Thomas Lukasiewicz

AAAI 2002 On Computing All Abductive Explanations Thomas Eiter, Kazuhisa Makino

IJCAI 2001 A Framework for Declarative Update Specifications in Logic Programs Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits

IJCAI 2001 Complexity Results for Structure-Based Causality Thomas Eiter, Thomas Lukasiewicz

IJCAI 2001 Complexity of Nested Circumscription and Abnormality Theories Marco Cadoli, Thomas Eiter, Georg Gottlob

AAAI 2000 Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran

AAAI 1998 Computing Intersections of Horn Theories for Reasoning with Models Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino

IJCAI 1995 Semantics and Complexity of Abduction from Default Theories Thomas Eiter, Georg Gottlob, Nicola Leone

IJCAI 1993 Curb Your Theory! a Circumspective Approach for Inclusive Interpretation of Disjunctive Information Thomas Eiter, Georg Gottlob, Yuri Gurevich

IJCAI 1993 The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions Thomas Eiter, Georg Gottlob