| 2026 | SAT | SAT Modulo Well-Founded Semantics. | Thomas Eiter, Tobias Nieen, Davide Sold |
| 2025 | AAAI | ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning. | Sebastian P. Adam, Thomas Eiter |
| 2025 | ECAI | OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents. | Ignacio D. Lopez-Miguel, Sebastian P. Adam, Ezio Bartocci, Thomas Eiter, Martin Tappler |
| 2025 | IJCAI | A Sequent Calculus for Answer Set Entailment. | Thomas Eiter, Tobias Geibinger |
| 2025 | IJCAI | On Temporal ASP with Eager Unfoldable Operators. | Thomas Eiter, Davide Sold |
| 2025 | IJCAI | Witnesses for Answer Sets of Basic Logic Programs. | Yisong Wang, Xianglong Wang, Zhongtao Xie, Thomas Eiter |
| 2025 | JELIA | deon- | Davide Sold, Thomas Eiter |
| 2025 | NeSy | Explainable Zero-Shot Visual Question Answering via Logic-Based Reasoning. | Thomas Eiter, Jan Hadl, Nelson Higuera Ruiz, Lukas Lange, Johannes Oetsch, Bileam Scheuvens, Jannik Strtgen |
| 2024 | IJCAI | Epistemic Logic Programs: Non-Ground and Counting Complexity. | Thomas Eiter, Johannes Klaus Fichte, Markus Hecher, Stefan Woltran |
| 2024 | IJCAI | Computational Aspects of Progression for Temporal Equilibrium Logic. | Thomas Eiter, Davide Sold |
| 2024 | KR | Contracted Temporal Equilibrium Logic. | Pedro Cabalar, Thomas Eiter, Davide Sold |
| 2024 | NeSy | Leveraging Neurosymbolic AI for Slice Discovery. | Michele Collevati, Thomas Eiter, Nelson Higuera |
| 2023 | ECAI | Progression for Monitoring in Temporal ASP. | Davide Sold, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter |
| 2023 | ICLP | Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures. | Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova |
| 2023 | IJCAI | Explaining Answer-Set Programs with Abstract Constraint Atoms. | Thomas Eiter, Tobias Geibinger |
| 2023 | IJCAI | A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering. | Thomas Eiter, Tobias Geibinger, Nelson Higuera, Johannes Oetsch |
| 2023 | JELIA | Contrastive Explanations for Answer-Set Programs. | Thomas Eiter, Tobias Geibinger, Johannes Oetsch |
| 2023 | KR | Knowledge Compilation and More with SharpSAT-TD. | Rafael Kiesel, Thomas Eiter |
| 2023 | NeSy | A Modular Neurosymbolic Approach for Visual Graph Question Answering. | Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch |
| 2022 | AAAI | Large-Neighbourhood Search for Optimisation in Answer-Set Solving. | Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova |
| 2022 | IJCAI | Abstraction for Non-Ground Answer Set Programs (Extended Abstract). | Zeynep G. Saribatur, Thomas Eiter, Peter Schller |
| 2022 | IJCAI | Considering Constraint Monotonicity and Foundedness in Answer Set Programming. | Yi-Dong Shen, Thomas Eiter |
| 2022 | KR | ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser. | Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova |
| 2022 | KR | Chasing Streams with Existential Rules. | Jacopo Urbani, Markus Krtzsch, Thomas Eiter |
| 2022 | LPNMR | A Qualitative Temporal Extension of Here-and-There Logic. | Thomas Eiter, Patrik Schneider |
| 2021 | AAAI | On the Complexity of Sum-of-Products Problems over Semirings. | Thomas Eiter, Rafael Kiesel |
| 2021 | AAAI | A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion. | Danh Le Phuoc, Thomas Eiter, Anh L Tun |
| 2021 | ICLP | aspmc: An Algebraic Answer Set Counter. | Thomas Eiter, Markus Hecher, Rafael Kiesel |
| 2021 | IJCAI | How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements. | Thomas Eiter, Aaron Hunter, Franois Schwarzentruber |
| 2021 | KR | Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. | Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovsk, Daria Stepanova |
| 2021 | KR | Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. | Thomas Eiter, Markus Hecher, Rafael Kiesel |
| 2020 | CIKM | An Adaptive Semantic Stream Reasoning Framework for Deep Neural Networks. | Danh Le Phuoc, Thomas Eiter |
| 2020 | ECAI | Reasoning with Justifiable Exceptions in Contextual Hierarchies. | Loris Bozzato, Luciano Serafini, Thomas Eiter |
| 2020 | ECAI | ASP-Based Signal Plan Adjustments for Traffic Flow Optimization. | Thomas Eiter, Andreas A. Falkner, Patrik Schneider, Peter Schller |
| 2020 | ECAI | Weighted LARS for Quantitative Stream Reasoning. | Thomas Eiter, Rafael Kiesel |
| 2020 | IJCAI | Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract). | Yi-Dong Shen, Thomas Eiter |
| 2020 | KR | A Semantic Perspective on Omission Abstraction in ASP. | Zeynep G. Saribatur, Thomas Eiter |
| 2019 | IJCAI | Meta-Interpretive Learning Using HEX-Programs. | Tobias Kaminski, Thomas Eiter, Katsumi Inoue |
| 2019 | JELIA | Abstraction for Non-ground Answer Set Programs. | Zeynep G. Saribatur, Peter Schller, Thomas Eiter |
| 2019 | LPNMR | Pruning External Minimality Checking for ASP Using Semantic Dependencies. | Thomas Eiter, Tobias Kaminski |
| 2018 | EKAW | Deploying Spatial-Stream Query Answering in C-ITS Scenarios. | Thomas Eiter, Ryutaro Ichise, Josiane Xavier Parreira, Patrik Schneider, Lihua Zhao |
| 2018 | IJCAI | Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract). | Loris Bozzato, Thomas Eiter, Luciano Serafini |
| 2018 | IJCAI | Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract). | Thomas Eiter, Antonius Weinzierl |
| 2018 | KI | Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. | Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter, Marco Ragni, Claudia Niedere, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel, Hannah Dames, Tanja Bock, Jan Ole Berndt, Christoph Beierle |
| 2018 | KR | Reasoning with Justifiable Exceptions in Contextual Hierarchies. | Loris Bozzato, Luciano Serafini, Thomas Eiter |
| 2018 | KR | Omission-Based Abstraction for Answer Set Programs. | Zeynep G. Saribatur, Thomas Eiter |
| 2018 | SOFSEM | LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract). | Harald Beck, Minh Dao-Tran, Thomas Eiter |
| 2017 | EPIA | Reactive Maintenance Policies over Equalized States in Dynamic Environments. | Zeynep G. Saribatur, Chitta Baral, Thomas Eiter |
| 2017 | IJCAI | Streaming Multi-Context Systems. | Minh Dao-Tran, Thomas Eiter |
| 2017 | IJCAI | Lazy-Grounding for Answer Set Programs with External Source Access. | Thomas Eiter, Tobias Kaminski, Antonius Weinzierl |
| 2017 | IJCAI | Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract). | Yi-Dong Shen, Thomas Eiter |
| 2016 | EKAW | A Benchmarking Framework for Stream Processors. | Andreas Moburger, Harald Beck, Minh Dao-Tran, Thomas Eiter |
| 2016 | GI | Artificial intelligence at the gates of dawn? | Thomas Eiter |
| 2016 | IJCAI | Equivalent Stream Reasoning Programs. | Harald Beck, Minh Dao-Tran, Thomas Eiter |
| 2016 | IJCAI | Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. | Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl |
| 2016 | JELIA | Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks. | Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin |
| 2016 | JELIA | Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects. | Thomas Eiter, Tobias Kaminski |
| 2016 | JELIA | Reactive Policies with Planning for Action Languages. | Zeynep G. Saribatur, Thomas Eiter |
| 2016 | KR | Generalized Consistent Query Answering under Existential Rules. | Thomas Eiter, Thomas Lukasiewicz, Livia Predoiu |
| 2015 | AAAI | LARS: A Logic-Based Framework for Analyzing Reasoning over Streams. | Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink |
| 2015 | IJCAI | Answer Update for Rule-Based Stream Reasoning. | Harald Beck, Minh Dao-Tran, Thomas Eiter |
| 2015 | IJCAI | Reasoning with Forest Logic Programs Using Fully Enriched Automata. | Cristina Feier, Thomas Eiter |
| 2015 | KI | Towards Comparing RDF Stream Processing Semantics. | Minh Dao-Tran, Harald Beck, Thomas Eiter |
| 2015 | LPNMR | Linking Open-World Knowledge Bases Using Nonmonotonic Rules. | Thomas Eiter, Mantas Simkus |
| 2015 | LPNMR | Reasoning with Forest Logic Programs Using Fully Enriched Automata. | Cristina Feier, Thomas Eiter |
| 2014 | AAAI | Exploiting Support Sets for Answer Set Programs with External Evaluations. | Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova |
| 2014 | ECAI | Towards Practical Deletion Repair of Inconsistent DL-programs. | Thomas Eiter, Michael Fink, Daria Stepanova |
| 2014 | JELIA | Modular Paracoherent Answer Sets. | Giovanni Amendola, Thomas Eiter, Nicola Leone |
| 2014 | JELIA | Computing Repairs for Inconsistent DL-programs over | Thomas Eiter, Michael Fink, Daria Stepanova |
| 2014 | KR | Vienna Summer of Logic. | Matthias Baaz, Thomas Eiter, Helmut Veith |
| 2013 | AAAI | Liberal Safety for Answer Set Programs with External Sources. | Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl |
| 2013 | IJCAI | Data Repair of Inconsistent DL-Programs. | Thomas Eiter, Michael Fink, Daria Stepanova |
| 2013 | LPNMR | Hex Semantics via Approximation Fixpoint Theory. | Christian Antic, Thomas Eiter, Michael Fink |
| 2012 | AAAI | Inconsistency Management for Traffic Regulations. | Harald Beck, Thomas Eiter, Thomas Krennwallner |
| 2012 | AAAI | Query Rewriting for Horn-SHIQ Plus Rules. | Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao |
| 2012 | JELIA | Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. | Harald Beck, Thomas Eiter, Thomas Krennwallner |
| 2012 | JELIA | OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl |
| 2012 | JELIA | Exploiting Unfounded Sets for HEX-Program Evaluation. | Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schller |
| 2012 | LPAR | Forgetting for Defeasible Logic. | Grigoris Antoniou, Thomas Eiter, Kewen Wang |
| 2011 | IJCAI | Managed Multi-Context Systems. | Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl |
| 2011 | LPNMR | Model Streaming for Distributed Multi-Context Systems. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2011 | LPNMR | Symmetry Breaking for Distributed Multi-Context Systems. | Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh |
| 2011 | LPNMR | Nonmonotonic Multi-Context Systems in Dynamic Environments. | Thomas Eiter |
| 2011 | LPNMR | Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. | Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schller |
| 2011 | LPNMR | Towards a Policy Language for Managing Inconsistency in Multi-Context Systems. | Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schller |
| 2011 | LPNMR | Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. | Thomas Eiter, Michael Fink, Peter Schller |
| 2011 | PADL | Declarative Belief Set Merging Using Merging Plans. | Christoph Redl, Thomas Eiter, Thomas Krennwallner |
| 2010 | AAAI | Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. | Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa |
| 2010 | ECAI | Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics. | Stijn Heymans, Thomas Eiter, Guohui Xiao |
| 2010 | JELIA | Decomposition of Distributed Nonmonotonic Multi-Context Systems. | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2010 | JELIA | The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2010 | JELIA | The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. | Markus Bgl, Thomas Eiter, Michael Fink, Peter Schller |
| 2010 | JELIA | Preference-Based Inconsistency Assessment in Multi-Context Systems. | Thomas Eiter, Michael Fink, Antonius Weinzierl |
| 2010 | KR | Distributed Nonmonotonic Multi-Context Systems. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2010 | KR | Paracoherent Answer Set Programming. | Thomas Eiter, Michael Fink, Joo Moura |
| 2010 | KR | Finding Explanations of Inconsistency in Multi-Context Systems. | Thomas Eiter, Michael Fink, Peter Schller, Antonius Weinzierl |
| 2009 | ECSQARU | Realizing Default Logic over Description Logic Knowledge Bases. | Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner |
| 2009 | ICLP | Modular Nonmonotonic Logic Programming Revisited. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2009 | ICLP | Finding Similar or Diverse Solutions in Answer Set Programming. | Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink |
| 2009 | IJCAI | Regular Path Queries in Expressive Description Logics with Nominals. | Diego Calvanese, Thomas Eiter, Magdalena Ortiz |
| 2009 | IJCAI | Decomposition of Declarative Knowledge Bases with External Functions. | Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2009 | IJCAI | Query Answering in Description Logics with Transitive Roles. | Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
| 2009 | IJCAI | Bidirectional Answer Set Programs with Function Symbols. | Thomas Eiter, Mantas Simkus |
| 2009 | LPNMR | Argumentation Context Systems: A Framework for Abstract Group Argumentation. | Gerhard Brewka, Thomas Eiter |
| 2009 | LPNMR | From Data Integration towards Knowledge Mediation. | Gerhard Brewka, Thomas Eiter |
| 2009 | LPNMR | Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2009 | WoLLIC | Query Answering in Description Logics: The Knots Approach. | Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
| 2008 | AAAI | Error Classification in Action Descriptions: A Heuristic Approach. | Thomas Eiter, Michael Fink, Jn Senko |
| 2008 | AAAI | Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. | Magdalena Ortiz, Mantas Simkus, Thomas Eiter |
| 2008 | ECAI | New Results for Horn Cores and Envelopes of Horn Disjunctions. | Thomas Eiter, Kazuhisa Makino |
| 2008 | ICLP | SMS and ASP: Hype or TST?. | Thomas Eiter |
| 2008 | ISAIM | Exploiting Conjunctive Queries in Description Logic Programs. | Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni |
| 2008 | JELIA | Query Answering in the Description Logic Horn-. | Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus |
| 2008 | KR | Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic. | Jos de Bruijn, Thomas Eiter, Hans Tompits |
| 2008 | LPAR | Reasoning Using Knots. | Thomas Eiter, Magdalena Ortiz, Mantas Simkus |
| 2007 | AAAI | Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. | Gerhard Brewka, Thomas Eiter |
| 2007 | AAAI | Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. | Diego Calvanese, Thomas Eiter, Magdalena Ortiz |
| 2007 | ICLP | Answer Set Programming for the Semantic Web. | Thomas Eiter |
| 2007 | IJCAI | Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination. | Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits |
| 2007 | IJCAI | On Reversing Actions: Algorithms and Complexity. | Thomas Eiter, Esra Erdem, Wolfgang Faber |
| 2007 | IJCAI | Complexity Results for Checking Equivalence of Stratified Logic Programs. | Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran |
| 2007 | LPAR | \mathbb | Mantas Simkus, Thomas Eiter |
| 2007 | LPNMR | Conditional Planning with External Functions. | Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir |
| 2006 | AAAI | Forgetting and Conflict Resolving in Disjunctive Logic Programming. | Thomas Eiter, Kewen Wang |
| 2006 | AAAI | Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. | Magdalena Ortiz, Diego Calvanese, Thomas Eiter |
| 2006 | ECAI | Resolving Conflicts in Action Descriptions. | Thomas Eiter, Esra Erdem, Michael Fink, Jn Senko |
| 2006 | ICIP | A Distance-Based Method for the Evaluation of Interest point Detection Algorithms. | Alexander Reiterer, Thomas Eiter |
| 2006 | JELIA | Comparing Action Descriptions Based on Semantic Preferences. | Thomas Eiter, Esra Erdem, Michael Fink, Jn Senko |
| 2006 | JELIA | A Tool for Answering Queries on Action Descriptions. | Thomas Eiter, Michael Fink, Jn Senko |
| 2006 | JELIA | An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs. | Thomas Eiter, Patrick Traxler, Stefan Woltran |
| 2006 | KR | Replacements in Non-Ground Answer-Set Programming. | Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran |
| 2006 | KSEM | On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules. | Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits |
| 2005 | AAAI | Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains. | Chitta Baral, Thomas Eiter, Jicheng Zhao |
| 2005 | AAAI | 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 |
| 2005 | IJCAI | Updating Action Domain Descriptions. | Thomas Eiter, Esra Erdem, Michael Fink, Jn Senko |
| 2005 | IJCAI | A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. | Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits |
| 2005 | IJCAI | On Solution Correspondences in Answer-Set Programming. | Thomas Eiter, Hans Tompits, Stefan Woltran |
| 2005 | LPNMR | Data Integration and Answer Set Programming. | Thomas Eiter |
| 2005 | LPNMR | KMonitor - A Tool for Monitoring Plan Execution in Action Theories. | Thomas Eiter, Michael Fink, Jn Senko |
| 2005 | LPNMR | Testing Strong Equivalence of Datalog Programs - Implementation and Examples. | Thomas Eiter, Wolfgang Faber, Patrick Traxler |
| 2005 | LPNMR | Data Integration: a Challenging ASP Application. | Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina |
| 2005 | SIGMOD | The INFOMIX system for advanced integration of incomplete and inconsistent data. | Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis |
| 2004 | KR | A Polynomial-Time Algorithm for Constructing k-Maintainable Policies. | Chitta Baral, Thomas Eiter |
| 2004 | KR | Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. | Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran |
| 2004 | KR | On Eliminating Disjunctions in Stable Logic Programming. | Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran |
| 2004 | KR | Combining Answer Set Programming with Description Logics for the Semantic Web. | Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits |
| 2004 | LPAR | Nonmonotonic Description Logic Programs: Implementation and Experiments. | Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits |
| 2004 | LPNMR | Simplifying Logic Programs Under Uniform and Strong Equivalence. | Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran |
| 2004 | LPNMR | Towards Automated Integration of Guess and Check Programs in Answer Set Programming. | Thomas Eiter, Axel Polleres |
| 2003 | ALT | Abduction and the Dualization Problem. | Thomas Eiter |
| 2003 | CSL | Generating All Abductive Explanations for Queries on Propositional Horn Theories. | Thomas Eiter, Kazuhisa Makino |
| 2003 | DIS | Abduction and the Dualization Problem. | Thomas Eiter, Kazuhisa Makino |
| 2003 | ICLP | Uniform Equivalence of Logic Programs under the Stable Model Semantics. | Thomas Eiter, Michael Fink |
| 2003 | ICLP | Efficient Evaluation of Logic Programs for Querying Data Integration Systems. | Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo |
| 2003 | KI | Monitoring Agents Using Declarative Planning. | Jrgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang |
| 2003 | UAI | Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories. | Thomas Eiter, Thomas Lukasiewicz |
| 2002 | AAAI | On Computing all Abductive Explanations. | Thomas Eiter, Kazuhisa Makino |
| 2002 | JELIA | Answer Set Planning under Action Costs. | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2002 | JELIA | The DLV | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2002 | JELIA | Hypergraph Transversal Computation and Related Problems in Logic and AI. | Thomas Eiter, Georg Gottlob |
| 2002 | JELIA | The DLV System. | Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres |
| 2002 | KR | A Generic Approach for Knowledge-Based Information-Site Selection. | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
| 2002 | KR | Complexity Results for Explanations in the Structural-Model Approach. | Thomas Eiter, Thomas Lukasiewicz |
| 2002 | STOC | New results on monotone dualization and generating hypergraph transversals. | Thomas Eiter, Georg Gottlob, Kazuhisa Makino |
| 2002 | UAI | Causes and Explanations in the Structural-Model Approach : Tractable Cases. | Thomas Eiter, Thomas Lukasiewicz |
| 2002 | TABLEAUX | Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks. | Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran |
| 2001 | DaWaK | Matchmaking for Structured Objects. | Thomas Eiter, Daniel Veit, Jrg P. Mller, Martin Schneider |
| 2001 | DLT | Second-Order Logic over Strings: Regular and Non-regular Fragments. | Thomas Eiter, Georg Gottlob, Thomas Schwentick |
| 2001 | IJCAI | Complexity of Nested Circumscription and Abnormality Theories. | Marco Cadoli, Thomas Eiter, Georg Gottlob |
| 2001 | IJCAI | A Framework for Declarative Update Specifications in Logic Programs. | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
| 2001 | IJCAI | Complexity Results for Structure-Based Causality. | Thomas Eiter, Thomas Lukasiewicz |
| 2001 | LPAR | Reasoning about Evolving Nonmonotonic Knowledge Bases. | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
| 2001 | LPNMR | System Description: The DLV | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2001 | LPNMR | An Update Front-End for Extended Logic Programs. | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
| 2000 | AAAI | Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas. | Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran |
| 2000 | JELIA | Considerations on Updates of Logic Programs. | Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
| 2000 | JELIA | New Tractable Cases in Default Reasoning from Conditional Knowledge Bases. | Thomas Eiter, Thomas Lukasiewicz |
| 2000 | KR | Complexity Results for Default Reasoning from Conditional Knowledge Bases. | Thomas Eiter, Thomas Lukasiewicz |
| 2000 | LPAR | On the Complexity of Theory Curbing. | Thomas Eiter, Georg Gottlob |
| 1999 | STACS | On the Difference of Horn Theories. | Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino |
| 1998 | AAAI | Computing Intersections of Horn Theories for Reasoning with Models. | Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino |
| 1998 | FQAS | Progress Report on the Disjunctive Deductive Database System | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
| 1998 | ISAAC | Disjunctions of Horn Theories and Their Cores. | Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino |
| 1998 | KR | Preferred Answer Sets for Extended Logic Programs. | Gerhard Brewka, Thomas Eiter |
| 1998 | KR | The KR System dlv: Progress Report, Comparisons and Benchmarks. | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
| 1998 | LICS | Existential Second-Order Logic over Strings. | Thomas Eiter, Georg Gottlob, Yuri Gurevich |
| 1998 | STACS | On Disguised Double Horn Functions and Extensions. | Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino |
| 1997 | FCT | The Complexity Class Theta | Thomas Eiter, Georg Gottlob |
| 1997 | ISAAC | Two-Face Horn Extensions. | Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino |
| 1997 | LPNMR | Modular Logic Programming and Generalized Quantifiers. | Thomas Eiter, Georg Gottlob, Helmut Veith |
| 1997 | LPNMR | A Deductive System for Non-Monotonic Reasoning. | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
| 1997 | LPNMR | Computing Non-Ground Representations of Stable Models. | Thomas Eiter, James J. Lu, V. S. Subrahmanian |
| 1996 | DEXA | Partial Semantics for Disjunctive Deductive Databases. | Thomas Eiter, Nicola Leone, Domenico Sacc |
| 1995 | ICDT | Querying Disjunctive Database Through Nonmonotonic Logics. | Piero A. Bonatti, Thomas Eiter |
| 1995 | IJCAI | Semantics and Complexity of Abduction from Default Theories. | Thomas Eiter, Georg Gottlob, Nicola Leone |
| 1995 | LPNMR | Complexity Results for Abductive Logic Programming. | Thomas Eiter, Georg Gottlob, Nicola Leone |
| 1994 | GI | Disjunctive Logic Programming over Finite Structures. | Thomas Eiter, Georg Gottlob, Heikki Mannila |
| 1994 | KR | Default Logic as a Query Language. | Marco Cadoli, Thomas Eiter, Georg Gottlob |
| 1994 | PODS | Adding Disjunction to Datalog. | Thomas Eiter, Georg Gottlob, Heikki Mannila |
| 1993 | IJCAI | The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. | Thomas Eiter, Georg Gottlob |
| 1993 | IJCAI | Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information. | Thomas Eiter, Georg Gottlob, Yuri Gurevich |
| 1993 | PODS | Complexity Aspects of Various Semantics for Disjunctive Databases. | Thomas Eiter, Georg Gottlob |
| 1993 | STACS | The Complexity of Logic-Based Abduction. | Thomas Eiter, Georg Gottlob |
| 1992 | ICLP | Complexity Results for Logic-Based Abduction. | Thomas Eiter, Georg Gottlob |
| 1992 | PODS | On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. | Thomas Eiter, Georg Gottlob |