Thomas Eiter

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 126

Top Venues

CoRR

Theory Pract. Log. Program.

IJCAI

Artif. Intell.

Publications

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
Grounding Stream Reasoning Research. TGDK 2 (1) (2024)
Thomas Eiter, Markus Hecher, Rafael Kiesel
aspmc: New frontiers of algebraic answer set counting. Artif. Intell. 330 (2024)
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM. Theory Pract. Log. Program. 24 (2) (2024)
Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova
Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures. ICLP Workshops (2023)
Yisong Wang, Thomas Eiter, Yuanlin Zhang, Fangzhen Lin
Witnesses for Answer Sets of Logic Programs. ACM Trans. Comput. Log. 24 (2) (2023)
Thomas Eiter, Tobias Geibinger
Explaining Answer-Set Programs with Abstract Constraint Atoms. IJCAI (2023)
Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch
A Modular Neurosymbolic Approach for Visual Graph Question Answering. NeSy (2023)
Rafael Kiesel, Thomas Eiter
Knowledge Compilation and More with SharpSAT-TD. KR (2023)
Thomas Eiter, Rafael Kiesel
Semiring Reasoning Frameworks in AI and Their Computational Complexity. J. Artif. Intell. Res. 77 (2023)
Thomas Eiter, Tobias Geibinger, Nelson Higuera, Johannes Oetsch
A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering. IJCAI (2023)
Christian Hatschka, Agata Ciabattoni, Thomas Eiter
Deontic Paradoxes in ASP with Weak Constraints. CoRR (2023)
Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova
Contextual Reasoning for Scene Generation (Technical Report). CoRR (2023)
Thomas Eiter, Tobias Geibinger, Johannes Oetsch
Contrastive Explanations for Answer-Set Programs. JELIA (2023)
Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II. Theory Pract. Log. Program. 23 (1) (2023)
Davide Soldà, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter
Progression for Monitoring in Temporal ASP. ECAI (2023)
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. Theory Pract. Log. Program. 23 (6) (2023)
Thomas Eiter
Hybrid Answer Set Programming: Opportunities and Challenges (Joint DL+NMR Invited Talk Abstract). Description Logics (2022)
Thomas Eiter, Patrik Schneider
A Qualitative Temporal Extension of Here-and-There Logic. LPNMR (2022)
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova
Large-Neighbourhood Search for Optimisation in Answer-Set Solving. AAAI (2022)
Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP. Theory Pract. Log. Program. 22 (6) (2022)
Jacopo Urbani, Markus Krötzsch, Thomas Eiter
Chasing Streams with Existential Rules. CoRR (2022)
Anh Le-Tuan, Manh Nguyen Duc, Chien-Quang Le, Trung-Kien Tran, Manfred Hauswirth, Thomas Eiter, Danh Le Phuoc
CQELS 2.0: Towards A Unified Framework for Semantic Stream Fusion. CoRR (2022)
Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch, Michael Pritz
A Neuro-Symbolic ASP Pipeline for Visual Question Answering. CoRR (2022)
Loris Bozzato, Thomas Eiter, Luciano Serafini
Reasoning on with Defeasibility in ASP. Theory Pract. Log. Program. 22 (2) (2022)
Jacopo Urbani, Markus Krötzsch, Thomas Eiter
Chasing Streams with Existential Rules. KR (2022)
Thomas Eiter
Hybrid Answer Set Programming: Opportunities and Challenges. NMR (2022)
Zeynep Gözen Saribatur, Thomas Eiter, Peter Schüller
Abstraction for Non-Ground Answer Set Programs (Extended Abstract). IJCAI (2022)
Loris Bozzato, Thomas Eiter, Rafael Kiesel
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract). Description Logics (2022)
Thomas Eiter, Nelson Higuera, Johannes Oetsch, Michael Pritz
A Neuro-Symbolic ASP Pipeline for Visual Question Answering. Theory Pract. Log. Program. 22 (5) (2022)
Yi-Dong Shen, Thomas Eiter
Considering Constraint Monotonicity and Foundedness in Answer Set Programming. IJCAI (2022)
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser. KR (2022)
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovsky, Daria Stepanova
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. CoRR (2022)
Thomas Eiter, Aaron Hunter, François Schwarzentruber
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements. IJCAI (2021)
Loris Bozzato, Thomas Eiter, Rafael Kiesel
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. CoRR (2021)
Thomas Eiter, Ryutaro Ichise, Josiane Xavier Parreira, Patrik Schneider, Lihua Zhao
Deploying spatial-stream query answering in C-ITS scenarios. Semantic Web 12 (1) (2021)
Thomas Eiter, Rafael Kiesel
On the Complexity of Sum-of-Products Problems over Semirings. AAAI (2021)
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. KR (2021)
Loris Bozzato, Thomas Eiter, Luciano Serafini
with Defeasibility in ASP. CoRR (2021)
Thomas Eiter, Markus Hecher, Rafael Kiesel
aspmc: An Algebraic Answer Set Counter. ICLP Workshops (2021)
Zeynep Gözen Saribatur, Thomas Eiter
Omission-Based Abstraction for Answer Set Programs. Theory Pract. Log. Program. 21 (2) (2021)
Zeynep Gozen Saribatur, Thomas Eiter, Peter Schüller
Abstraction for non-ground answer set programs. Artif. Intell. 300 (2021)
Danh Le Phuoc, Thomas Eiter, Anh Lê Tuán
A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion. AAAI (2021)
Loris Bozzato, Thomas Eiter, Rafael Kiesel
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. Theory Pract. Log. Program. 21 (5) (2021)
Thomas Eiter, Markus Hecher, Rafael Kiesel
Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. KR (2021)
Zeynep Gözen Saribatur, Thomas Eiter
Omission-based Abstraction for Answer Set Programs - ERRATUM. Theory Pract. Log. Program. 21 (2) (2021)
Thomas Eiter, Tobias Kaminski
Pruning external minimality checking for answer set programs using semantic dependencies. Artif. Intell. 290 (2021)
Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin
Managing caching strategies for stream reasoning with reinforcement learning. CoRR (2020)
Thomas Eiter, Rafael Kiesel
Weighted LARS for Quantitative Stream Reasoning. ECAI (2020)
Thomas Eiter, Andreas A. Falkner, Patrik Schneider, Peter Schüller
ASP-Based Signal Plan Adjustments for Traffic Flow Optimization. ECAI (2020)
Yi-Dong Shen, Thomas Eiter
Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract). IJCAI (2020)
Thomas Eiter, Marco Maratea, Mauro Vallati
Preface. Fundam. Informaticae 174 (3-4) (2020)
Zeynep Gözen Saribatur, Thomas Eiter
Omission-based Abstraction for Answer Set Programs. CoRR (2020)
Thomas Eiter, Rafael Kiesel
ASP(AC): Answer Set Programming with Algebraic Constraints. CoRR (2020)
Loris Bozzato, Luciano Serafini, Thomas Eiter
Reasoning with Justifiable Exceptions in Contextual Hierarchies. ECAI (2020)
Danh Le Phuoc, Thomas Eiter
An Adaptive Semantic Stream Reasoning Framework for Deep Neural Networks. CIKM (Workshops) (2020)
Yi-Dong Shen, Thomas Eiter
Constraint Monotonicity, Epistemic Splitting and Foundedness Are Too Strong in Answer Set Programming. CoRR (2020)
Zeynep Gözen Saribatur, Thomas Eiter
A Semantic Perspective on Omission Abstraction in ASP. KR (2020)
Alexander Artikis, Thomas Eiter, Alessandro Margara, Stijn Vansummeren
Dagstuhl Seminar on the Foundations of Composite Event Recognition. SIGMOD Rec. 49 (4) (2020)
Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin
Managing caching strategies for stream reasoning with reinforcement learning. Theory Pract. Log. Program. 20 (5) (2020)
Thomas Eiter, Rafael Kiesel
ASP(𝓐𝒞): Answer Set Programming with Algebraic Constraints. Theory Pract. Log. Program. 20 (6) (2020)
Alexander Artikis, Thomas Eiter, Alessandro Margara, Stijn Vansummeren
Foundations of Composite Event Recognition (Dagstuhl Seminar 20071). Dagstuhl Reports 10 (2) (2020)
Daniele Dell'Aglio, Thomas Eiter, Fredrik Heintz, Danh Le Phuoc
Special issue on stream reasoning. Semantic Web 10 (3) (2019)
Thomas Eiter, Tobias Kaminski
Pruning External Minimality Checking for ASP Using Semantic Dependencies. LPNMR (2019)
Yi-Dong Shen, Thomas Eiter
Determining inference semantics for disjunctive logic programs. Artif. Intell. 277 (2019)
Thomas Eiter, Herbert Füreder, Fritz Kasslatter, Josiane Xavier Parreira, Patrik Schneider
Towards a Semantically Enriched Local Dynamic Map. Int. J. Intell. Transp. Syst. Res. 17 (1) (2019)
Thomas Eiter, Gabriele Kern-Isberner
A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective. Künstliche Intell. 33 (1) (2019)
Thomas Eiter, Paul Ogris, Konstantin Schekotihin
A Distributed Approach to LARS Stream Reasoning (System paper). CoRR (2019)
Thomas Eiter, Paul Ogris, Konstantin Schekotihin
A Distributed Approach to LARS Stream Reasoning (System paper). Theory Pract. Log. Program. 19 (5-6) (2019)
Loris Bozzato, Thomas Eiter, Luciano Serafini
A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility. Description Logics (2019)
Thomas Eiter, Zeynep Gözen Saribatur, Peter Schüller
Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems. CoRR (2019)
Loris Bozzato, Thomas Eiter, Luciano Serafini
Justifiable Exceptions in General Contextual Hierarchies. CONTEXT (2019)
Zeynep Gozen Saribatur, Peter Schüller, Thomas Eiter
Abstraction for Non-ground Answer Set Programs. JELIA (2019)
Loris Bozzato, Thomas Eiter, Luciano Serafini
with Defeasibility. CoRR (2019)
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Meta-Interpretive Learning Using HEX-Programs. IJCAI (2019)
Loris Bozzato, Thomas Eiter, Luciano Serafini
ℒ_\bot Contextualized Knowledge Repositories. Description Logic, Theory Combination, and All That (2019)
Loris Bozzato, Thomas Eiter, Luciano Serafini
Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASP. RuleML+RR (2019)
Thomas Eiter, Ryutaro Ichise, Josiane Xavier Parreira, Patrik Schneider, Lihua Zhao
Deploying Spatial-Stream Query Answering in C-ITS Scenarios. EKAW (2018)
Thomas Eiter, Antonius Weinzierl
Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract). IJCAI (2018)
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. CoRR (2018)
Thomas Eiter, Gerhard Friedrich, Richard Taupe, Antonius Weinzierl
Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP. Künstliche Intell. 32 (2-3) (2018)
Harald Beck, Minh Dao-Tran, Thomas Eiter
LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract). SOFSEM (2018)
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. J. Artif. Intell. Res. 62 (2018)
Loris Bozzato, Luciano Serafini, Thomas Eiter
Reasoning with Justifiable Exceptions in Contextual Hierarchies. KR (2018)
Loris Bozzato, Luciano Serafini, Thomas Eiter
Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix). CoRR (2018)
Zeynep Gözen Saribatur, Thomas Eiter
Omission-Based Abstraction for Answer Set Programs. KR (2018)
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. Theory Pract. Log. Program. 18 (3-4) (2018)
Zeynep Gozen Saribatur, Thomas Eiter
Towards Abstraction in ASP with an Application on Reasoning about Agent Policies. CoRR (2018)
Thomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon D. Plotkin, Natarajan Shankar
Alonzo Church Award 2018 - Call for Nominations. Bull. EATCS 124 (2018)
Harald Beck, Minh Dao-Tran, Thomas Eiter, Christian Folie
Stream Reasoning with LARS. Künstliche Intell. 32 (2-3) (2018)
Loris Bozzato, Thomas Eiter, Luciano Serafini
Enhancing context knowledge repositories with justifiable exceptions. Artif. Intell. 257 (2018)
Loris Bozzato, Thomas Eiter, Luciano Serafini
Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract). IJCAI (2018)
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
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. KI (2018)
Harald Beck, Minh Dao-Tran, Thomas Eiter
LARS: A Logic-based framework for Analytic Reasoning over Streams. Artif. Intell. 261 (2018)
Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
The DLVHEX System. Künstliche Intell. 32 (2-3) (2018)
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin
Stream reasoning-based control of caching strategies in CCN routers. ICC (2017)
Thomas Eiter, Antonius Weinzierl
Preference-Based Inconsistency Management in Multi-Context Systems. J. Artif. Intell. Res. 60 (2017)
Thomas Eiter, Tobias Kaminski, Antonius Weinzierl
Lazy-Grounding for Answer Set Programs with External Source Access. IJCAI (2017)
Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider
Spatial Ontology-Mediated Query Answering over Mobility Streams. ESWC (1) (2017)
Zeynep Gozen Saribatur, Chitta Baral, Thomas Eiter
Reactive Maintenance Policies over Equalized States in Dynamic Environments. EPIA (2017)
Minh Dao-Tran, Thomas Eiter
Streaming Multi-Context Systems. IJCAI (2017)

Thomas Eiter.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Eiter