Prefix title Titel (vorangestellt)
O.Univ.Prof. Dipl.-Ing. Dr.techn.
 
Full name Familienname, Vorname
Eiter, Thomas
 

Results 1-20 of 353 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Eiter, Thomas ; Fox, Dieter ; Gomes, Carla P. Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without InversesKonferenzbeitrag Inproceedings 2008
2Eiter, Thomas ; Ianni, Giovambattista ; Lukasiewicz, Thomas ; Schindlauer, Roman Well-Founded Semantics for Description Logic Programs in the Semantic WebBericht Report2009
3Eiter, Thomas ; Kiesel, Rafael Peter David Weighted LARS for Quantitative Stream ReasoningPräsentation Presentation2020
4Eiter, Thomas ; Kiesel, Rafael Peter David Weighted LARS for Quantitative Stream ReasoningKonferenzbeitrag Inproceedings 2020
5Baaz, Matthias ; Eiter, Thomas ; Veith, Helmut Vienna Summer of LogicPräsentation Presentation2014
6Baral, Chitta ; Eiter, Thomas ; Zhao, Jicheng ; Veloso, Manuela ; Kambhampati, Subbarao Using SAT and LP to Design Polynomial-Time Algorithms for Planning in Non-deterministic DomainsKonferenzbeitrag Inproceedings 2005
7Eiter, Thomas ; Schneider, Patrik ; Simkus, Mantas ; Xiao, Guohui Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners 51-57Konferenzbeitrag Inproceedings 2014
8Eiter, Thomas ; Fink, Michael ; Sabbatini, Giuliana ; Tompits, Hans Using Methods of Declarative Logic Programming for Intelligent InformationAgentsBericht Report2000
9Eiter, Thomas ; Mehuljic, Mustafa ; Redl, Christoph ; Schüller, Peter User Guide: dlvhex 2.XBericht Report2015
10Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan Updating Action Domain DescriptionsBericht Report2008
11Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan ; Pack Kaelbling, Leslie ; Saffiotti, Alessandro Updating Action Domain DescriptionsKonferenzbeitrag Inproceedings 2005
12Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik ; Xiao, Guohui ; Lukasiewicz, Thomas ; Sali, Attila Uniform Evaluation of Nonmonotonic DL-ProgramsKonferenzbeitrag Inproceedings2012
13Eiter, Thomas ; Fink, Michael Uniform Equivalence of Logic Programs under the Stable Model SemanticsBericht Report2003
14Eiter, Thomas ; Fink, Michael Uniform Equivalence of Logic Programs under the Stable Model SemanticsPräsentation Presentation2013
15Eiter, Thomas ; Erdem, Esra ; Faber, Wolfgang Undoing the Effects of Action SequencesBericht Report2004
16Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
17Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
18Heymans, Stijn ; Eiter, Thomas ; Xiao, Guohui ; Coelho, Helder ; Studer, Rudi ; Wooldridge, Michael Tractable Reasoning with DL-Programs over Datalog-rewritable Description LogicsKonferenzbeitrag Inproceedings 2010
19Eiter, Thomas ; Parreira, Josiane ; Schneider, Patrik ; Dell´Aglio, Daniele ; Della Valle, Emanuele ; Eiter, Thomas ; Krötzsch, Markus Towards Spatial Ontology-Mediated Query Answering over Mobility StreamsKonferenzbeitrag Inproceedings 2016
20Eiter, Thomas ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Tran, Trung-Kien ; Xiao, Guohui ; Kazakov, Yevgeny ; Lembo, Domenico ; Wolter, Frank Towards Practical Query Answering for Horn SHIQ.Konferenzbeitrag Inproceedings 2012

