Thomas Eiter

517 papers A* 89A 17B 78C 9Misc 4Journal 200Unranked 103
YearRankTypeTitle / Venue / Authors
2026 J jnl
An XAI View on Explainable ASP: Methods, Systems, and Perspectives.
CoRR
Thomas Eiter, Tobias Geibinger, Zeynep G. Saribatur
2026 J jnl
Convergence analysis for a finite-volume scheme for the Euler- and Navier-Stokes-Korteweg system via energy-variational solutions.
CoRR
Thomas Eiter, Jan Giesselmann, Robert Lasarzik, Philipp Öffner, Robert Sauerborn
2025 A* conf
A Sequent Calculus for Answer Set Entailment.
IJCAI
Thomas Eiter, Tobias Geibinger
2025 A* conf
ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning.
AAAI
Sebastian P. Adam, Thomas Eiter
2025 J jnl
ASP-FZN: A Translation-Based Constraint Answer Set Solver.
Theory Pract. Log. Program.
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Tobias Kaminski
2025 J jnl
ASP-FZN: A Translation-based Constraint Answer Set Solver.
CoRR
Thomas Eiter, Tobias Geibinger, Tobias Kaminski, Nysret Musliu, Johannes Oetsch
2025 J jnl
Epistemic Logic Programs: Non-Ground and Counting Complexity.
CoRR
Thomas Eiter, Johannes Klaus Fichte, Markus Hecher, Stefan Woltran
2025 — conf
Explainable Zero-Shot Visual Question Answering Logic-Based Reasoning (Extended Abstract).
SEMANTiCS (Posters, Demos, Workshops & Tutorials)
Thomas Eiter, Jan Hadl, Nelson Higuera, Lukas Lange, Johannes Oetsch, Bileam Scheuvens, Jannik Strötgen
2025 C conf
Explainable Zero-Shot Visual Question Answering via Logic-Based Reasoning.
NeSy
Thomas Eiter, Jan Hadl, Nelson Higuera Ruiz, Lukas Lange, Johannes Oetsch, Bileam Scheuvens, Jannik Strötgen
2025 J jnl
Fagin's Theorem for Semiring Turing Machines.
CoRR
Guillermo Badia, Manfred Droste, Thomas Eiter, Rafael Kiesel, Carles Noguera, Erik Paul
2025 A conf
OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents.
ECAI
Ignacio D. Lopez-Miguel, Sebastian P. Adam, Ezio Bartocci, Thomas Eiter, Martin Tappler
2025 A* conf
On Temporal ASP with Eager Unfoldable Operators.
IJCAI
Thomas Eiter, Davide Soldà
2025 J jnl
Refining Gelfond Rationality Principle Towards More Comprehensive Foundational Principles for Answer Set Semantics.
CoRR
Yi-Dong Shen, Thomas Eiter
2025 A* conf
Witnesses for Answer Sets of Basic Logic Programs.
IJCAI
Yisong Wang, Xianglong Wang, Zhongtao Xie, Thomas Eiter
2025 — conf
deon-
JELIA (1)
Davide Soldà, Thomas Eiter
2024 J jnl
Adaptive large-neighbourhood search for optimisation in answer-set programming.
Artif. Intell.
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Dave Pfliegler, Daria Stepanova
2024 J jnl
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM.
Theory Pract. Log. Program.
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
2024 A* conf
Computational Aspects of Progression for Temporal Equilibrium Logic.
IJCAI
Thomas Eiter, Davide Soldà
2024 A* conf
Contracted Temporal Equilibrium Logic.
KR
Pedro Cabalar, Thomas Eiter, Davide Soldà
2024 J jnl
Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets.
CoRR
Thomas Eiter, Jan Hadl, Nelson Higuera, Johannes Oetsch
2024 A* conf
Epistemic Logic Programs: Non-Ground and Counting Complexity.
IJCAI
Thomas Eiter, Johannes Klaus Fichte, Markus Hecher, Stefan Woltran
2024 J jnl
Grounding Stream Reasoning Research.
TGDK
Pieter Bonte, Jean-Paul Calbimonte, Daniel de Leng, Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Federico Giannini, Fredrik Heintz, Konstantin Schekotihin, Danh Le Phuoc, Alessandra Mileo, Patrik Schneider, Riccardo Tommasini, Jacopo Urbani, Giacomo Ziffer
2024 — conf
Leveraging Neurosymbolic AI for Slice Discovery.
NeSy (1)
Michele Collevati, Thomas Eiter, Nelson Higuera
2024 B conf
Visual Graph Question Answering with ASP and LLMs for Language Parsing.
ICLP
Jakob Johannes Bauer, Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch
2024 J jnl
aspmc: New frontiers of algebraic answer set counting.
Artif. Intell.
Thomas Eiter, Markus Hecher, Rafael Kiesel
2023 A* conf
A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering.
IJCAI
Thomas Eiter, Tobias Geibinger, Nelson Higuera, Johannes Oetsch
2023 C conf
A Modular Neurosymbolic Approach for Visual Graph Question Answering.
NeSy
Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch
2023 J jnl
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.
Theory Pract. Log. Program.
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
2023 J jnl
Contextual Reasoning for Scene Generation (Technical Report).
CoRR
Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova
2023 B conf
Contrastive Explanations for Answer-Set Programs.
JELIA
Thomas Eiter, Tobias Geibinger, Johannes Oetsch
2023 B conf
Deontic Paradoxes in ASP with Weak Constraints.
ICLP
Christian Hatschka, Agata Ciabattoni, Thomas Eiter
2023 A* conf
Explaining Answer-Set Programs with Abstract Constraint Atoms.
IJCAI
Thomas Eiter, Tobias Geibinger
2023 A* conf
Knowledge Compilation and More with SharpSAT-TD.
KR
Rafael Kiesel, Thomas Eiter
2023 A conf
Progression for Monitoring in Temporal ASP.
ECAI
Davide Soldà, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter
2023 — book
Prolog: The Next 50 Years
David Scott Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert A. Kowalski, Francesca Rossi
2023 — conf
Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures.
ICLP Workshops
Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova
2023 J jnl
Semiring Reasoning Frameworks in AI and Their Computational Complexity.
J. Artif. Intell. Res.
Thomas Eiter, Rafael Kiesel
2023 J jnl
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II.
Theory Pract. Log. Program.
Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski
2023 J jnl
Witnesses for Answer Sets of Logic Programs.
ACM Trans. Comput. Log.
Yisong Wang, Thomas Eiter, Yuanlin Zhang, Fangzhen Lin
2022 J jnl
A Neuro-Symbolic ASP Pipeline for Visual Question Answering.
CoRR
Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch, Michael Pritz
2022 J jnl
A Neuro-Symbolic ASP Pipeline for Visual Question Answering.
Theory Pract. Log. Program.
Thomas Eiter, Nelson Higuera, Johannes Oetsch, Michael Pritz
2022 B conf
A Qualitative Temporal Extension of Here-and-There Logic.
LPNMR
Thomas Eiter, Patrik Schneider
2022 A* conf
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser.
KR
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova
2022 A* conf
Abstraction for Non-Ground Answer Set Programs (Extended Abstract).
IJCAI
Zeynep G. Saribatur, Thomas Eiter, Peter Schüller
2022 J jnl
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.
CoRR
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovsky, Daria Stepanova
2022 J jnl
CQELS 2.0: Towards A Unified Framework for Semantic Stream Fusion.
CoRR
Anh Le-Tuan, Manh Nguyen Duc, Chien-Quang Le, Trung-Kien Tran, Manfred Hauswirth, Thomas Eiter, Danh Le Phuoc
2022 A* conf
Chasing Streams with Existential Rules.
KR
Jacopo Urbani, Markus Krötzsch, Thomas Eiter
2022 J jnl
Chasing Streams with Existential Rules.
CoRR
Jacopo Urbani, Markus Krötzsch, Thomas Eiter
2022 A* conf
Considering Constraint Monotonicity and Foundedness in Answer Set Programming.
IJCAI
Yi-Dong Shen, Thomas Eiter
2022 — conf
Hybrid Answer Set Programming: Opportunities and Challenges (Joint DL+NMR Invited Talk Abstract).
Description Logics
Thomas Eiter
2022 — conf
Hybrid Answer Set Programming: Opportunities and Challenges.
NMR
Thomas Eiter
2022 J jnl
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP.
Theory Pract. Log. Program.
Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski
2022 A* conf
Large-Neighbourhood Search for Optimisation in Answer-Set Solving.
AAAI
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova
2022 — conf
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract).
Description Logics
Loris Bozzato, Thomas Eiter, Rafael Kiesel
2022 J jnl
Reasoning on with Defeasibility in ASP.
Theory Pract. Log. Program.
Loris Bozzato, Thomas Eiter, Luciano Serafini
2021 A* conf
A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion.
AAAI
Danh Le Phuoc, Thomas Eiter, Anh Lê Tuán
2021 J jnl
Abstraction for non-ground answer set programs.
Artif. Intell.
Zeynep G. Saribatur, Thomas Eiter, Peter Schüller
2021 A* conf
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.
KR
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
2021 J jnl
Deploying spatial-stream query answering in C-ITS scenarios.
Semantic Web
Thomas Eiter, Ryutaro Ichise, Josiane Xavier Parreira, Patrik Schneider, Lihua Zhao
2021 A* conf
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements.
IJCAI
Thomas Eiter, Aaron Hunter, François Schwarzentruber
2021 J jnl
Omission-Based Abstraction for Answer Set Programs.
Theory Pract. Log. Program.
Zeynep G. Saribatur, Thomas Eiter
2021 J jnl
Omission-based Abstraction for Answer Set Programs - ERRATUM.
Theory Pract. Log. Program.
Zeynep G. Saribatur, Thomas Eiter
2021 A* conf
On the Complexity of Sum-of-Products Problems over Semirings.
AAAI
Thomas Eiter, Rafael Kiesel
2021 J jnl
Pruning external minimality checking for answer set programs using semantic dependencies.
Artif. Intell.
Thomas Eiter, Tobias Kaminski
2021 J jnl
Reasoning on DL-Lite
CoRR
Loris Bozzato, Thomas Eiter, Luciano Serafini
2021 J jnl
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures.
CoRR
Loris Bozzato, Thomas Eiter, Rafael Kiesel
2021 J jnl
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures.
Theory Pract. Log. Program.
Loris Bozzato, Thomas Eiter, Rafael Kiesel
2021 A* conf
Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting.
KR
Thomas Eiter, Markus Hecher, Rafael Kiesel
2021 — conf
aspmc: An Algebraic Answer Set Counter.
ICLP Workshops
Thomas Eiter, Markus Hecher, Rafael Kiesel
2020 A* conf
A Semantic Perspective on Omission Abstraction in ASP.
KR
Zeynep G. Saribatur, Thomas Eiter
2020 J jnl
ASP(AC): Answer Set Programming with Algebraic Constraints.
CoRR
Thomas Eiter, Rafael Kiesel
2020 J jnl
ASP(𝓐𝒞): Answer Set Programming with Algebraic Constraints.
Theory Pract. Log. Program.
Thomas Eiter, Rafael Kiesel
2020 A conf
ASP-Based Signal Plan Adjustments for Traffic Flow Optimization.
ECAI
Thomas Eiter, Andreas A. Falkner, Patrik Schneider, Peter Schüller
2020 — conf
An Adaptive Semantic Stream Reasoning Framework for Deep Neural Networks.
CIKM (Workshops)
Danh Le Phuoc, Thomas Eiter
2020 J jnl
Constraint Monotonicity, Epistemic Splitting and Foundedness Are Too Strong in Answer Set Programming.
CoRR
Yi-Dong Shen, Thomas Eiter
2020 J jnl
Dagstuhl Seminar on the Foundations of Composite Event Recognition.
SIGMOD Rec.
Alexander Artikis, Thomas Eiter, Alessandro Margara, Stijn Vansummeren
2020 A* conf
Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract).
IJCAI
Yi-Dong Shen, Thomas Eiter
2020 J jnl
Foundations of Composite Event Recognition (Dagstuhl Seminar 20071).
Dagstuhl Reports
Alexander Artikis, Thomas Eiter, Alessandro Margara, Stijn Vansummeren
2020 J jnl
Managing caching strategies for stream reasoning with reinforcement learning.
CoRR
Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin
2020 J jnl
Managing caching strategies for stream reasoning with reinforcement learning.
Theory Pract. Log. Program.
Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin
2020 J jnl
Omission-based Abstraction for Answer Set Programs.
CoRR
Zeynep G. Saribatur, Thomas Eiter
2020 J jnl
Preface.
Fundam. Informaticae
Thomas Eiter, Marco Maratea, Mauro Vallati
2020 A conf
Reasoning with Justifiable Exceptions in Contextual Hierarchies.
ECAI
Loris Bozzato, Luciano Serafini, Thomas Eiter
2020 A conf
Weighted LARS for Quantitative Stream Reasoning.
ECAI
Thomas Eiter, Rafael Kiesel
2019 J jnl
A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective.
Künstliche Intell.
Thomas Eiter, Gabriele Kern-Isberner
2019 — conf
A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility.
Description Logics
Loris Bozzato, Thomas Eiter, Luciano Serafini
2019 J jnl
A Distributed Approach to LARS Stream Reasoning (System paper).
CoRR
Thomas Eiter, Paul Ogris, Konstantin Schekotihin
2019 J jnl
A Distributed Approach to LARS Stream Reasoning (System paper).
Theory Pract. Log. Program.
Thomas Eiter, Paul Ogris, Konstantin Schekotihin
2019 J jnl
A Note on Reasoning on DL-Lite
CoRR
Loris Bozzato, Thomas Eiter, Luciano Serafini
2019 B conf
Abstraction for Non-ground Answer Set Programs.
JELIA
Zeynep G. Saribatur, Peter Schüller, Thomas Eiter
2019 J jnl
Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems.
CoRR
Thomas Eiter, Zeynep G. Saribatur, Peter Schüller
2019 J jnl
Determining inference semantics for disjunctive logic programs.
Artif. Intell.
Yi-Dong Shen, Thomas Eiter
2019 — conf
Justifiable Exceptions in General Contextual Hierarchies.
CONTEXT
Loris Bozzato, Thomas Eiter, Luciano Serafini
2019 A* conf
Meta-Interpretive Learning Using HEX-Programs.
IJCAI
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
2019 B conf
Pruning External Minimality Checking for ASP Using Semantic Dependencies.
LPNMR
Thomas Eiter, Tobias Kaminski
2019 B conf
Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASP.
RuleML+RR
Loris Bozzato, Thomas Eiter, Luciano Serafini
2019 — conf
Reasoning with Justifiable Exceptions in
Description Logic, Theory Combination, and All That
Loris Bozzato, Thomas Eiter, Luciano Serafini
2019 J jnl
Special issue on stream reasoning.
Semantic Web
Daniele Dell'Aglio, Thomas Eiter, Fredrik Heintz, Danh Le Phuoc
2019 J jnl
Towards a Semantically Enriched Local Dynamic Map.
Int. J. Intell. Transp. Syst. Res.
Thomas Eiter, Herbert Füreder, Fritz Kasslatter, Josiane Xavier Parreira, Patrik Schneider
2018 J jnl
Alonzo Church Award 2018 - Call for Nominations.
Bull. EATCS
Thomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon D. Plotkin, Natarajan Shankar
2018 B conf
Deploying Spatial-Stream Query Answering in C-ITS Scenarios.
EKAW
Thomas Eiter, Ryutaro Ichise, Josiane Xavier Parreira, Patrik Schneider, Lihua Zhao
2018 A* conf
Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract).
IJCAI
Loris Bozzato, Thomas Eiter, Luciano Serafini
2018 J jnl
Enhancing context knowledge repositories with justifiable exceptions.
Artif. Intell.
Loris Bozzato, Thomas Eiter, Luciano Serafini
2018 J jnl
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning.
CoRR
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
2018 J jnl
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning.
Theory Pract. Log. Program.
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
2018 J jnl
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.
J. Artif. Intell. Res.
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl
2018 Misc conf
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges.
KI
Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter, Marco Ragni, Claudia Niederée, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel, Hannah Dames, Tanja Bock, Jan Ole Berndt, Christoph Beierle
2018 B conf
LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract).
SOFSEM
Harald Beck, Minh Dao-Tran, Thomas Eiter
2018 J jnl
LARS: A Logic-based framework for Analytic Reasoning over Streams.
Artif. Intell.
Harald Beck, Minh Dao-Tran, Thomas Eiter
2018 J jnl
Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP.
Künstliche Intell.
Thomas Eiter, Gerhard Friedrich, Richard Taupe, Antonius Weinzierl
2018 A* conf
Omission-Based Abstraction for Answer Set Programs.
KR
Zeynep G. Saribatur, Thomas Eiter
2018 A* conf
Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract).
IJCAI
Thomas Eiter, Antonius Weinzierl
2018 J jnl
Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix).
CoRR
Loris Bozzato, Luciano Serafini, Thomas Eiter
2018 A* conf
Reasoning with Justifiable Exceptions in Contextual Hierarchies.
KR
Loris Bozzato, Luciano Serafini, Thomas Eiter
2018 J jnl
Stream Reasoning with LARS.
Künstliche Intell.
Harald Beck, Minh Dao-Tran, Thomas Eiter, Christian Folie
2018 — ch.
Stream Reasoning.
Encyclopedia of Database Systems (2nd ed.)
Alessandra Mileo, Minh Dao-Tran, Thomas Eiter, Michael Fink
2018 J jnl
The DLVHEX System.
Künstliche Intell.
Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
2018 J jnl
Towards Abstraction in ASP with an Application on Reasoning about Agent Policies.
CoRR
Zeynep G. Saribatur, Thomas Eiter
2017 — conf
Answer Set Programming with External Source Access.
RW
Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
2017 — conf
Detecting Mobility Patterns using Spatial Query Answering over Streams.
WSP/WOMoCoE@ISWC
Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider
2017 A* conf
Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract).
IJCAI
Yi-Dong Shen, Thomas Eiter
2017 — ed.
IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017
LPAR (Short Presentations)
Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov
2017 — ed.
Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops co-located with 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan, October 17th - to - 18th, 2016.
SR+SWIT@ISWC
Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Markus Krötzsch, Maria Maleshkova, Ruben Verborgh, Federico M. Facca, Michael Mrissa
2017 — ed.
Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017.
WSP/WOMoCoE@ISWC
Daniele Dell'Aglio, Darko Anicic, Payam M. Barnaghi, Emanuele Della Valle, Deborah L. McGuinness, Loris Bozzato, Thomas Eiter, Martin Homola, Daniele Porello
2017 B ed.
LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017
LPAR
Thomas Eiter, David Sands
2017 A* conf
Lazy-Grounding for Answer Set Programs with External Source Access.
IJCAI
Thomas Eiter, Tobias Kaminski, Antonius Weinzierl
2017 J jnl
Preference-Based Inconsistency Management in Multi-Context Systems.
J. Artif. Intell. Res.
Thomas Eiter, Antonius Weinzierl
2017 Misc conf
Reactive Maintenance Policies over Equalized States in Dynamic Environments.
EPIA
Zeynep G. Saribatur, Chitta Baral, Thomas Eiter
2017 — ed.
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures
RW
Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao
2017 — conf
Spatial Ontology-Mediated Query Answering over Mobility Streams.
ESWC (1)
Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider
2017 — conf
Stream reasoning-based control of caching strategies in CCN routers.
ICC
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin
2017 A* conf
Streaming Multi-Context Systems.
IJCAI
Minh Dao-Tran, Thomas Eiter
2017 J jnl
Ticker: A System for Incremental ASP-based Stream Reasoning.
CoRR
Harald Beck, Thomas Eiter, Christian Folie
2017 J jnl
Ticker: A system for incremental ASP-based stream reasoning.
Theory Pract. Log. Program.
Harald Beck, Thomas Eiter, Christian Folie
2016 — conf
A Benchmarking Framework for Stream Processors.
EKAW (Satellite Events)
Andreas Moßburger, Harald Beck, Minh Dao-Tran, Thomas Eiter
2016 J jnl
A model building framework for answer set programming with external computations.
Theory Pract. Log. Program.
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller
2016 J jnl
Answer Set Programming: An Introduction to the Special Issue.
AI Mag.
Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski
2016 — conf
Artificial intelligence at the gates of dawn?
GI-Jahrestagung
Thomas Eiter
2016 J jnl
Computing Repairs of Inconsistent DL-Programs over EL Ontologies.
J. Artif. Intell. Res.
Thomas Eiter, Michael Fink, Daria Stepanova
2016 J jnl
Data repair of inconsistent nonmonotonic description logic programs.
Artif. Intell.
Thomas Eiter, Michael Fink, Daria Stepanova
2016 J jnl
Domain expansion for ASP-programs with external sources.
Artif. Intell.
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
2016 A* conf
Equivalent Stream Reasoning Programs.
IJCAI
Harald Beck, Minh Dao-Tran, Thomas Eiter
2016 J jnl
Evaluating epistemic negation in answer set programming.
Artif. Intell.
Yi-Dong Shen, Thomas Eiter
2016 B conf
Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects.
JELIA
Thomas Eiter, Tobias Kaminski
2016 A* conf
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.
IJCAI
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl
2016 A* conf
Generalized Consistent Query Answering under Existential Rules.
KR
Thomas Eiter, Thomas Lukasiewicz, Livia Predoiu
2016 J jnl
Helmut Veith (1971-2016).
Bull. EATCS
Thomas Eiter, Richard Zach
2016 — conf
Problem Solving Using the HEX Family.
Computational Models of Rationality
Thomas Eiter, Christoph Redl, Peter Schüller
2016 B conf
Reactive Policies with Planning for Action Languages.
JELIA
Zeynep G. Saribatur, Thomas Eiter
2016 J jnl
Reactive Policies with Planning for Action Languages.
CoRR
Zeynep G. Saribatur, Thomas Eiter
2016 B conf
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks.
JELIA
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin
2016 J jnl
Semantically Enriched Multi-Modal Routing.
Int. J. Intell. Transp. Syst. Res.
Thomas Eiter, Thomas Krennwallner, Matthias Prandtstetter, Christian Rudloff, Patrik Schneider, Markus Straub
2016 J jnl
Semi-equilibrium models for paracoherent answer set programs.
Artif. Intell.
Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone, João Moura
2016 J jnl
Stream Reasoning-Based Control of Caching Strategies in CCN Routers.
CoRR
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin
2016 — conf
Towards Spatial Ontology-Mediated Query Answering over Mobility Streams.
SR+SWIT@ISWC
Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider
2015 — conf
A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence.
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran
2015 — conf
A Rule-based Framework for Creating Instance Data from OpenStreetMap.
RR
Thomas Eiter, Jeff Z. Pan, Patrik Schneider, Mantas Simkus, Guohui Xiao
2015 J jnl
A model building framework for Answer Set Programming with external computations.
CoRR
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller
2015 — ed.
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran
2015 A* conf
Answer Update for Rule-Based Stream Reasoning.
IJCAI
Harald Beck, Minh Dao-Tran, Thomas Eiter
2015 — conf
Contrasting RDF Stream Processing Semantics.
JIST
Minh Dao-Tran, Harald Beck, Thomas Eiter
2015 J jnl
Distributed Evaluation of Nonmonotonic Multi-context Systems.
J. Artif. Intell. Res.
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2015 J jnl
Introduction to the 31st International Conference on Logic Programming special issue.
Theory Pract. Log. Program.
Thomas Eiter, Francesca Toni
2015 A* conf
LARS: A Logic-Based Framework for Analyzing Reasoning over Streams.
AAAI
Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink
2015 B conf
Linking Open-World Knowledge Bases Using Nonmonotonic Rules.
LPNMR
Thomas Eiter, Mantas Simkus
2015 — conf
Preference-Based Diagnosis Selection in Multi-Context Systems.
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Thomas Eiter, Michael Fink, Antonius Weinzierl
2015 — ed.
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015.
ICLP (Technical Communications)
Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni
2015 — conf
Reasoning with Forest Logic Programs Using Fully Enriched Automata.
JOWO@IJCAI
Cristina Feier, Thomas Eiter
2015 B conf
Reasoning with Forest Logic Programs Using Fully Enriched Automata.
LPNMR
Cristina Feier, Thomas Eiter
2015 — conf
Towards Comparing RDF Stream Processing Semantics.
HiDeSt@KI
Minh Dao-Tran, Harald Beck, Thomas Eiter
2015 J jnl
Towards Ideal Semantics for Analyzing Stream Reasoning.
CoRR
Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink
2014 J jnl
Answering regular path queries in expressive Description Logics via alternating tree-automata.
Inf. Comput.
Diego Calvanese, Thomas Eiter, Magdalena Ortiz
2014 B conf
Computing Repairs for Inconsistent DL-programs over
JELIA
Thomas Eiter, Michael Fink, Daria Stepanova
2014 — conf
Contextualized Knowledge Repositories with Justifiable Exceptions.
Description Logics
Loris Bozzato, Thomas Eiter, Luciano Serafini
2014 — conf
Defeasibility in Contextual Reasoning with CKR.
CILC
Loris Bozzato, Thomas Eiter, Luciano Serafini
2014 J jnl
Efficient HEX-Program Evaluation Based on Unfounded Sets.
J. Artif. Intell. Res.
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
2014 A* conf
Exploiting Support Sets for Answer Set Programs with External Evaluations.
AAAI
Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova
2014 J jnl
FLP answer set semantics without circular justifications for general logic programs.
Artif. Intell.
Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng
2014 J jnl
Finding explanations of inconsistency in multi-context systems.
Artif. Intell.
Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl
2014 B conf
Modular Paracoherent Answer Sets.
JELIA
Giovanni Amendola, Thomas Eiter, Nicola Leone
2014 A* ed.
Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014
KR
Chitta Baral, Giuseppe De Giacomo, Thomas Eiter
2014 — conf
Towards Practical Deletion Repair of Inconsistent DL-programs.
Description Logics
Thomas Eiter, Michael Fink, Daria Stepanova
2014 A conf
Towards Practical Deletion Repair of Inconsistent DL-programs.
ECAI
Thomas Eiter, Michael Fink, Daria Stepanova
2014 — conf
Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners.
ORE
Thomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao
2014 A* conf
Vienna Summer of Logic.
KR
Matthias Baaz, Thomas Eiter, Helmut Veith
2013 J jnl
Causes and Explanations in the Structural-Model Approach: Tractable Cases
CoRR
Thomas Eiter, Thomas Lukasiewicz
2013 A* conf
Data Repair of Inconsistent DL-Programs.
IJCAI
Thomas Eiter, Michael Fink, Daria Stepanova
2013 — conf
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs.
RR
Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen
2013 J jnl
Eliminating Unfounded Set Checking for HEX-Programs
CoRR
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
2013 J jnl
Finding similar/diverse solutions in answer set programming.
Theory Pract. Log. Program.
Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink
2013 B conf
Hex Semantics via Approximation Fixpoint Theory.
LPNMR
Christian Antic, Thomas Eiter, Michael Fink
2013 — conf
Inconsistency Management for Description Logic Programs and Beyond.
RR
Thomas Eiter, Michael Fink, Daria Stepanova
2013 — ed.
Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013
Description Logics
Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch
2013 A* conf
Liberal Safety for Answer Set Programs with External Sources.
AAAI
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
2013 B conf
Lightweight Spatial Conjunctive Query Answering Using Keywords.
ESWC
Thomas Eiter, Thomas Krennwallner, Patrik Schneider
2013 J jnl
Marco Cadoli's work on nonmonotonic reasoning.
Intelligenza Artificiale
Thomas Eiter, Georg Gottlob
2013 J jnl
Model-based recasting in answer-set programming.
J. Appl. Non Class. Logics
Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, Stefan Woltran
2013 — conf
hex-Programs with Existential Quantification.
KDPD
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
2012 J jnl
Conflict-driven ASP Solving with External Sources
CoRR
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
2012 J jnl
Conflict-driven ASP solving with external sources.
Theory Pract. Log. Program.
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
2012 J jnl
Conjunctive query answering in the description logic SH using knots.
J. Comput. Syst. Sci.
Thomas Eiter, Magdalena Ortiz, Mantas Simkus
2012 — conf
Distribution and Modularity in Nonmonotonic Logic Programming.
WoMO
Thomas Eiter
2012 B conf
Exploiting Unfounded Sets for HEX-Program Evaluation.
JELIA
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
2012 B conf
Forgetting for Defeasible Logic.
LPAR
Grigoris Antoniou, Thomas Eiter, Kewen Wang
2012 — conf
Inconsistency Management for Traffic Regulations.
Semantic Cities @ AAAI
Harald Beck, Thomas Eiter, Thomas Krennwallner
2012 B conf
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results.
JELIA
Harald Beck, Thomas Eiter, Thomas Krennwallner
2012 — conf
Linked Stream Data Processing Engines: Facts and Figures.
ISWC (2)
Danh Le Phuoc, Minh Dao-Tran, Minh-Duc Pham, Peter Boncz, Thomas Eiter, Michael Fink
2012 B conf
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver.
JELIA
Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl
2012 A* ed.
Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012
KR
Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith
2012 J jnl
Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
CoRR
Thomas Eiter, Thomas Lukasiewicz
2012 A* conf
Query Rewriting for Horn-SHIQ Plus Rules.
AAAI
Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
2012 — ed.
Reasoning Web. Semantic Technologies for Advanced Query Answering - 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings
Reasoning Web
Thomas Eiter, Thomas Krennwallner
2012 — conf
Semantic Independence in DL-Programs.
RR
Thomas Eiter, Michael Fink, Daria Stepanova
2012 — conf
Simulating Production Rules Using ACTHEX.
Correct Reasoning
Thomas Eiter, Cristina Feier, Michael Fink
2012 — conf
The DReW System for Nonmonotonic DL-Programs.
CSWS
Guohui Xiao, Thomas Eiter, Stijn Heymans
2012 — conf
Towards Practical Query Answering for Horn-SHIQ.
Description Logics
Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
2012 — conf
Uniform Evaluation of Nonmonotonic DL-Programs.
FoIKS
Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao
2011 J jnl
Answer Set Planning Under Action Costs
CoRR
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2011 J jnl
Answer set programming at a glance.
Commun. ACM
Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski
2011 B conf
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems.
LPNMR
Thomas Eiter, Michael Fink, Peter Schüller
2011 C conf
Declarative Belief Set Merging Using Merging Plans.
PADL
Christoph Redl, Thomas Eiter, Thomas Krennwallner
2011 J jnl
Embedding Description Logic Programs into Default Logic
CoRR
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter
2011 J jnl
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination.
ACM Trans. Comput. Log.
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits
2011 J jnl
Finding Similar/Diverse Solutions in Answer Set Programming
CoRR
Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink
2011 — conf
HEX-Programs with Nested Program Calls.
INAP/WLP
Thomas Eiter, Thomas Krennwallner, Christoph Redl
2011 — conf
Inline Evaluation of Hybrid Knowledge Bases - PhD Description.
RR
Guohui Xiao, Thomas Eiter
2011 A* conf
Managed Multi-Context Systems.
IJCAI
Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl
2011 — conf
Model Streaming for Distributed Multi-Context Systems.
Log-IC@LPNMR
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2011 J jnl
Nested HEX-Programs
CoRR
Thomas Eiter, Thomas Krennwallner, Christoph Redl
2011 — conf
Nonmonotonic Multi-Context Systems in Dynamic Environments.
Log-IC@LPNMR
Thomas Eiter
2011 — conf
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Gerhard Brewka, Thomas Eiter, Michael Fink
2011 B conf
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition.
LPNMR
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller
2011 J jnl
Symmetry Breaking for Distributed Multi-Context Systems
CoRR
Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh
2011 B conf
Symmetry Breaking for Distributed Multi-Context Systems.
LPNMR
Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh
2011 — conf
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems.
INAP/WLP
Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller
2011 — conf
Towards a Policy Language for Managing Inconsistency in Multi-Context Systems.
Log-IC@LPNMR
Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller
2011 J jnl
Well-founded semantics for description logic programs in the semantic web.
ACM Trans. Comput. Log.
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer
2010 — conf
Answer Set Programming in a Nutshell.
WWV
Thomas Eiter
2010 — conf
Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs.
ESWC (1)
Jörg Pührer, Stijn Heymans, Thomas Eiter
2010 B conf
Decomposition of Distributed Nonmonotonic Multi-Context Systems.
JELIA
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2010 A* conf
Distributed Nonmonotonic Multi-Context Systems.
KR
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2010 — conf
F-Logic#: Loosely Coupling F-Logic Rules and Ontologies.
Web Intelligence
Stijn Heymans, Roman Korf, Michael Erdmann, Jörg Pührer, Thomas Eiter
2010 J jnl
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols.
ACM Trans. Comput. Log.
Thomas Eiter, Mantas Simkus
2010 A* conf
Finding Explanations of Inconsistency in Multi-Context Systems.
KR
Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl
2010 — conf
First-Order Encodings for Modular Nonmonotonic Datalog Programs.
Datalog
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2010 — conf
Knowledge-Based Geo-risk Assessment for an Intelligent Measurement System.
IFIP AI
Tanja Vicovac, Alexander Reiterer, Uwe Egly, Thomas Eiter, Dirk Rieke-Zapp
2010 A* conf
Paracoherent Answer Set Programming.
KR
Thomas Eiter, Michael Fink, João Moura
2010 B conf
Preference-Based Inconsistency Assessment in Multi-Context Systems.
JELIA
Thomas Eiter, Michael Fink, Antonius Weinzierl
2010 — conf
Query Answering in the Description Logic S.
Description Logics
Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
2010 A* conf
Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities.
AAAI
Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa
2010 B conf
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems.
JELIA
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2010 — conf
The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey.
Fields of Logic and Computation
Thomas Eiter, Georg Gottlob, Thomas Schwentick
2010 B conf
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems.
JELIA
Markus Bögl, Thomas Eiter, Michael Fink, Peter Schüller
2010 A conf
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics.
ECAI
Stijn Heymans, Thomas Eiter, Guohui Xiao
2010 J jnl
Updating action domain descriptions.
Artif. Intell.
Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
2009 — conf
A Reasoner for Simple Conceptual Logic Programs.
RR
Stijn Heymans, Cristina Feier, Thomas Eiter
2009 — conf
Answer Set Programming: A Primer.
Reasoning Web
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner
2009 B conf
Argumentation Context Systems: A Framework for Abstract Group Argumentation.
LPNMR
Gerhard Brewka, Thomas Eiter
2009 A* conf
Bidirectional Answer Set Programs with Function Symbols.
IJCAI
Thomas Eiter, Mantas Simkus
2009 — conf
Combining Nonmonotonic Knowledge Bases with External Sources.
FroCoS
Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner
2009 A* conf
Decomposition of Declarative Knowledge Bases with External Functions.
IJCAI
Thomas Eiter, Michael Fink, Thomas Krennwallner
2009 B conf
Finding Similar or Diverse Solutions in Answer Set Programming.
ICLP
Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink
2009 B conf
From Data Integration towards Knowledge Mediation.
LPNMR
Gerhard Brewka, Thomas Eiter
2009 — ch.
Hybrid Reasoning with Rules and Ontologies.
REWERSE
Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski
2009 B conf
Modular Nonmonotonic Logic Programming Revisited.
ICLP
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2009 A* conf
Query Answering in Description Logics with Transitive Roles.
IJCAI
Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
2009 C conf
Query Answering in Description Logics: The Knots Approach.
WoLLIC
Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
2009 C conf
Realizing Default Logic over Description Logic Knowledge Bases.
ECSQARU
Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner
2009 — ed.
Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures
Reasoning Web
Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt
2009 A* conf
Regular Path Queries in Expressive Description Logics with Nominals.
IJCAI
Diego Calvanese, Thomas Eiter, Magdalena Ortiz
2009 B conf
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs.
LPNMR
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2008 J jnl
A knowledge-based videotheodolite measurement system for object representation/monitoring.
Adv. Eng. Softw.
Alexander Reiterer, Uwe Egly, Thomas Eiter, Heribert Kahmen
2008 J jnl
Combining answer set programming with description logics for the Semantic Web.
Artif. Intell.
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits
2008 J jnl
Computational aspects of monotone dualization: A brief survey.
Discret. Appl. Math.
Thomas Eiter, Kazuhisa Makino, Georg Gottlob
2008 — conf
Conjunctive Query Answering in SH using Knots.
Description Logics
Magdalena Ortiz, Mantas Simkus, Thomas Eiter
2008 J jnl
Data Complexity of Query Answering in Expressive Description Logics via Tableaux.
J. Autom. Reason.
Magdalena Ortiz, Diego Calvanese, Thomas Eiter
2008 A* conf
Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic.
KR
Jos de Bruijn, Thomas Eiter, Hans Tompits
2008 J jnl
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
CoRR
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits
2008 A* conf
Error Classification in Action Descriptions: A Heuristic Approach.
AAAI
Thomas Eiter, Michael Fink, Ján Senko
2008 Misc conf
Exploiting Conjunctive Queries in Description Logic Programs.
ISAIM
Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni
2008 J jnl
Exploiting conjunctive queries in description logic programs.
Ann. Math. Artif. Intell.
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer
2008 J jnl
Maintenance goals of agents in a dynamic environment: Formulation and policy construction.
Artif. Intell.
Chitta Baral, Thomas Eiter, Marcus Bjäreland, Mutsumi Nakamura
2008 A conf
New Results for Horn Cores and Envelopes of Horn Disjunctions.
ECAI
Thomas Eiter, Kazuhisa Makino
2008 B conf
Query Answering in the Description Logic Horn-.
JELIA
Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus
2008 B conf
Reasoning Using Knots.
LPAR
Thomas Eiter, Magdalena Ortiz, Mantas Simkus
2008 J jnl
Repair localization for query answering from inconsistent databases.
ACM Trans. Database Syst.
Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo
2008 — conf
Rules and Ontologies for the Semantic Web.
Reasoning Web
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres
2008 B conf
SMS and ASP: Hype or TST?.
ICLP
Thomas Eiter
2008 J jnl
Semantic forgetting in answer set programming.
Artif. Intell.
Thomas Eiter, Kewen Wang
2008 J jnl
Undoing the effects of action sequences.
J. Appl. Log.
Thomas Eiter, Esra Erdem, Wolfgang Faber
2008 A* conf
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses.
AAAI
Magdalena Ortiz, Mantas Simkus, Thomas Eiter
2007 J jnl
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution.
Fundam. Informaticae
Thomas Eiter, Esra Erdem, Wolfgang Faber, Ján Senko
2007 J jnl
A knowledge-based approach for selecting information sources.
Theory Pract. Log. Program.
Thomas Eiter, Michael Fink, Hans Tompits
2007 B conf
Answer Set Programming for the Semantic Web.
ICLP
Thomas Eiter
2007 A* conf
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach.
AAAI
Diego Calvanese, Thomas Eiter, Magdalena Ortiz
2007 J jnl
Comparing action descriptions based on semantic preferences.
Ann. Math. Artif. Intell.
Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
2007 A* conf
Complexity Results for Checking Equivalence of Stratified Logic Programs.
IJCAI
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
2007 J jnl
Complexity results for answer set programming with bounded predicate arities and implications.
Ann. Math. Artif. Intell.
Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran
2007 B conf
Conditional Planning with External Functions.
LPNMR
Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir
2007 A* conf
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination.
IJCAI
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits
2007 A* conf
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems.
AAAI
Gerhard Brewka, Thomas Eiter
2007 — conf
Exploiting Conjunctive Queries in Description Logic Programs.
Description Logics
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer
2007 — conf
Foundations of Rule-Based Query Answering.
Reasoning Web
François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei
2007 A* conf
On Reversing Actions: Algorithms and Complexity.
IJCAI
Thomas Eiter, Esra Erdem, Wolfgang Faber
2007 J jnl
On computing all abductive explanations from a propositional Horn theory.
J. ACM
Thomas Eiter, Kazuhisa Makino
2007 J jnl
Preface.
Theor. Comput. Sci.
Thomas Eiter, Leonid Libkin
2007 J jnl
Semantical characterizations and complexity of equivalences in answer set programming.
ACM Trans. Comput. Log.
Thomas Eiter, Michael Fink, Stefan Woltran
2007 B conf
\mathbb
LPAR
Mantas Simkus, Thomas Eiter
2006 B conf
A Distance-Based Method for the Evaluation of Interest point Detection Algorithms.
ICIP
Alexander Reiterer, Thomas Eiter
2006 J jnl
A Knowledge-Based Approach for Selecting Information Sources
CoRR
Thomas Eiter, Michael Fink, Hans Tompits
2006 B conf
A Tool for Answering Queries on Action Descriptions.
JELIA
Thomas Eiter, Michael Fink, Ján Senko
2006 B conf
An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs.
JELIA
Thomas Eiter, Patrick Traxler, Stefan Woltran
2006 J jnl
Causes and explanations in the structural-model approach: Tractable cases.
Artif. Intell.
Thomas Eiter, Thomas Lukasiewicz
2006 A* conf
Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics.
AAAI
Magdalena Ortiz, Diego Calvanese, Thomas Eiter
2006 B conf
Comparing Action Descriptions Based on Semantic Preferences.
JELIA
Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
2006 — conf
Data Complexity of Answering Unions of Conjunctive Queries in
Description Logics
Magdalena Ortiz, Diego Calvanese, Thomas Eiter
2006 B conf
Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning.
ESWC
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
2006 A* conf
Forgetting and Conflict Resolving in Disjunctive Logic Programming.
AAAI
Thomas Eiter, Kewen Wang
2006 — conf
Forgetting in Managing Rules and Ontologies.
Web Intelligence
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, Kewen Wang
2006 J jnl
Introduction to special ICDT section.
ACM Trans. Database Syst.
Thomas Eiter, Leonid Libkin
2006 — conf
LPForget: A System of Forgetting in Answer Set Programming.
Australian Conference on Artificial Intelligence
Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abdul Sattar, Kewen Wang
2006 C conf
On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules.
KSEM
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits
2006 J jnl
Reasoning under minimal upper bounds in propositional logic.
Theor. Comput. Sci.
Thomas Eiter, Georg Gottlob
2006 — conf
Reasoning with Rules and Ontologies.
Reasoning Web
Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, Hans Tompits
2006 A* conf
Replacements in Non-Ground Answer-Set Programming.
KR
Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
2006 — conf
Replacements in Non-Ground Answer-Set Programming.
WLP
Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
2006 A conf
Resolving Conflicts in Action Descriptions.
ECAI
Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
2006 — ed.
Rules and Rule Markup Languages for the Semantic Web, Second International Conference, RuleML 2006, Athens, Georgia, USA, November 10-11, 2006, Proceedings
RuleML
Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens
2006 J jnl
The DLV system for knowledge representation and reasoning.
ACM Trans. Comput. Log.
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
2006 J jnl
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications.
Theory Pract. Log. Program.
Thomas Eiter, Axel Polleres
2006 — conf
dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics.
Web Intelligence
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
2006 — conf
dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework.
WLP
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
2005 A* conf
A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming.
IJCAI
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
2005 — conf
Boosting Information Integration: The INFOMIX System.
SEBD
Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco
2005 J jnl
Complexity of propositional nested circumscription and nested abnormality theories.
ACM Trans. Comput. Log.
Marco Cadoli, Thomas Eiter, Georg Gottlob
2005 B conf
Data Integration and Answer Set Programming.
LPNMR
Thomas Eiter
2005 B conf
Data Integration: a Challenging ASP Application.
LPNMR
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 J jnl
Data complexity of answering conjunctive queries over SHIQ knowledge bases
CoRR
Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi
2005 A ed.
Database Theory - ICDT 2005, 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings
ICDT
Thomas Eiter, Leonid Libkin
2005 — conf
Information Extraction for the Semantic Web.
Reasoning Web
Robert Baumgartner, Thomas Eiter, Georg Gottlob, Marcus Herzog, Christoph Koch
2005 B conf
KMonitor - A Tool for Monitoring Plan Execution in Action Theories.
LPNMR
Thomas Eiter, Michael Fink, Ján Senko
2005 A* conf
On Solution Correspondences in Answer-Set Programming.
IJCAI
Thomas Eiter, Hans Tompits, Stefan Woltran
2005 J jnl
Preface.
J. Appl. Log.
Thomas Eiter, Domenico Lembo
2005 J jnl
Reasoning about evolving nonmonotonic knowledge bases.
ACM Trans. Comput. Log.
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2005 J jnl
Semantical Characterizations and Complexity of Equivalences in Answer Set Programming
CoRR
Thomas Eiter, Michael Fink, Stefan Woltran
2005 A* conf
Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case.
AAAI
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
2005 B conf
Testing Strong Equivalence of Datalog Programs - Implementation and Examples.
LPNMR
Thomas Eiter, Wolfgang Faber, Patrick Traxler
2005 — conf
The INFOMIX system for advanced integration of incomplete and inconsistent data.
SIGMOD Conference
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
2005 J jnl
Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications
CoRR
Thomas Eiter, Axel Polleres
2005 A* conf
Updating Action Domain Descriptions.
IJCAI
Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
2005 A* conf
Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains.
AAAI
Chitta Baral, Thomas Eiter, Jicheng Zhao
2004 — conf
04171 Abstracts Collection - Logic Based Information Agents.
Logic Based Information Agents
Jürgen Dix, Thomas Eiter, Enrico Franconi
2004 A* conf
A Polynomial Time Algorithm for Constructing k-Maintainable Policies.
ICAPS
Chitta Baral, Thomas Eiter
2004 A* conf
A Polynomial-Time Algorithm for Constructing k-Maintainable Policies.
KR
Chitta Baral, Thomas Eiter
2004 J jnl
A logic programming approach to knowledge-state planning: Semantics and complexity.
ACM Trans. Comput. Log.
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2004 A* conf
Combining Answer Set Programming with Description Logics for the Semantic Web.
KR
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits
2004 A* conf
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
KR
Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran
2004 J jnl
Complexity results for explanations in the structural-model approach.
Artif. Intell.
Thomas Eiter, Thomas Lukasiewicz
2004 — ed.
Logic Based Information Agents, 18.04. - 23.04.2004
Logic Based Information Agents
Jürgen Dix, Thomas Eiter, Enrico Franconi
2004 B conf
Nonmonotonic Description Logic Programs: Implementation and Experiments.
LPAR
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
2004 A* conf
On Eliminating Disjunctions in Stable Logic Programming.
KR
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
2004 — conf
Plan reversals for recovery in execution monitoring.
NMR
Thomas Eiter, Esra Erdem, Wolfgang Faber
2004 J jnl
Preface.
Ann. Math. Artif. Intell.
Thomas Eiter, Klaus-Dieter Schewe
2004 B conf
Simplifying Logic Programs Under Uniform and Strong Equivalence.
LPNMR
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
2004 B conf
Towards Automated Integration of Guess and Check Programs in Answer Set Programming.
LPNMR
Thomas Eiter, Axel Polleres
2004 — conf
Well-Founded Semantics for Description Logic Programs in the Semantic Web.
RuleML
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits
2003 J jnl
A logic programming approach to knowledge-state planning, II: The DLV
Artif. Intell.
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2003 B conf
Abduction and the Dualization Problem.
ALT
Thomas Eiter
2003 B conf
Abduction and the Dualization Problem.
Discovery Science
Thomas Eiter, Kazuhisa Makino
2003 J jnl
Answer Set Planning Under Action Costs.
J. Artif. Intell. Res.
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2003 — conf
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
Answer Set Programming
Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran
2003 J jnl
Computing preferred answer sets by meta-interpretation in answer set programming.
Theory Pract. Log. Program.
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2003 — conf
Declarative Update Policies for Nonmonotonic Knowledge Bases.
Logics for Emerging Applications of Databases
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2003 B conf
Efficient Evaluation of Logic Programs for Querying Data Integration Systems.
ICLP
Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo
2003 — conf
Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation.
Answer Set Programming
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
2003 B conf
Generating All Abductive Explanations for Queries on Propositional Horn Theories.
CSL
Thomas Eiter, Kazuhisa Makino
2003 Misc conf
Monitoring Agents Using Declarative Planning.
KI
Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang
2003 J jnl
Monitoring Agents using Declarative Planning.
Fundam. Informaticae
Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang
2003 J jnl
New Results on Monotone Dualization and Generating Hypergraph Transversals.
SIAM J. Comput.
Thomas Eiter, Georg Gottlob, Kazuhisa Makino
2003 A conf
Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories.
UAI
Thomas Eiter, Thomas Lukasiewicz
2003 — conf
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation.
APPIA-GULP-PRODE
Thomas Eiter, Axel Polleres
2003 B conf
Uniform Equivalence of Logic Programs under the Stable Model Semantics.
ICLP
Thomas Eiter, Michael Fink
2002 A* conf
A Generic Approach for Knowledge-Based Information-Site Selection.
KR
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2002 B conf
Answer Set Planning under Action Costs.
JELIA
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2002 A conf
Causes and Explanations in the Structural-Model Approach : Tractable Cases.
UAI
Thomas Eiter, Thomas Lukasiewicz
2002 J jnl
Comparing environments for developing software agents.
AI Commun.
Thomas Eiter, Viviana Mascardi
2002 A* conf
Complexity Results for Explanations in the Structural-Model Approach.
KR
Thomas Eiter, Thomas Lukasiewicz
2002 J jnl
Complexity of Nested Circumscription and Nested Abnormality Theories
CoRR
Marco Cadoli, Thomas Eiter, Georg Gottlob
2002 J jnl
Complexity results for structure-based causality.
Artif. Intell.
Thomas Eiter, Thomas Lukasiewicz
2002 J jnl
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming
CoRR
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2002 J jnl
Decision lists and related Boolean functions.
Theor. Comput. Sci.
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
2002 — conf
Error-Tolerant Agents.
Computational Logic: Logic Programming and Beyond
Thomas Eiter, Viviana Mascardi, V. S. Subrahmanian
2002 — ed.
Foundations of Information and Knowledge Systems, Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002, Proceedings
FoIKS
Thomas Eiter, Klaus-Dieter Schewe
2002 B conf
Hypergraph Transversal Computation and Related Problems in Logic and AI.
JELIA
Thomas Eiter, Georg Gottlob
2002 B conf
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks.
TABLEAUX
Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
2002 J jnl
New Results on Monotone Dualization and Generating Hypergraph Transversals
CoRR
Thomas Eiter, Georg Gottlob, Kazuhisa Makino
2002 A* conf
New results on monotone dualization and generating hypergraph transversals.
STOC
Thomas Eiter, Georg Gottlob, Kazuhisa Makino
2002 — conf
On Computing all Abductive Explanations.
AAAI/IAAI
Thomas Eiter, Kazuhisa Makino
2002 J jnl
On Properties of Update Sequences Based on Causal Rejection.
Theory Pract. Log. Program.
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2002 J jnl
On the complexity of data disjunctions.
Theor. Comput. Sci.
Thomas Eiter, Helmut Veith
2002 J jnl
Reasoning about Evolving Nonmonotonic Knowledge Bases
CoRR
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2002 J jnl
Recognition and dualization of disguised bidual Horn functions.
Inf. Process. Lett.
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
2002 B conf
The DLV
JELIA
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2002 J jnl
The DLV System for Knowledge Representation and Reasoning
CoRR
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
2002 B conf
The DLV System.
JELIA
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 J jnl
Using Methods of Declarative Logic Programming for Intelligent Information Agents.
Theory Pract. Log. Program.
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2001 A* conf
A Framework for Declarative Update Specifications in Logic Programs.
IJCAI
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2001 J jnl
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity
CoRR
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2001 J jnl
A data model and algebra for probabilistic complex values.
Ann. Math. Artif. Intell.
Thomas Eiter, Thomas Lukasiewicz, Michael Walter
2001 B conf
An Update Front-End for Extended Logic Programs.
LPNMR
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2001 A* conf
Complexity Results for Structure-Based Causality.
IJCAI
Thomas Eiter, Thomas Lukasiewicz
2001 J jnl
Complexity and expressive power of logic programming.
ACM Comput. Surv.
Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov
2001 A* conf
Complexity of Nested Circumscription and Abnormality Theories.
IJCAI
Marco Cadoli, Thomas Eiter, Georg Gottlob
2001 — conf
Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming.
Answer Set Programming
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2001 — conf
Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results.
Answer Set Programming
Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
2001 J jnl
Disjunctions of Horn Theories and Their Cores.
SIAM J. Comput.
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
2001 — ed.
KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings
KI/ÖGAI
Franz Baader, Gerhard Brewka, Thomas Eiter
2001 B ed.
Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings
LPNMR
Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski
2001 B conf
Matchmaking for Structured Objects.
DaWaK
Thomas Eiter, Daniel Veit, Jörg P. Müller, Martin Schneider
2001 J jnl
On ACTL Formulas Having Linear Counterexamples.
J. Comput. Syst. Sci.
Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone
2001 J jnl
On Properties of Update Sequences Based on Causal Rejection
CoRR
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2001 J jnl
Probabilistic object bases.
ACM Trans. Database Syst.
Thomas Eiter, James J. Lu, Thomas Lukasiewicz, V. S. Subrahmanian
2001 B conf
Reasoning about Evolving Nonmonotonic Knowledge Bases.
LPAR
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2001 C conf
Second-Order Logic over Strings: Regular and Non-regular Fragments.
Developments in Language Theory
Thomas Eiter, Georg Gottlob, Thomas Schwentick
2001 B conf
System Description: The DLV
LPNMR
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2001 J jnl
Using Methods of Declarative Logic Programming for Intelligent Information Agents
CoRR
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2000 A* conf
Complexity Results for Default Reasoning from Conditional Knowledge Bases.
KR
Thomas Eiter, Thomas Lukasiewicz
2000 J jnl
Complexity results for some eigenvector problems.
Int. J. Comput. Math.
Thomas Eiter, Georg Gottlob
2000 B conf
Considerations on Updates of Logic Programs.
JELIA
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
2000 J jnl
DLV - A System for Declarative Problem Solving
CoRR
Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer
2000 J jnl
Default reasoning from conditional knowledge bases: Complexity and tractable cases.
Artif. Intell.
Thomas Eiter, Thomas Lukasiewicz
2000 J jnl
Existential second-order logic over strings.
J. ACM
Thomas Eiter, Yuri Gurevich, Georg Gottlob
2000 — conf
Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP.
WLP
Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
2000 — conf
Extension of the Relational Algebra to Probabilistic Complex Values.
FoIKS
Thomas Eiter, Thomas Lukasiewicz, Michael Walter
2000 J jnl
Heterogeneous active agents, III: Polynomially implementable agents.
Artif. Intell.
Thomas Eiter, V. S. Subrahmanian, Timothy J. Rogers
2000 — book
Heterogenous Active Agents
V. S. Subrahmanian, Piero A. Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, Robert B. Ross
2000 — conf
Implementing Default Reasoning Using Quantified Boolean Formulae.
WLP
Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran
2000 B conf
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases.
JELIA
Thomas Eiter, Thomas Lukasiewicz
2000 B conf
On the Complexity of Theory Curbing.
LPAR
Thomas Eiter, Georg Gottlob
2000 J jnl
On the Difference of Horn Theories.
J. Comput. Syst. Sci.
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
2000 — conf
Planning under Incomplete Knowledge.
Computational Logic
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
2000 — conf
Prioritizing Default Logic.
Intellectics and Computational Logic
Gerhard Brewka, Thomas Eiter
2000 J jnl
QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks
CoRR
Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran
2000 — conf
Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas.
AAAI/IAAI
Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran
2000 — conf
Using the dlv System for Planning and Diagnostic Reasoning.
WLP
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
1999 J jnl
Bidual Horn Functions and Extensions.
Discret. Appl. Math.
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
1999 J jnl
Computing Intersections of Horn Theories for Reasoning with Models.
Artif. Intell.
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
1999 J jnl
Enhancing Model Checking in Verification by AI Techniques.
Artif. Intell.
Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone
1999 J jnl
Heterogeneous Active Agents, I: Semantics.
Artif. Intell.
Thomas Eiter, V. S. Subrahmanian, George Pick
1999 J jnl
Heterogeneous Active Agents, II: Algorithms and Complexity.
Artif. Intell.
Thomas Eiter, V. S. Subrahmanian
1999 J jnl
Impact: a platform for collaborating agents.
IEEE Intell. Syst.
Khaled A. Arisha, Fatma Özcan, Robert B. Ross, V. S. Subrahmanian, Thomas Eiter, Sarit Kraus
1999 A conf
On the Difference of Horn Theories.
STACS
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
1999 J jnl
Preferred Answer Sets for Extended Logic Programs.
Artif. Intell.
Gerhard Brewka, Thomas Eiter
1999 J jnl
The Diagnosis Frontend of the dlv System.
AI Commun.
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
1998 J jnl
A First-Order Representation of Stable Models.
AI Commun.
Thomas Eiter, James J. Lu, V. S. Subrahmanian
1998 — conf
Computing Intersections of Horn Theories for Reasoning with Models.
AAAI/IAAI
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
1998 — conf
Deontic Action Programs.
FMLDO
Thomas Eiter, V. S. Subrahmanian
1998 B conf
Disjunctions of Horn Theories and Their Cores.
ISAAC
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
1998 J jnl
Double Horn Functions.
Inf. Comput.
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
1998 A* conf
Existential Second-Order Logic over Strings.
LICS
Thomas Eiter, Georg Gottlob, Yuri Gurevich
1998 J jnl
Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases.
Theor. Comput. Sci.
Thomas Eiter, Nicola Leone, Domenico Saccà
1998 A conf
On Disguised Double Horn Functions and Extensions.
STACS
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
1998 J jnl
On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic.
J. Symb. Log.
Thomas Eiter, Georg Gottlob
1998 A* conf
Preferred Answer Sets for Extended Logic Programs.
KR
Gerhard Brewka, Thomas Eiter
1998 C conf
Progress Report on the Disjunctive Deductive Database System
FQAS
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1998 A* conf
The KR System dlv: Progress Report, Comparisons and Benchmarks.
KR
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1997 B conf
A Deductive System for Non-Monotonic Reasoning.
LPNMR
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1997 J jnl
Abduction from Logic Programs: Semantics and Complexity.
Theor. Comput. Sci.
Thomas Eiter, Georg Gottlob, Nicola Leone
1997 A conf
Complexity and Expressive Power of Logic Programming.
CCC
Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov
1997 B conf
Computing Non-Ground Representations of Stable Models.
LPNMR
Thomas Eiter, James J. Lu, V. S. Subrahmanian
1997 J jnl
Default Logic as a Query Language.
IEEE Trans. Knowl. Data Eng.
Marco Cadoli, Thomas Eiter, Georg Gottlob
1997 J jnl
Disjunctive Datalog.
ACM Trans. Database Syst.
Thomas Eiter, Georg Gottlob, Heikki Mannila
1997 J jnl
Distance Measures for Point Sets and their Computation.
Acta Informatica
Thomas Eiter, Heikki Mannila
1997 J jnl
Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions.
J. Log. Program.
Thomas Eiter, Georg Gottlob
1997 — conf
Generalized Quantifiers in Logic Programs.
ESSLLI
Thomas Eiter, Georg Gottlob, Helmut Veith
1997 B conf
Modular Logic Programming and Generalized Quantifiers.
LPNMR
Thomas Eiter, Georg Gottlob, Helmut Veith
1997 J jnl
On the Indiscernibility of Individuals in Logic Programming.
J. Log. Comput.
Thomas Eiter, Georg Gottlob, Nicola Leone
1997 J jnl
On the Partial Semantics for Disjunctive Deductive Databases.
Ann. Math. Artif. Intell.
Thomas Eiter, Nicola Leone, Domenico Saccà
1997 J jnl
Semantics and Complexity of Abduction from Default Theories.
Artif. Intell.
Thomas Eiter, Georg Gottlob, Nicola Leone
1997 — conf
The Architecture of a Disjunctive Deductive Database System.
APPIA-GULP-PRODE
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1997 B conf
The Complexity Class Theta
FCT
Thomas Eiter, Georg Gottlob
1997 — conf
The dlv System: Model Generator and Advanced Frontends (system description).
WLP
Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1997 B conf
Two-Face Horn Extensions.
ISAAC
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
1996 J jnl
Mächtigkeit von Logikprogrammierung über Datenbanken.
Künstliche Intell.
Thomas Eiter, Georg Gottlob
1996 J jnl
Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems.
Ann. Pure Appl. Log.
Thomas Eiter, Georg Gottlob, Yuri Gurevich
1996 C conf
Partial Semantics for Disjunctive Deductive Databases.
DEXA
Thomas Eiter, Nicola Leone, Domenico Saccà
1996 J jnl
Querying Disjunctive Databases Through Nonmonotonic Logics.
Theor. Comput. Sci.
Piero A. Bonatti, Thomas Eiter
1996 J jnl
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions.
J. Comput. Syst. Sci.
Thomas Eiter, Georg Gottlob
1996 — conf
The Expressive Power of Partial Models in Disjunctive Deductive Databases.
Logic in Databases
Thomas Eiter, Nicola Leone, Domenico Saccà
1996 — conf
Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases.
APPIA-GULP-PRODE
Thomas Eiter, Nicola Leone, Domenico Saccà
1995 B conf
Complexity Results for Abductive Logic Programming.
LPNMR
Thomas Eiter, Georg Gottlob, Nicola Leone
1995 J jnl
Generating Boolean mu-Expressions.
Acta Informatica
Thomas Eiter
1995 J jnl
Identifying the Minimal Transversals of a Hypergraph and Related Problems.
SIAM J. Comput.
Thomas Eiter, Georg Gottlob
1995 — conf
On Modularity Properties of Partial Semantics for Disjunctive Logic Programs.
WLP
Thomas Eiter, Nicola Leone
1995 J jnl
On the Computational Cost of Disjunctive Logic Programming: Propositional Case.
Ann. Math. Artif. Intell.
Thomas Eiter, Georg Gottlob
1995 A conf
Querying Disjunctive Database Through Nonmonotonic Logics.
ICDT
Piero A. Bonatti, Thomas Eiter
1995 J jnl
Recognizing Renamable Generalized Propositional Horn Formulas Is NP-complete.
Discret. Appl. Math.
Thomas Eiter, Pekka Kilpeläinen, Heikki Mannila
1995 A* conf
Semantics and Complexity of Abduction from Default Theories.
IJCAI (1)
Thomas Eiter, Georg Gottlob, Nicola Leone
1995 J jnl
The Complexity of Logic-Based Abduction.
J. ACM
Thomas Eiter, Georg Gottlob
1994 A* conf
Adding Disjunction to Datalog.
PODS
Thomas Eiter, Georg Gottlob, Heikki Mannila
1994 A* conf
Default Logic as a Query Language.
KR
Marco Cadoli, Thomas Eiter, Georg Gottlob
1994 — conf
Disjunctive Logic Programming over Finite Structures.
GI Jahrestagung
Thomas Eiter, Georg Gottlob, Heikki Mannila
1994 J jnl
Exact Transversal Hypergraphs and Application to Boolean µ-Functions.
J. Symb. Comput.
Thomas Eiter
1994 — conf
Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics.
IS/KI
Thomas Eiter, Georg Gottlob, Heikki Mannila
1993 A* conf
Complexity Aspects of Various Semantics for Disjunctive Databases.
PODS
Thomas Eiter, Georg Gottlob
1993 — conf
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics.
ILPS
Thomas Eiter, Georg Gottlob
1993 A* conf
Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information.
IJCAI
Thomas Eiter, Georg Gottlob, Yuri Gurevich
1993 J jnl
Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete.
Theor. Comput. Sci.
Thomas Eiter, Georg Gottlob
1993 A conf
The Complexity of Logic-Based Abduction.
STACS
Thomas Eiter, Georg Gottlob
1993 A* conf
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions.
IJCAI
Thomas Eiter, Georg Gottlob
1992 J jnl
An Efficient Method for Eliminating Varying Predicates from a Circumscription.
Artif. Intell.
Marco Cadoli, Thomas Eiter, Georg Gottlob
1992 — conf
Complexity Results for Logic-Based Abduction.
Structural Complexity and Recursion-theoretic methods in Logic-Programming
Thomas Eiter, Georg Gottlob
1992 — conf
Complexity of Propositional Knowledge Base Revision.
CNKBS
Thomas Eiter, Georg Gottlob
1992 A* conf
On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals.
PODS
Thomas Eiter, Georg Gottlob
1992 J jnl
On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals.
Artif. Intell.
Thomas Eiter, Georg Gottlob
1992 J jnl
Reasoning with parsimonious and moderately grounded expansions.
Fundam. Informaticae
Thomas Eiter, Georg Gottlob
1991 J jnl
Sperrverfahren für B-Bäume im Vergleich.
Inform. Spektrum
Thomas Eiter, Michael Schrefl, Markus Stumptner