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 161-180 of 471 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
161Eiter, Thomas A Logic-Based Frameworks for Analyzing Stream ReasoningPräsentation Presentation2015
162Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter A Model Building Framework for Answer Set Programming with External ComputationsBericht Report2015
163Eiter, Thomas ; Mehuljic, Mustafa ; Redl, Christoph ; Schüller, Peter User Guide: dlvhex 2.XBericht Report2015
164Eiter, Thomas ; Redl, Christoph ; Schüller, Peter Problem Solving Using the HEX FamilyBericht Report2015
165Feier, Cristina ; Eiter, Thomas Reasoning with Forest Logic Programs Using Fully Enriched AutomataBericht Report2015
166Shen, Yi-Dong ; Eiter, Thomas Evaluating Epistemic Negation in Answer Set ProgrammingBericht Report2015
167Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Computing Repairs of Inconsistent DL-programs over EL OntologiesBericht Report2015
168Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Data Repair of Inconsistent Nonmonotonic Description Logic ProgramsBericht Report2015
169Feier, Cristina ; Eiter, Thomas Reasoning with Forest Logic Programs Using Fully Enriched AutomataKonferenzbeitrag Inproceedings 2015
170Eiter, Thomas ; Simkus, Mantas Linking Open-World Knowledge Bases Using Nonmonotonic RulesKonferenzbeitrag Inproceedings 2015
171De Rosis, Alessandro ; Eiter, Thomas ; Redl, Christoph ; Ricca, Francesco Constraint Answer Set Programming based on HEX-ProgramsKonferenzbeitrag Inproceedings 2015
172Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael LARS: A Logic-based Framework for Analyzing Reasoning over StreamsKonferenzbeitrag Inproceedings 2015
173Feier, Cristina ; Eiter, Thomas Reasoning with Forest Logic Programs Using Fully Enriched AutomataKonferenzbeitrag Inproceedings 2015
174Eiter, Thomas ; Pan, Jeff Z. ; Schneider, Patrik ; Šimkus, Mantas ; Xiao, Guohui A Rule-based Framework for Creating Instance Data from OpenStreetMapKonferenzbeitrag Inproceedings 2015
175Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas What is the Semantics of Your SPARQL Extension?Artikel Article2015
176Dao-Tran, Minh ; Beck, Harald ; Eiter, Thomas Towards Comparing RDF Stream Processing SemanticsKonferenzbeitrag Inproceedings 2015
177Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas Answer Update for Rule-based Stream ReasoningKonferenzbeitrag Inproceedings 2015
178Dao-Tran, Minh ; Beck, Harald ; Eiter, Thomas Contrasting RDF Stream Processing SemanticsKonferenzbeitrag Inproceedings2015
179Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Distributed Evaluation of Nonmonotonic Multi-Context SystemsArtikel Article2015
180EITER, THOMAS ; TONI, FRANCESCA Introduction to the 31st International Conference on Logic Programming Special IssueArtikel Article2015