Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThomas Eiter
Person information
- affiliation: TU Wien, Vienna, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j140]Thomas Eiter
, Rafael Kiesel:
Semiring Reasoning Frameworks in AI and Their Computational Complexity. J. Artif. Intell. Res. 77: 207-293 (2023)- [j139]Yisong Wang, Thomas Eiter, Yuanlin Zhang, Fangzhen Lin:
Witnesses for Answer Sets of Logic Programs. ACM Trans. Comput. Log. 24(2): 15:1-15:46 (2023) - [j138]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): 1 (2023) - [c278]Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova:
Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures. ICLP Workshops 2023 - [c277]Thomas Eiter, Tobias Geibinger:
Explaining Answer-Set Programs with Abstract Constraint Atoms. IJCAI 2023: 3193-3202 - [c276]Thomas Eiter, Tobias Geibinger, Nelson Higuera, Johannes Oetsch:
A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering. IJCAI 2023: 3668-3676 - [c275]Rafael Kiesel, Thomas Eiter:
Knowledge Compilation and More with SharpSAT-TD. KR 2023: 406-416 - [c274]Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch:
A Modular Neurosymbolic Approach for Visual Graph Question Answering. NeSy 2023: 139-149 - [e19]David Scott Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert A. Kowalski, Francesca Rossi:
Prolog: The Next 50 Years. Lecture Notes in Computer Science 13900, Springer 2023, ISBN 978-3-031-35253-9 [contents] - [i49]Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova:
Contextual Reasoning for Scene Generation (Technical Report). CoRR abs/2305.02255 (2023) - [i48]Christian Hatschka, Agata Ciabattoni, Thomas Eiter:
Deontic Paradoxes in ASP with Weak Constraints. CoRR abs/2308.15870 (2023) - 2022
- [j137]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning on with Defeasibility in ASP. Theory Pract. Log. Program. 22(2): 254-304 (2022) - [j136]Thomas Eiter, Nelson Higuera, Johannes Oetsch, Michael Pritz:
A Neuro-Symbolic ASP Pipeline for Visual Question Answering. Theory Pract. Log. Program. 22(5): 739-754 (2022) - [j135]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): 770-775 (2022) - [c273]Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova:
Large-Neighbourhood Search for Optimisation in Answer-Set Solving. AAAI 2022: 5616-5625 - [c272]Loris Bozzato, Thomas Eiter, Rafael Kiesel:
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract). Description Logics 2022 - [c271]Thomas Eiter:
Hybrid Answer Set Programming: Opportunities and Challenges (Joint DL+NMR Invited Talk Abstract). Description Logics 2022 - [c270]Yi-Dong Shen, Thomas Eiter:
Considering Constraint Monotonicity and Foundedness in Answer Set Programming. IJCAI 2022: 2741-2747 - [c269]Zeynep Gözen Saribatur, Thomas Eiter, Peter Schüller:
Abstraction for Non-Ground Answer Set Programs (Extended Abstract). IJCAI 2022: 5767-5771 - [c268]Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova:
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser. KR 2022 - [c267]Jacopo Urbani, Markus Krötzsch, Thomas Eiter:
Chasing Streams with Existential Rules. KR 2022 - [c266]Thomas Eiter, Patrik Schneider:
A Qualitative Temporal Extension of Here-and-There Logic. LPNMR 2022: 159-176 - [c265]Thomas Eiter:
Hybrid Answer Set Programming: Opportunities and Challenges. NMR 2022: 1 - [i47]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 abs/2202.13958 (2022) - [i46]Jacopo Urbani, Markus Krötzsch, Thomas Eiter:
Chasing Streams with Existential Rules. CoRR abs/2205.02220 (2022) - [i45]Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch, Michael Pritz:
A Neuro-Symbolic ASP Pipeline for Visual Question Answering. CoRR abs/2205.07548 (2022) - [i44]Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovsky, Daria Stepanova:
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. CoRR abs/2212.09077 (2022) - 2021
- [j134]Thomas Eiter, Tobias Kaminski:
Pruning external minimality checking for answer set programs using semantic dependencies. Artif. Intell. 290: 103402 (2021) - [j133]Zeynep Gozen Saribatur, Thomas Eiter, Peter Schüller:
Abstraction for non-ground answer set programs. Artif. Intell. 300: 103563 (2021) - [j132]Thomas Eiter, Ryutaro Ichise, Josiane Xavier Parreira, Patrik Schneider, Lihua Zhao:
Deploying spatial-stream query answering in C-ITS scenarios. Semantic Web 12(1): 41-77 (2021) - [j131]Zeynep Gözen Saribatur, Thomas Eiter:
Omission-Based Abstraction for Answer Set Programs. Theory Pract. Log. Program. 21(2): 145-195 (2021) - [j130]Zeynep Gözen Saribatur, Thomas Eiter:
Omission-based Abstraction for Answer Set Programs - ERRATUM. Theory Pract. Log. Program. 21(2): 292 (2021) - [j129]Loris Bozzato, Thomas Eiter, Rafael Kiesel:
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. Theory Pract. Log. Program. 21(5): 593-609 (2021) - [c264]Danh Le Phuoc, Thomas Eiter, Anh Lê Tuán:
A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion. AAAI 2021: 4996-5005 - [c263]Thomas Eiter, Rafael Kiesel:
On the Complexity of Sum-of-Products Problems over Semirings. AAAI 2021: 6304-6311 - [c262]Thomas Eiter, Markus Hecher, Rafael Kiesel:
aspmc: An Algebraic Answer Set Counter. ICLP Workshops 2021 - [c261]Thomas Eiter, Aaron Hunter, François Schwarzentruber:
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements. IJCAI 2021: 1866-1872 - [c260]Thomas Eiter, Markus Hecher, Rafael Kiesel:
Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. KR 2021: 269-279 - [c259]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: 280-290 - [i43]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning on DL-LiteR with Defeasibility in ASP. CoRR abs/2106.14801 (2021) - [i42]Loris Bozzato, Thomas Eiter, Rafael Kiesel:
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. CoRR abs/2108.03100 (2021) - 2020
- [j128]Thomas Eiter, Marco Maratea, Mauro Vallati:
Preface. Fundam. Informaticae 174(3-4) (2020) - [j127]Alexander Artikis, Thomas Eiter, Alessandro Margara, Stijn Vansummeren:
Dagstuhl Seminar on the Foundations of Composite Event Recognition. SIGMOD Rec. 49(4): 24-27 (2020) - [j126]Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin:
Managing caching strategies for stream reasoning with reinforcement learning. Theory Pract. Log. Program. 20(5): 625-640 (2020) - [j125]Thomas Eiter, Rafael Kiesel:
ASP(𝓐𝒞): Answer Set Programming with Algebraic Constraints. Theory Pract. Log. Program. 20(6): 895-910 (2020) - [c258]Danh Le Phuoc, Thomas Eiter:
An Adaptive Semantic Stream Reasoning Framework for Deep Neural Networks. CIKM (Workshops) 2020 - [c257]Thomas Eiter, Rafael Kiesel:
Weighted LARS for Quantitative Stream Reasoning. ECAI 2020: 729-736 - [c256]Loris Bozzato, Luciano Serafini, Thomas Eiter:
Reasoning with Justifiable Exceptions in Contextual Hierarchies. ECAI 2020: 2889-2890 - [c255]Thomas Eiter, Andreas A. Falkner, Patrik Schneider, Peter Schüller:
ASP-Based Signal Plan Adjustments for Traffic Flow Optimization. ECAI 2020: 3026-3033 - [c254]Yi-Dong Shen, Thomas Eiter:
Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract). IJCAI 2020: 5040-5044 - [c253]Zeynep Gözen Saribatur, Thomas Eiter:
A Semantic Perspective on Omission Abstraction in ASP. KR 2020: 733-737 - [i41]Zeynep Gözen Saribatur, Thomas Eiter:
Omission-based Abstraction for Answer Set Programs. CoRR abs/2004.01410 (2020) - [i40]Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin:
Managing caching strategies for stream reasoning with reinforcement learning. CoRR abs/2008.03212 (2020) - [i39]Thomas Eiter, Rafael Kiesel:
ASP(AC): Answer Set Programming with Algebraic Constraints. CoRR abs/2008.04008 (2020) - [i38]Yi-Dong Shen, Thomas Eiter:
Constraint Monotonicity, Epistemic Splitting and Foundedness Are Too Strong in Answer Set Programming. CoRR abs/2010.00191 (2020) - [i37]Alexander Artikis, Thomas Eiter, Alessandro Margara, Stijn Vansummeren:
Foundations of Composite Event Recognition (Dagstuhl Seminar 20071). Dagstuhl Reports 10(2): 19-49 (2020)
2010 – 2019
- 2019
- [j124]Yi-Dong Shen, Thomas Eiter:
Determining inference semantics for disjunctive logic programs. Artif. Intell. 277 (2019) - [j123]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): 32-48 (2019) - [j122]Thomas Eiter, Gabriele Kern-Isberner:
A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective. Künstliche Intell. 33(1): 9-33 (2019) - [j121]Daniele Dell'Aglio, Thomas Eiter, Fredrik Heintz, Danh Le Phuoc:
Special issue on stream reasoning. Semantic Web 10(3): 453-455 (2019) - [j120]Thomas Eiter, Paul Ogris, Konstantin Schekotihin:
A Distributed Approach to LARS Stream Reasoning (System paper). Theory Pract. Log. Program. 19(5-6): 974-989 (2019) - [c252]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning with Justifiable Exceptions in Eℒ_\bot Contextualized Knowledge Repositories. Description Logic, Theory Combination, and All That 2019: 110-134 - [c251]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Justifiable Exceptions in General Contextual Hierarchies. CONTEXT 2019: 26-39 - [c250]Loris Bozzato, Thomas Eiter, Luciano Serafini:
A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility. Description Logics 2019 - [c249]Tobias Kaminski, Thomas Eiter, Katsumi Inoue:
Meta-Interpretive Learning Using HEX-Programs. IJCAI 2019: 6186-6190 - [c248]Zeynep Gozen Saribatur, Peter Schüller, Thomas Eiter:
Abstraction for Non-ground Answer Set Programs. JELIA 2019: 576-592 - [c247]Thomas Eiter, Tobias Kaminski:
Pruning External Minimality Checking for ASP Using Semantic Dependencies. LPNMR 2019: 326-339 - [c246]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASP. RuleML+RR 2019: 19-35 - [i36]Loris Bozzato, Thomas Eiter, Luciano Serafini:
A Note on Reasoning on DL-LiteR with Defeasibility. CoRR abs/1905.09221 (2019) - [i35]Thomas Eiter, Paul Ogris, Konstantin Schekotihin:
A Distributed Approach to LARS Stream Reasoning (System paper). CoRR abs/1907.12344 (2019) - [i34]Thomas Eiter, Zeynep Gözen Saribatur, Peter Schüller:
Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems. CoRR abs/1909.04998 (2019) - 2018
- [j119]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Enhancing context knowledge repositories with justifiable exceptions. Artif. Intell. 257: 72-126 (2018) - [j118]Harald Beck, Minh Dao-Tran, Thomas Eiter:
LARS: A Logic-based framework for Analytic Reasoning over Streams. Artif. Intell. 261: 16-70 (2018) - [j117]Thomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon D. Plotkin, Natarajan Shankar:
Alonzo Church Award 2018 - Call for Nominations. Bull. EATCS 124 (2018) - [j116]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: 665-727 (2018) - [j115]Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl:
The DLVHEX System. Künstliche Intell. 32(2-3): 187-189 (2018) - [j114]Harald Beck, Minh Dao-Tran, Thomas Eiter, Christian Folie:
Stream Reasoning with LARS. Künstliche Intell. 32(2-3): 193-195 (2018) - [j113]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): 197-198 (2018) - [j112]Tobias Kaminski, Thomas Eiter, Katsumi Inoue:
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. Theory Pract. Log. Program. 18(3-4): 571-588 (2018) - [c245]Thomas Eiter, Ryutaro Ichise, Josiane Xavier Parreira, Patrik Schneider, Lihua Zhao:
Deploying Spatial-Stream Query Answering in C-ITS Scenarios. EKAW 2018: 386-406 - [c244]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract). IJCAI 2018: 5568-5572 - [c243]Thomas Eiter, Antonius Weinzierl:
Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract). IJCAI 2018: 5593-5597 - [c242]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: 357-365 - [c241]Zeynep Gözen Saribatur, Thomas Eiter:
Omission-Based Abstraction for Answer Set Programs. KR 2018: 42-51 - [c240]Loris Bozzato, Luciano Serafini, Thomas Eiter:
Reasoning with Justifiable Exceptions in Contextual Hierarchies. KR 2018: 329-338 - [c239]Harald Beck, Minh Dao-Tran, Thomas Eiter:
LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract). SOFSEM 2018: 87-93 - [r1]Alessandra Mileo, Minh Dao-Tran, Thomas Eiter, Michael Fink:
Stream Reasoning. Encyclopedia of Database Systems (2nd ed.) 2018 - [i33]Tobias Kaminski, Thomas Eiter, Katsumi Inoue:
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. CoRR abs/1805.00068 (2018) - [i32]Loris Bozzato, Luciano Serafini, Thomas Eiter:
Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix). CoRR abs/1808.01874 (2018) - [i31]Zeynep Gozen Saribatur, Thomas Eiter:
Towards Abstraction in ASP with an Application on Reasoning about Agent Policies. CoRR abs/1809.06638 (2018) - 2017
- [j111]Thomas Eiter, Antonius Weinzierl:
Preference-Based Inconsistency Management in Multi-Context Systems. J. Artif. Intell. Res. 60: 347-424 (2017) - [j110]Harald Beck, Thomas Eiter, Christian Folie:
Ticker: A system for incremental ASP-based stream reasoning. Theory Pract. Log. Program. 17(5-6): 744-763 (2017) - [c238]Zeynep Gozen Saribatur, Chitta Baral, Thomas Eiter:
Reactive Maintenance Policies over Equalized States in Dynamic Environments. EPIA 2017: 709-723 - [c237]Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider:
Spatial Ontology-Mediated Query Answering over Mobility Streams. ESWC (1) 2017: 219-237 - [c236]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: 1-6 - [c235]Minh Dao-Tran, Thomas Eiter:
Streaming Multi-Context Systems. IJCAI 2017: 1000-1007 - [c234]Thomas Eiter, Tobias Kaminski, Antonius Weinzierl:
Lazy-Grounding for Answer Set Programs with External Source Access. IJCAI 2017: 1015-1022 - [c233]Yi-Dong Shen, Thomas Eiter:
Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract). IJCAI 2017: 5060-5064 - [c232]Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl:
Answer Set Programming with External Source Access. Reasoning Web 2017: 204-275 - [c231]Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider:
Detecting Mobility Patterns using Spatial Query Answering over Streams. WSP/WOMoCoE@ISWC 2017: 17-32 - [e18]Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov:
IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing 1, EasyChair 2017 [contents] - [e17]Thomas Eiter, David Sands:
LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017. EPiC Series in Computing 46, EasyChair 2017 [contents] - [e16]Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao:
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures. Lecture Notes in Computer Science 9885, Springer 2017, ISBN 978-3-319-49492-0 [contents] - [e15]Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Markus Krötzsch, Maria Maleshkova, Ruben Verborgh, Federico M. Facca, Michael Mrissa:
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. CEUR Workshop Proceedings 1783, CEUR-WS.org 2017 [contents] - [e14]Daniele Dell'Aglio, Darko Anicic, Payam M. Barnaghi, Emanuele Della Valle, Deborah L. McGuinness, Loris Bozzato, Thomas Eiter, Martin Homola, Daniele Porello:
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. CEUR Workshop Proceedings 1936, CEUR-WS.org 2017 [contents] - [i30]Harald Beck, Thomas Eiter, Christian Folie:
Ticker: A System for Incremental ASP-based Stream Reasoning. CoRR abs/1707.05304 (2017) - 2016
- [j109]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Domain expansion for ASP-programs with external sources. Artif. Intell. 233: 84-121 (2016) - [j108]Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone, João Moura:
Semi-equilibrium models for paracoherent answer set programs. Artif. Intell. 234: 219-271 (2016) - [j107]Yi-Dong Shen, Thomas Eiter:
Evaluating epistemic negation in answer set programming. Artif. Intell. 237: 115-135 (2016) - [j106]Thomas Eiter, Michael Fink, Daria Stepanova:
Data repair of inconsistent nonmonotonic description logic programs. Artif. Intell. 239: 7-53 (2016) - [j105]Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski:
Answer Set Programming: An Introduction to the Special Issue. AI Mag. 37(3): 5-6 (2016) - [j104]Thomas Eiter, Richard Zach:
Helmut Veith (1971-2016). Bull. EATCS 119 (2016) - [j103]Thomas Eiter, Thomas Krennwallner, Matthias Prandtstetter, Christian Rudloff, Patrik Schneider, Markus Straub:
Semantically Enriched Multi-Modal Routing. Int. J. Intell. Transp. Syst. Res. 14(1): 20-35 (2016) - [j102]Thomas Eiter, Michael Fink, Daria Stepanova:
Computing Repairs of Inconsistent DL-Programs over EL Ontologies. J. Artif. Intell. Res. 56: 463-515 (2016) - [j101]Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller:
A model building framework for answer set programming with external computations. Theory Pract. Log. Program. 16(4): 418-464 (2016) - [c230]Thomas Eiter, Christoph Redl, Peter Schüller:
Problem Solving Using the HEX Family. Computational Models of Rationality 2016: 150-174 - [c229]Andreas Moßburger, Harald Beck, Minh Dao-Tran, Thomas Eiter:
A Benchmarking Framework for Stream Processors. EKAW (Satellite Events) 2016: 153-157 - [c228]Thomas Eiter:
Artificial intelligence at the gates of dawn? GI-Jahrestagung 2016: 37-38 - [c227]Harald Beck, Minh Dao-Tran, Thomas Eiter:
Equivalent Stream Reasoning Programs. IJCAI 2016: 929-935 - [c226]