Eiter, Thomas

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Eiter, Thomas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 61-80 of 471 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
61Eiter, Thomas ; Kiesel, Rafael Peter David Weighted LARS for Quantitative Stream ReasoningPräsentation Presentation2020
62Eiter, Thomas ; Kiesel, Rafael Peter David Quantities in Stream ReasoningPräsentation Presentation2020
63Eiter, Thomas A Hitchhiker's Tour Through Computational Complexity in Knowledge Representation and ReasoningPräsentation Presentation2020
64Eiter, Thomas ; Kiesel, Rafael Peter David ASP(AC): Answer Set Programming with Algebraic ConstraintsPräsentation Presentation2020
65Saribatur, Zeynep Gözen ; Eiter, Thomas Omission-based Abstraction for Answer Set ProgramsPreprint Preprint2020
66Shen, Yi-Dong ; Eiter, Thomas Considering Constraint Monotonicity and Foundedness in Answer Set ProgrammingKonferenzbeitrag Inproceedings 2020
67Moser, Bernhard ; Dorffner, Georg ; Eiter, Thomas ; Faber, Wolfgang ; Klambauer, Günther ; Legenstein, Robert ; Nessler, Bernhard ; Polleres, Axel ; Woltran, Stefan Österreichische AI Strategie aus Sicht der WissenschaftArtikel Article2020
68Saribatur, Zeynep G. ; Eiter, Thomas A Semantic Perspective on Omission Abstraction in ASPKonferenzbeitrag Inproceedings 2020
69Eiter, Thomas ; Ogris, Paul ; Schekotihin, Konstantin A Distributed Approach to LARS Stream Reasoning (System paper)Artikel Article 20-Sep-2019
70PruningExternalMinimalityChecking.pdf.jpgEiter, Thomas ; Kaminski, Tobias Dietmar Pruning External Minimality Checking for ASP Using Semantic DependenciesInproceedings Konferenzbeitrag 12-May-2019
71Dell´Aglio, Daniele ; Eiter, Thomas ; Heintz, Fredrik ; Le Phuoc, Danh Special issue on stream reasoningArtikel Article5-Apr-2019
72Eiter, Thomas ; Füreder, Herbert ; Kasslatter, Fritz ; Xavier Parreira, Josiane ; Schneider, Patrik Towards a Semantically Enriched Local Dynamic MapArtikel Article Jan-2019
73Eiter, Thomas ; Saribatur, Zeynep Gözen ; Schüller, Peter Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract)Konferenzbeitrag Inproceedings 2019
74Eiter, Thomas ; Saribatur, Zeynep Gözen ; Schüller, Peter Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract)Präsentation Presentation2019
75Eiter, Thomas ; Saribatur, Zeynep Gözen ; Schüller, Peter Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell ProblemsKonferenzbeitrag Inproceedings 2019
76Kaminski, Tobias ; Eiter, Thomas ; Inoue, Katsumi Meta-Interpretive Learning Using HEX-ProgramsKonferenzbeitrag Inproceedings 2019
77Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano A Datalog Translation for Reasoning on DL-lite_R with DefeasibilityKonferenzbeitrag Inproceedings 2019
78Eiter, Thomas Logic Programming for Stream ReasoningPräsentation Presentation2019
79Saribatur, Zeynep Gözen ; Eiter, Thomas ; Schüller, Peter Abstraction for Non-Ground Answer Set ProgramsBericht Report2019
80Shen, Yi-Dong ; Eiter, Thomas Determining Inference Semantics for Disjunctive Logic ProgramsArtikel Article 2019

Contributing Publications Mitbeteiligte Publikationen

Results 61-80 of 93 (Search time: 0.005 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
61Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012Konferenzband Proceedings 2012
62Artem, Konev Reasoning with RDF(S) and F-logicThesis Hochschulschrift2012
63Faber, Wolfgang ; Truszczynski, Miroslaw ; Woltran, Stefan Strong Equivalence of Qualitative Optimization ProblemsKonferenzbeitrag Inproceedings 2012
64Antic Christian - 2012 - Uniform approximation-theoretic semantics for logic...pdf.jpgAntic, Christian Uniform approximation-theoretic semantics for logic programs with external atomsThesis Hochschulschrift 2012
65Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Stefanoni, Giorgio The Complexity of Explaining Negative Query Answers in DL-LiteKonferenzbeitrag Inproceedings 2012
66Feier, Cristina Worst-Case Optimal Reasoning with Forest Logic ProgramsKonferenzbeitrag Inproceedings 2012
67Gottlob, Georg ; Orsi, Giorgio ; Pieris, Andreas ; Šimkus, Mantas Datalog and Its Extensions for Semantic Web DatabasesKonferenzbeitrag Inproceedings 2012
68Tran, Trung Kien Query answering in the description logic Horn-SHIQThesis Hochschulschrift2011
69Stefanoni, Giorgio Explaining query answers in lightweight ontologies : the DL-Lite caseThesis Hochschulschrift2011
70Eiter, Thomas ; El Ghali, Adil ; Fernández, Sergio ; Heymans, Stijn ; Krennwallner, Thomas ; Lévy, François BuRO 2010: 1st International Workshop on Business Models, Business Rules and Ontologies, 21 September 2010, ProceedingsKonferenzband Proceedings 2010
71Xiao, Guohui ; Heymans, Stijn ; Eiter, Thomas DReW: a Reasoner for Datalog-rewritable Description Logics and DL-ProgramsKonferenzbeitrag Inproceedings 2010
72Krennwallner, Thomas Combining Nonmonotonic Knowledge Bases for Modular and Distributed Knowledge-Based Information SystemsKonferenzbeitrag Inproceedings2010
73Schneider, Patrik Evaluation of description logic programs using an RDBMSThesis Hochschulschrift2010
74Carbotta, Domenico A practical automata-based technique for reasoning in expressive description logicsThesis Hochschulschrift2010
75Šimkus, Mantas Nonmonotonic logic programs with function symbolsThesis Hochschulschrift2010
76Drescher Christian - 2010 - Symmetry breaking for answer set programming.pdf.jpgDrescher, ChristianSymmetry breaking for answer set programmingThesis Hochschulschrift 2010
17Eiter, Thomas ; Ianni, Giovambattista ; Krennwallner, Thomas Answer Set Programming: A PrimerKonferenzbeitrag Inproceedings 2009
18Tessaris, Sergio ; Franconi, Enrico ; Eiter, Thomas ; Gutierrez, Claudio ; Handschuh, Siegfried ; Rousset, Marie-Christine ; Schmidt, Renate Reasoning Web. Semantic Technologies for Information SystemsKonferenzband Proceedings2009
19Rybenko, Ksenia Collaborative process management in construction by means of rules and ontologiesThesis Hochschulschrift2009
20Guagliardo, Paolo Theoretical foundations of an ontology-based visual tool for query formulation supportThesis Hochschulschrift2009