Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarThomas 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
- 2020
[c253]Yi-Dong Shen, Thomas Eiter:
Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract). IJCAI 2020: 5040-5044- [i37]Zeynep Gözen Saribatur, Thomas Eiter:
Omission-based Abstraction for Answer Set Programs. CoRR abs/2004.01410 (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 Magazine 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]Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl:
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. IJCAI 2016: 1058-1065 - [c225]Thomas Eiter, Tobias Kaminski:
Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects. JELIA 2016: 223-239 - [c224]Zeynep Gozen Saribatur, Thomas Eiter:
Reactive Policies with Planning for Action Languages. JELIA 2016: 463-480 - [c223]Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin:
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks. JELIA 2016: 522-528 - [c222]Thomas Eiter, Thomas Lukasiewicz, Livia Predoiu:
Generalized Consistent Query Answering under Existential Rules. KR 2016: 359-368 - [c221]Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider:
Towards Spatial Ontology-Mediated Query Answering over Mobility Streams. SR+SWIT@ISWC 2016: 13-24 - [i29]Zeynep Gozen Saribatur, Thomas Eiter:
Reactive Policies with Planning for Action Languages. CoRR abs/1603.09495 (2016) - [i28]Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin:
Stream Reasoning-Based Control of Caching Strategies in CCN Routers. CoRR abs/1610.04005 (2016) - 2015
- [j100]Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Distributed Evaluation of Nonmonotonic Multi-context Systems. J. Artif. Intell. Res. 52: 543-600 (2015) - [j99]Thomas Eiter, Francesca Toni:
Introduction to the 31st International Conference on Logic Programming special issue. Theory Pract. Log. Program. 15(4-5): 413-418 (2015) - [c220]Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink:
LARS: A Logic-Based Framework for Analyzing Reasoning over Streams. AAAI 2015: 1431-1438 - [c219]Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran:
A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 1-16 - [c218]Thomas Eiter, Michael Fink, Antonius Weinzierl:
Preference-Based Diagnosis Selection in Multi-Context Systems. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 233-248 - [c217]Harald Beck, Minh Dao-Tran, Thomas Eiter:
Answer Update for Rule-Based Stream Reasoning. IJCAI 2015: 2741-2747 - [c216]Cristina Feier, Thomas Eiter:
Reasoning with Forest Logic Programs Using Fully Enriched Automata. JOWO@IJCAI 2015 - [c215]Minh Dao-Tran, Harald Beck, Thomas Eiter:
Contrasting RDF Stream Processing Semantics. JIST 2015: 289-298 - [c214]Minh Dao-Tran, Harald Beck, Thomas Eiter:
Towards Comparing RDF Stream Processing Semantics. HiDeSt@KI 2015: 15-27 - [c213]Thomas Eiter, Mantas Simkus:
Linking Open-World Knowledge Bases Using Nonmonotonic Rules. LPNMR 2015: 294-308 - [c212]Cristina Feier, Thomas Eiter:
Reasoning with Forest Logic Programs Using Fully Enriched Automata. LPNMR 2015: 346-353 - [c211]Thomas Eiter, Jeff Z. Pan, Patrik Schneider, Mantas Simkus, Guohui Xiao:
A Rule-based Framework for Creating Instance Data from OpenStreetMap. RR 2015: 93-104 - [e13]Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran:
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9060, Springer 2015, ISBN 978-3-319-14725-3 [contents] - [e12]Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni:
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015. CEUR Workshop Proceedings 1433, CEUR-WS.org 2015 [contents] - [i27]Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink:
Towards Ideal Semantics for Analyzing Stream Reasoning. CoRR abs/1505.05365 (2015) - [i26]Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller:
A model building framework for Answer Set Programming with external computations. CoRR abs/1507.01451 (2015) - 2014
- [j98]Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng:
FLP answer set semantics without circular justifications for general logic programs. Artif. Intell. 213: 1-41 (2014) - [j97]Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl:
Finding explanations of inconsistency in multi-context systems. Artif. Intell. 216: 233-274 (2014) - [j96]Diego Calvanese, Thomas Eiter, Magdalena Ortiz:
Answering regular path queries in expressive Description Logics via alternating tree-automata. Inf. Comput. 237: 12-55 (2014) - [j95]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller:
Efficient HEX-Program Evaluation Based on Unfounded Sets. J. Artif. Intell. Res. 49: 269-321 (2014) - [c210]Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova:
Exploiting Support Sets for Answer Set Programs with External Evaluations. AAAI 2014: 1041-1048 - [c209]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Defeasibility in Contextual Reasoning with CKR. CILC 2014: 132-146 - [c208]Loris Bozzato, Thomas Eiter, Luciano Serafini:
Contextualized Knowledge Repositories with Justifiable Exceptions. Description Logics 2014: 112-123 - [c207]Thomas Eiter, Michael Fink, Daria Stepanova:
Towards Practical Deletion Repair of Inconsistent DL-programs. Description Logics 2014: 169-180 - [c206]Thomas Eiter, Michael Fink, Daria Stepanova:
Towards Practical Deletion Repair of Inconsistent DL-programs. ECAI 2014: 285-290 - [c205]Thomas Eiter, Michael Fink, Daria Stepanova:
Computing Repairs for Inconsistent DL-programs over EL Ontologies. JELIA 2014: 426-441 - [c204]Giovanni Amendola, Thomas Eiter, Nicola Leone:
Modular Paracoherent Answer Sets. JELIA 2014: 457-471 - [c203]Matthias Baaz, Thomas Eiter, Helmut Veith:
Vienna Summer of Logic. KR 2014 - [c202]Thomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao:
Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners. ORE 2014: 51-57 - [e11]Chitta Baral, Giuseppe De Giacomo, Thomas Eiter:
Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press 2014, ISBN 978-1-57735-657-8 [contents] - 2013
- [j94]Thomas Eiter, Georg Gottlob:
Marco Cadoli's work on nonmonotonic reasoning. Intelligenza Artificiale 7(1): 7-17 (2013) - [j93]Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, Stefan Woltran:
Model-based recasting in answer-set programming. J. Appl. Non Class. Logics 23(1-2): 75-104 (2013) - [j92]Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink:
Finding similar/diverse solutions in answer set programming. Theory Pract. Log. Program. 13(3): 303-359 (2013) - [c201]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Liberal Safety for Answer Set Programs with External Sources. AAAI 2013 - [c200]Thomas Eiter, Thomas Krennwallner, Patrik Schneider:
Lightweight Spatial Conjunctive Query Answering Using Keywords. ESWC 2013: 243-258 - [c199]Thomas Eiter, Michael Fink, Daria Stepanova:
Data Repair of Inconsistent DL-Programs. IJCAI 2013: 869-876 - [c198]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
hex-Programs with Existential Quantification. KDPD 2013: 99-117 - [c197]Christian Antic, Thomas Eiter, Michael Fink:
Hex Semantics via Approximation Fixpoint Theory. LPNMR 2013: 102-115 - [c196]Thomas Eiter, Michael Fink, Daria Stepanova:
Inconsistency Management for Description Logic Programs and Beyond. RR 2013: 1-3 - [c195]Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen:
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. RR 2013: 168-182 - [e10]Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch:
Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. CEUR Workshop Proceedings 1014, CEUR-WS.org 2013 [contents] - [i25]Thomas Eiter, Thomas Lukasiewicz:
Causes and Explanations in the Structural-Model Approach: Tractable Cases. CoRR abs/1301.0566 (2013) - [i24]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller:
Eliminating Unfounded Set Checking for HEX-Programs. CoRR abs/1301.1390 (2013) - 2012
- [j91]Thomas Eiter, Magdalena Ortiz, Mantas Simkus:
Conjunctive query answering in the description logic SH using knots. J. Comput. Syst. Sci. 78(1): 47-85 (2012) - [j90]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Conflict-driven ASP solving with external sources. Theory Pract. Log. Program. 12(4-5): 659-679 (2012) - [c194]Harald Beck, Thomas Eiter, Thomas Krennwallner:
Inconsistency Management for Traffic Regulations. Semantic Cities @ AAAI 2012 - [c193]Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao:
Query Rewriting for Horn-SHIQ Plus Rules. AAAI 2012 - [c192]Thomas Eiter, Cristina Feier, Michael Fink:
Simulating Production Rules Using ACTHEX. Correct Reasoning 2012: 211-228 - [c191]Guohui Xiao, Thomas Eiter, Stijn Heymans:
The DReW System for Nonmonotonic DL-Programs. CSWS 2012: 383-390 - [c190]Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao:
Towards Practical Query Answering for Horn-SHIQ. Description Logics 2012 - [c189]Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao:
Uniform Evaluation of Nonmonotonic DL-Programs. FoIKS 2012: 1-22 - [c188]