Results 1-20 of 70 (Search time: 0.006 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Feier, Cristina ; Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila Worst-Case Optimal Reasoning with Forest Logic ProgramsKonferenzbeitrag Inproceedings 2012
2Oosterhuis Jacco - 2020 - Weight learning in LP MLN for collective...pdf.jpgOosterhuis, Jacco Weight learning in LP MLN for collective classificationThesis Hochschulschrift 2020
3Gegendorfer Andreas - 2017 - Using Neuroevolution for physics-based character...pdf.jpgGegendorfer, Andreas Using Neuroevolution for physics-based character animation in two dimensionsThesis Hochschulschrift 2017
4Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui ; Eiter, Thomas ; Glimm, Birte ; Kazakov, Yevgeny ; Krötzsch, Markus Tractability Guarantees for DL-Lite Query AnsweringKonferenzbeitrag Inproceedings 2013
5Eiter, Thomas ; Parreira, Josiane ; Schneider, Patrik ; Dell´Aglio, Daniele ; Della Valle, Emanuele ; Eiter, Thomas ; Krötzsch, Markus Towards Spatial Ontology-Mediated Query Answering over Mobility StreamsKonferenzbeitrag Inproceedings 2016
6Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Stefanoni, Giorgio ; Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila The Complexity of Explaining Negative Query Answers in DL-LiteKonferenzbeitrag Inproceedings 2012
7Drescher Christian - 2010 - Symmetry breaking for answer set programming.pdf.jpgDrescher, ChristianSymmetry breaking for answer set programmingThesis Hochschulschrift 2010
8Faber, Wolfgang ; Truszczynski, Miroslaw ; Woltran, Stefan ; Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila Strong Equivalence of Qualitative Optimization ProblemsKonferenzbeitrag Inproceedings 2012
9Eiter, Thomas ; Franconi, Enrico ; Kifer, Michael Special issue on RuleML 2006. Fundamenta Informaticae Volume 82, number 3Buch Book 2008
10Hatschka Christian - 2022 - Representing Normative Reasoning in Answer Set...pdf.jpgHatschka, Christian Representing Normative Reasoning in Answer Set Programming Using Weak ConstraintsThesis Hochschulschrift 2022
11Dvořák, Wolfgang ; Gaggl, Sarah Alice ; Linsbichler, Thomas ; Wallner, Johannes Peter ; Eiter, Thomas ; Strass, Hannes ; Truszczynski, Miroslaw ; Woltran, Stefan Reduction-Based Approaches to Implement Modgil’s Extended Argumentation FrameworksBuchbeitrag Book Contribution2015
12Pan, Jeff Z. ; Calvanese, Diego ; Eiter, Thomas ; Horrocks, Ian ; Kifer, Michael ; Lin, Fangzhen ; Zhao, Yuting Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query AnsweringKonferenzband Proceedings 2017
13Tessaris, Sergio ; Franconi, Enrico ; Eiter, Thomas ; Gutierrez, Claudio ; Handschuh, Siegfried ; Rousset, Marie-Christine ; Schmidt, Renate Reasoning Web. Semantic Technologies for Information SystemsKonferenzband Proceedings2009
14Eiter, Thomas ; Krennwallner, Thomas Reasoning Web. Semantic Technologies for Advanced Query AnsweringBuch Book 2012
15Ortiz, Magdalena ; Šimkus, Mantas ; Eiter, Thomas ; Krennwallner, Thomas Reasoning and Query Answering in Description LogicsKonferenzbeitrag Inproceedings 2012
16Funk Nikolaus Manes - 2021 - Real Time Logics and Reasoning Answer Set Semantics...pdf.jpgFunk, Nikolaus Manes Real time logics and reasoning answerset semantics for metric temporal logicThesis Hochschulschrift 2021
17De Vos, Marina ; Eiter, Thomas ; Lierler, Yuliya ; Toni, Francesca Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015)Konferenzband Proceedings2015
18Eiter, Thomas ; Franconi, Enrico ; Hodgson, Ralph ; Kifer, Michael ; Stephens, Susie Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic WebKonferenzband Proceedings 2006
19Eiter, Thomas ; Libkin, Leonid Proceedings of the 10th International Conference on Database Theory (ICDT 2005)Konferenzband Proceedings2005
20Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012Konferenzband Proceedings 2012



Results 1-14 of 14 (Search time: 0.001 seconds).