| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas Eiter, Magdalena Ortiz, Mantas Simkus |
Conjunctive query answering in the description logic SH using knots.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigoris Antoniou, Thomas Eiter, Kewen Wang |
Forgetting for Defeasible Logic. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao |
Uniform Evaluation of Nonmonotonic DL-Programs. |
FoIKS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski |
Answer set programming at a glance. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Thomas Krennwallner, Christoph Redl |
Nested HEX-Programs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter |
Embedding Description Logic Programs into Default Logic |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
Answer Set Planning Under Action Costs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh |
Symmetry Breaking for Distributed Multi-Context Systems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink |
Finding Similar/Diverse Solutions in Answer Set Programming |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits |
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination. |
ACM Trans. Comput. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer |
Well-founded semantics for description logic programs in the semantic web. |
ACM Trans. Comput. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Redl, Thomas Eiter, Thomas Krennwallner |
Declarative Belief Set Merging Using Merging Plans. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl |
Managed Multi-Context Systems. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Guohui Xiao, Thomas Eiter |
Inline Evaluation of Hybrid Knowledge Bases - PhD Description. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller |
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Peter Schüller |
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh |
Symmetry Breaking for Distributed Multi-Context Systems. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Thomas Eiter, Michael Fink |
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko |
Updating action domain descriptions. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Mantas Simkus |
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stijn Heymans, Thomas Eiter, Guohui Xiao |
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics. |
ECAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jörg Pührer, Stijn Heymans, Thomas Eiter |
Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs. |
ESWC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
Query Answering in the Description Logic S. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stijn Heymans, Roman Korf, Michael Erdmann, Jörg Pührer, Thomas Eiter |
F-Logic#: Loosely Coupling F-Logic Rules and Ontologies. |
Web Intelligence |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Bögl, Thomas Eiter, Michael Fink, Peter Schüller |
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
Decomposition of Distributed Nonmonotonic Multi-Context Systems. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Antonius Weinzierl |
Preference-Based Inconsistency Assessment in Multi-Context Systems. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
First-Order Encodings for Modular Nonmonotonic Datalog Programs. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Georg Gottlob, Thomas Schwentick |
The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey. |
Fields of Logic and Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, João Moura |
Paracoherent Answer Set Programming. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
Distributed Nonmonotonic Multi-Context Systems. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl |
Finding Explanations of Inconsistency in Multi-Context Systems. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa |
Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski |
Hybrid Reasoning with Rules and Ontologies. |
REWERSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
Query Answering in Description Logics: The Knots Approach. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Thomas Krennwallner |
Decomposition of Declarative Knowledge Bases with External Functions. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Thomas Eiter, Magdalena Ortiz |
Regular Path Queries in Expressive Description Logics with Nominals. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Mantas Simkus |
Bidirectional Answer Set Programs with Function Symbols. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
Query Answering in Description Logics with Transitive Roles. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner |
Realizing Default Logic over Description Logic Knowledge Bases. |
ECSQARU |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
Modular Nonmonotonic Logic Programming Revisited. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Modular Logic Programming, Knowledge Representation, Answer Set Programming |
| 1 | Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink |
Finding Similar or Diverse Solutions in Answer Set Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
similar/diverse solutions, answer set programming, phylogenies |
| 1 | Stijn Heymans, Cristina Feier, Thomas Eiter |
A Reasoner for Simple Conceptual Logic Programs. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner |
Combining Nonmonotonic Knowledge Bases with External Sources. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Thomas Eiter |
Argumentation Context Systems: A Framework for Abstract Group Argumentation. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Thomas Eiter |
From Data Integration towards Knowledge Mediation. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt (eds.) |
Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures |
Reasoning Web |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner |
Answer Set Programming: A Primer. |
Reasoning Web |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo |
Repair localization for query answering from inconsistent databases. |
ACM Trans. Database Syst. |
2008 |
DBLP DOI BibTeX RDF |
inconsistency management in databases, logic programming, data integration, stable models, consistent query answering, Database repairs |
| 1 | Alexander Reiterer, Uwe Egly, Thomas Eiter, Heribert Kahmen |
A knowledge-based videotheodolite measurement system for object representation/monitoring. |
Advances in Engineering Software |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Esra Erdem, Wolfgang Faber |
Undoing the effects of action sequences. |
J. Applied Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits |
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Ortiz, Diego Calvanese, Thomas Eiter |
Data Complexity of Query Answering in Expressive Description Logics via Tableaux. |
J. Autom. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
Expressive description logics, Query answering, Data complexity |
| 1 | Chitta Baral, Thomas Eiter, Marcus Bjäreland, Mutsumi Nakamura |
Maintenance goals of agents in a dynamic environment: Formulation and policy construction. |
Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Kewen Wang |
Semantic forgetting in answer set programming. |
Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits |
Combining answer set programming with description logics for the Semantic Web. |
Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Kazuhisa Makino, Georg Gottlob |
Computational aspects of monotone dualization: A brief survey. |
Discrete Applied Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer |
Exploiting conjunctive queries in description logic programs. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30 |
| 1 | Thomas Eiter, Kazuhisa Makino |
New Results for Horn Cores and Envelopes of Horn Disjunctions. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Magdalena Ortiz, Mantas Simkus |
Reasoning Using Knots. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Ortiz, Mantas Simkus, Thomas Eiter |
Conjunctive Query Answering in SH using Knots. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter |
SMS and ASP: Hype or TST?. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus |
Query Answering in the Description Logic Horn-. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni |
Exploiting Conjunctive Queries in Description Logic Programs. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jos de Bruijn, Thomas Eiter, Hans Tompits |
Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres |
Rules and Ontologies for the Semantic Web. |
Reasoning Web |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Ján Senko |
Error Classification in Action Descriptions: A Heuristic Approach. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Ortiz, Mantas Simkus, Thomas Eiter |
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Leonid Libkin |
Preface. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Kazuhisa Makino |
On computing all abductive explanations from a propositional Horn theory. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
Horn theories, dualization problem, polynomial total-time computation, NP-hardness, Abduction, model-based reasoning, propositional logic, tractability, prime implicates, characteristic set, enumeration algorithms |
| 1 | Thomas Eiter, Esra Erdem, Wolfgang Faber, Ján Senko |
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Stefan Woltran |
Semantical characterizations and complexity of equivalences in answer set programming. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
strong equivalence, uniform equivalence, computational complexity, program optimization, stable models, Answer set semantics |
| 1 | Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko |
Comparing action descriptions based on semantic preferences. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T30, 68T27 |
| 1 | Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran |
Complexity results for answer set programming with bounded predicate arities and implications. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68Q17 |
| 1 | Thomas Eiter, Michael Fink, Hans Tompits |
A knowledge-based approach for selecting information sources. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran |
Complexity Results for Checking Equivalence of Stratified Logic Programs. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Esra Erdem, Wolfgang Faber |
On Reversing Actions: Algorithms and Complexity. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits |
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mantas Simkus, Thomas Eiter |
\mathbbFDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer |
Exploiting Conjunctive Queries in Description Logic Programs. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter |
Answer Set Programming for the Semantic Web. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir |
Conditional Planning with External Functions. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei |
Foundations of Rule-Based Query Answering. |
Reasoning Web |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Thomas Eiter |
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Thomas Eiter, Magdalena Ortiz |
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Georg Gottlob |
Reasoning under minimal upper bounds in propositional logic. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Leonid Libkin |
Introduction to special ICDT section. |
ACM Trans. Database Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Hans Tompits |
A Knowledge-Based Approach for Selecting Information Sources |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Thomas Lukasiewicz |
Causes and explanations in the structural-model approach: Tractable cases. |
Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello |
The DLV system for knowledge representation and reasoning. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
computational complexity, knowledge representation, implementation, nonmonotonic reasoning, stable models, Answer sets |
| 1 | Thomas Eiter, Axel Polleres |
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko |
Resolving Conflicts in Action Descriptions. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits |
Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. |
ESWC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abdul Sattar, Kewen Wang |
LPForget: A System of Forgetting in Answer Set Programming. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
Nonmonotonic logic programming, forgetting, answer sets |
| 1 | Magdalena Ortiz, Diego Calvanese, Thomas Eiter |
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alexander Reiterer, Thomas Eiter |
A Distance-Based Method for the Evaluation of Interest point Detection Algorithms. |
ICIP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits |
On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules. |
KSEM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, Kewen Wang |
Forgetting in Managing Rules and Ontologies. |
Web Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")