The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Thomas Eiter" ( http://dblp.L3S.de/Authors/Thomas_Eiter )

URL (Homepage):  http://www.kr.tuwien.ac.at/staff/eiter/eiter.html  Author page on DBLP  Author page in RDF  Community of Thomas Eiter in ASPL-2

Publication years (Num. hits)
1991-1994 (18) 1995-1996 (16) 1997 (17) 1998-1999 (20) 2000 (19) 2001 (20) 2002 (24) 2003 (16) 2004 (15) 2005 (19) 2006 (24) 2007 (17) 2008 (20) 2009 (16) 2010 (18) 2011 (20) 2012 (19) 2013-2014 (27) 2015 (16) 2016 (21) 2017 (16) 2018 (19) 2019 (8)
Publication types (Num. hits)
article(154) book(1) incollection(2) inproceedings(250) proceedings(18)
Venues (Conferences, Journals, ...)
CoRR(33) Artif. Intell.(26) IJCAI(25) LPNMR(24) JELIA(23) KR(21) AAAI(13) TPLP(11) Description Logics(9) Reasoning Web(9) ACM Trans. Comput. Log.(8) Theor. Comput. Sci.(8) Ann. Math. Artif. Intell.(7) KI(7) LPAR(7) WLP(7) More (+10 of total 134)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 99 occurrences of 67 keywords

