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 1-10 of 10 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano Reasoning with Justifiable Exceptions in $$\mathcal{E}\mathcal{L}_\bot $$ Contextualized Knowledge RepositoriesBuchbeitrag Book Contribution 2019
2Mileo, Alessandra ; Dao-Tran, Minh ; ​Eiter, Thomas ; Fink, Michael Stream ReasoningBuchbeitrag Book Contribution 2017
3Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius Preference-Based Diagnosis Selection in Multi-Context SystemsBuchbeitrag Book Contribution 2015
4Eiter, Thomas ; Strass, Hannes ; Truszczynski, Miroslaw ; Woltran, Stefan A Glimpse on Gerhard Brewka's Contributions to Artificial IntelligenceBuchbeitrag Book Contribution2015
5Eiter, Thomas ; Feier, Cristina ; Fink, Michael Simulating Production Rules Using ACTHEXBuchbeitrag Book Contribution 2012
6Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Dynamic Distributed Nonmontonic Multi-Context SystemsBuchbeitrag Book Contribution 2011
7Brewka, Gerhard ; Eiter, Thomas ; Fink, Michael Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge SourcesBuchbeitrag Book Contribution 2011
8Eiter, Thomas ; Gottlob, Georg ; Schwentick, Thomas The Model Checking Problem for Prefix Classes of Second-Order Logic: A SurveyBuchbeitrag Book Contribution 2010
9Drabent, Wlodzimierz ; Eiter, Thomas ; Ianni, Giovambattista ; Krennwallner, Thomas ; Lukasiewicz, Thomas ; Maluszynski, Jan Hybrid Reasoning with Rules and OntologiesBuchbeitrag Book Contribution 2009
10Eiter, Thomas ; Faber, Wolfgang ; Pfeifer, Gerald ; Polleres, Axel Florian Declarative Planning and Knowledge Representation in an Action LanguageBuchbeitrag Book Contribution 2005

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 21 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Warren, David S. ; Dahl, Veronica ; Eiter, Thomas ; Hermenegildo, Manuel ; Kowalski. Robert A. ; Rossi, Francesca Prolog: The Next 50 YearsBook Buch2023
2Artikis, Alexander ; Eiter, Thomas ; Margara, Alessandro ; Vansummeren, Stijn Foundations of Composite Event Recognition (Dagstuhl Seminar 20071)Konferenzband Proceedings2020
3Dell´Aglio, Daniele ; Anicic, Darko ; Barnaghi, Payam ; Della Valle, Emanuele ; McGuinness, Deborah ; Bozzato, Loris ; Eiter, Thomas ; Homola, Martin ; Porello, Daniele 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, 2017Konferenzband Proceedings 2017
4Eiter, Thomas ; Sands, David LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017. EPiC Series in Computing 46Konferenzband Proceedings 2017
5Eiter, Thomas ; Sands, David ; Sutcliffe, Geoff ; Voronkov, Andrei IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing, Volume 1Konferenzband Proceedings 2017
6Pan, 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
7Dell´Aglio, Daniele ; Della Valle, Emanuele ; Eiter, Thomas ; Krötzsch, Markus ; Maleshkova, Maria ; Verborgh, Ruben ; Facca, Federico Michele ; Mrissa, Michael 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)Konferenzband Proceedings 2016
8Eiter, Thomas ; Strass, Hannes ; Truszczynski, Miroslaw ; Woltran, Stefan Advances in Knowledge Representation, Logic Programming, and Abstract ArgumentationBuch Book2015
9De 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
10Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius Preference-Based Diagnosis Selection in Multi-Context SystemsBuchbeitrag Book Contribution 2015
11Eiter, Thomas ; Strass, Hannes ; Truszczynski, Miroslaw ; Woltran, Stefan A Glimpse on Gerhard Brewka's Contributions to Artificial IntelligenceBuchbeitrag Book Contribution2015
12Baumann, Ringo ; Spanring, Christof Infinite Argumentation FrameworksBuchbeitrag Book Contribution2015
13Dvořák, Wolfgang ; Gaggl, Sarah Alice ; Linsbichler, Thomas ; Wallner, Johannes Peter Reduction-Based Approaches to Implement Modgil’s Extended Argumentation FrameworksBuchbeitrag Book Contribution2015
14Baral, Chitta ; De Giacomo, Giuseppe ; Eiter, Thomas Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014Konferenzband Proceedings 2014
15Eiter, Thomas ; Glimm, Birte ; Kazakov, Yevgeny ; Krötzsch, Markus Informal Proceedings of the 26th International Workshop on Description LogicsKonferenzband Proceedings2013
16Eiter, Thomas ; Krennwallner, Thomas Reasoning Web. Semantic Technologies for Advanced Query AnsweringBuch Book 2012
17Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012Konferenzband Proceedings 2012
18Eiter, 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
19Tessaris, Sergio ; Franconi, Enrico ; Eiter, Thomas ; Gutierrez, Claudio ; Handschuh, Siegfried ; Rousset, Marie-Christine ; Schmidt, Renate Reasoning Web. Semantic Technologies for Information SystemsKonferenzband Proceedings2009
20Eiter, 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