Results
Found 426 publication records. Showing 425 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Daniele Dell'Aglio, Thomas Eiter, Fredrik Heintz, Danh Le Phuoc Special issue on stream reasoning. Search on Bibsonomy Semantic Web The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Loris Bozzato, Thomas Eiter, Luciano Serafini A Note on Reasoning on DL-LiteR with Defeasibility. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Thomas Eiter, Gabriele Kern-Isberner A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Herbert Füreder, Fritz Kasslatter, Josiane Xavier Parreira, Patrik Schneider Towards a Semantically Enriched Local Dynamic Map. Search on Bibsonomy Int. J. Intelligent Transportation Systems Research The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Loris Bozzato, Thomas Eiter, Luciano Serafini Reasoning with Justifiable Exceptions in Eℒ_\bot Contextualized Knowledge Repositories. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Tobias Kaminski Pruning External Minimality Checking for ASP Using Semantic Dependencies. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zeynep Gozen Saribatur, Peter Schüller, Thomas Eiter Abstraction for Non-ground Answer Set Programs. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Loris Bozzato, Thomas Eiter, Luciano Serafini A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Harald Beck, Minh Dao-Tran, Thomas Eiter LARS: A Logic-based framework for Analytic Reasoning over Streams. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Loris Bozzato, Thomas Eiter, Luciano Serafini Enhancing context knowledge repositories with justifiable exceptions. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon D. Plotkin, Natarajan Shankar Alonzo Church Award 2018 - Call for Nominations. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2018 DBLP  BibTeX  RDF
1Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tobias Kaminski, Thomas Eiter, Katsumi Inoue Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Zeynep Gozen Saribatur, Thomas Eiter Towards Abstraction in ASP with an Application on Reasoning about Agent Policies. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Loris Bozzato, Luciano Serafini, Thomas Eiter Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Thomas Eiter, Gerhard Friedrich, Richard Taupe, Antonius Weinzierl Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl The DLVHEX System. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Harald Beck, Minh Dao-Tran, Thomas Eiter, Christian Folie Stream Reasoning with LARS. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tobias Kaminski, Thomas Eiter, Katsumi Inoue Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandra Mileo, Minh Dao-Tran, Thomas Eiter, Michael Fink 0001 Stream Reasoning. Search on Bibsonomy Encyclopedia of Database Systems (2nd ed.) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Harald Beck, Minh Dao-Tran, Thomas Eiter LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract). Search on Bibsonomy SOFSEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter 0001, 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. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zeynep Gözen Saribatur, Thomas Eiter Omission-Based Abstraction for Answer Set Programs. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Loris Bozzato, Luciano Serafini, Thomas Eiter Reasoning with Justifiable Exceptions in Contextual Hierarchies. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Thomas Eiter, Ryutaro Ichise, Josiane Xavier Parreira, Patrik Schneider, Lihua Zhao Deploying Spatial-Stream Query Answering in C-ITS Scenarios. Search on Bibsonomy EKAW The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Antonius Weinzierl Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Loris Bozzato, Thomas Eiter, Luciano Serafini Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Antonius Weinzierl Preference-Based Inconsistency Management in Multi-Context Systems. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Harald Beck, Thomas Eiter, Christian Folie Ticker: A System for Incremental ASP-based Stream Reasoning. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Harald Beck, Thomas Eiter, Christian Folie Ticker: A system for incremental ASP-based stream reasoning. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider Spatial Ontology-Mediated Query Answering over Mobility Streams. Search on Bibsonomy ESWC (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, David Sands 0001 (eds.) LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017 Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Thomas Eiter, David Sands 0001, Geoff Sutcliffe, Andrei Voronkov (eds.) IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017 Search on Bibsonomy IWIL@LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider Detecting Mobility Patterns using Spatial Query Answering over Streams. Search on Bibsonomy WSP/WOMoCoE@ISWC The full citation details ... 2017 DBLP  BibTeX  RDF
1Daniele Dell'Aglio, Darko Anicic, Payam M. Barnaghi, Emanuele Della Valle, Deborah L. McGuinness, Loris Bozzato, Thomas Eiter, Martin Homola, Daniele Porello (eds.) 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. Search on Bibsonomy WSP/WOMoCoE@ISWC The full citation details ... 2017 DBLP  BibTeX  RDF
1Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Markus Krötzsch, Maria Maleshkova, Ruben Verborgh, Federico M. Facca, Michael Mrissa (eds.) 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. Search on Bibsonomy SR+SWIT@ISWC The full citation details ... 2017 DBLP  BibTeX  RDF
1Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin Stream reasoning-based control of caching strategies in CCN routers. Search on Bibsonomy ICC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl Answer Set Programming with External Source Access. Search on Bibsonomy Reasoning Web The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao (eds.) Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures Search on Bibsonomy Reasoning Web The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zeynep Gozen Saribatur, Chitta Baral, Thomas Eiter Reactive Maintenance Policies over Equalized States in Dynamic Environments. Search on Bibsonomy EPIA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Thomas Eiter Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Tobias Kaminski, Antonius Weinzierl Lazy-Grounding for Answer Set Programs with External Source Access. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Minh Dao-Tran, Thomas Eiter Streaming Multi-Context Systems. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 Data repair of inconsistent nonmonotonic description logic programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Thomas Eiter Evaluating epistemic negation in answer set programming. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Thomas Eiter, Michael Fink 0001, Nicola Leone, João Moura 0001 Semi-equilibrium models for paracoherent answer set programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl Domain expansion for ASP-programs with external sources. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski Answer Set Programming: An Introduction to the Special Issue. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Thomas Eiter, Richard Zach Helmut Veith (1971-2016). Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2016 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 Computing Repairs of Inconsistent DL-Programs over EL Ontologies. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin Stream Reasoning-Based Control of Caching Strategies in CCN Routers. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Zeynep Gozen Saribatur, Thomas Eiter Reactive Policies with Planning for Action Languages. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Thomas Eiter, Thomas Krennwallner, Matthias Prandtstetter, Christian Rudloff, Patrik Schneider, Markus Straub Semantically Enriched Multi-Modal Routing. Search on Bibsonomy Int. J. Intelligent Transportation Systems Research The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller A model building framework for answer set programming with external computations. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Christoph Redl, Peter Schüller Problem Solving Using the HEX Family. Search on Bibsonomy Computational Models of Rationality The full citation details ... 2016 DBLP  BibTeX  RDF
1Thomas Eiter, Tobias Kaminski Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zeynep Gozen Saribatur, Thomas Eiter Reactive Policies with Planning for Action Languages. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Eiter Artificial intelligence at the gates of dawn? Search on Bibsonomy GI-Jahrestagung The full citation details ... 2016 DBLP  BibTeX  RDF
1Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider Towards Spatial Ontology-Mediated Query Answering over Mobility Streams. Search on Bibsonomy SR+SWIT@ISWC The full citation details ... 2016 DBLP  BibTeX  RDF
1Thomas Eiter, Thomas Lukasiewicz, Livia Predoiu Generalized Consistent Query Answering under Existential Rules. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Andreas Moßburger, Harald Beck, Minh Dao-Tran, Thomas Eiter A Benchmarking Framework for Stream Processors. Search on Bibsonomy EKAW (Satellite Events) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Harald Beck, Minh Dao-Tran, Thomas Eiter Equivalent Stream Reasoning Programs. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner Distributed Evaluation of Nonmonotonic Multi-context Systems. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller A model building framework for Answer Set Programming with external computations. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink 0001 Towards Ideal Semantics for Analyzing Stream Reasoning. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Thomas Eiter, Francesca Toni Introduction to the 31st International Conference on Logic Programming special issue. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran (eds.) Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence. Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Antonius Weinzierl Preference-Based Diagnosis Selection in Multi-Context Systems. Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Mantas Simkus Linking Open-World Knowledge Bases Using Nonmonotonic Rules. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cristina Feier, Thomas Eiter Reasoning with Forest Logic Programs Using Fully Enriched Automata. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink 0001 LARS: A Logic-Based Framework for Analyzing Reasoning over Streams. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Minh Dao-Tran, Harald Beck, Thomas Eiter Towards Comparing RDF Stream Processing Semantics. Search on Bibsonomy HiDeSt@KI The full citation details ... 2015 DBLP  BibTeX  RDF
1Minh Dao-Tran, Harald Beck, Thomas Eiter Contrasting RDF Stream Processing Semantics. Search on Bibsonomy JIST The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni (eds.) Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Thomas Eiter, Jeff Z. Pan, Patrik Schneider, Mantas Simkus, Guohui Xiao A Rule-based Framework for Creating Instance Data from OpenStreetMap. Search on Bibsonomy RR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cristina Feier, Thomas Eiter Reasoning with Forest Logic Programs Using Fully Enriched Automata. Search on Bibsonomy JOWO@IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Harald Beck, Minh Dao-Tran, Thomas Eiter Answer Update for Rule-Based Stream Reasoning. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink 0001, Christoph Redl, Thomas Krennwallner, Jun Deng FLP answer set semantics without circular justifications for general logic programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Peter Schüller, Antonius Weinzierl Finding explanations of inconsistency in multi-context systems. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Diego Calvanese, Thomas Eiter, Magdalena Ortiz Answering regular path queries in expressive Description Logics via alternating tree-automata. Search on Bibsonomy Inf. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl, Peter Schüller Efficient HEX-Program Evaluation Based on Unfounded Sets. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 Computing Repairs for Inconsistent DL-programs over EL Ontologies. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Thomas Eiter, Nicola Leone Modular Paracoherent Answer Sets. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners. Search on Bibsonomy ORE The full citation details ... 2014 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Christoph Redl, Daria Stepanova 0001 Exploiting Support Sets for Answer Set Programs with External Evaluations. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Loris Bozzato, Thomas Eiter, Luciano Serafini Defeasibility in Contextual Reasoning with CKR. Search on Bibsonomy CILC The full citation details ... 2014 DBLP  BibTeX  RDF
1Matthias Baaz, Thomas Eiter, Helmut Veith Vienna Summer of Logic. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Chitta Baral, Giuseppe De Giacomo, Thomas Eiter (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Loris Bozzato, Thomas Eiter, Luciano Serafini Contextualized Knowledge Repositories with Justifiable Exceptions. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 Towards Practical Deletion Repair of Inconsistent DL-programs. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 Towards Practical Deletion Repair of Inconsistent DL-programs. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Thomas Lukasiewicz Causes and Explanations in the Structural-Model Approach: Tractable Cases Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl, Peter Schüller Eliminating Unfounded Set Checking for HEX-Programs Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Thomas Eiter, Esra Erdem 0001, Halit Erdogan, Michael Fink 0001 Finding similar/diverse solutions in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Jörg Pührer, Hans Tompits, Stefan Woltran Model-based recasting in answer-set programming. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Georg Gottlob Marco Cadoli's work on nonmonotonic reasoning. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christian Antic, Thomas Eiter, Michael Fink 0001 Hex Semantics via Approximation Fixpoint Theory. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 425 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license