Thomas Eiter Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
292Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao: Uniform Evaluation of Nonmonotonic DL-Programs. FoIKS 2012: 1-22
291Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Thomas Eiter, Kewen Wang: Forgetting for Defeasible Logic. LPAR 2012: 77-91
290Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Magdalena Ortiz, Mantas Simkus: Conjunctive query answering in the description logic SH using knots. J. Comput. Syst. Sci. 78(1): 47-85 (2012)
2011
289Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl: Managed Multi-Context Systems. IJCAI 2011: 786-791
288Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Peter Schüller: Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. LPNMR 2011: 107-119
287Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems. LPNMR 2011: 26-39
286Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller: Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. LPNMR 2011: 93-106
285Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard 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: 233-258
284Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Redl, Thomas Eiter, Thomas Krennwallner: Declarative Belief Set Merging Using Merging Plans. PADL 2011: 99-114
283Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuohui Xiao, Thomas Eiter: Inline Evaluation of Hybrid Knowledge Bases - PhD Description. RR 2011: 300-305
282Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer: Well-founded semantics for description logic programs in the semantic web. ACM Trans. Comput. Log. 12(2): 11 (2011)
281Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits: Embedding nonground logic programs into autoepistemic logic for knowledge-base combination. ACM Trans. Comput. Log. 12(3): 20 (2011)
280Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems CoRR abs/1104.3931: (2011)
279Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Answer Set Planning Under Action Costs CoRR abs/1106.5257: (2011)
278Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink: Finding Similar/Diverse Solutions in Answer Set Programming CoRR abs/1108.3260: (2011)
277Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Krennwallner, Christoph Redl: Nested HEX-Programs CoRR abs/1108.5626: (2011)
276Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter: Embedding Description Logic Programs into Default Logic CoRR abs/1111.1486: (2011)
275Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Thomas Eiter, Miroslaw Truszczynski: Answer set programming at a glance. Commun. ACM 54(12): 92-103 (2011)
2010
274Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Mushthofa Mushthofa: Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. AAAI 2010
273Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: First-Order Encodings for Modular Nonmonotonic Datalog Programs. Datalog 2010: 59-77
272Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMeghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus: Query Answering in the Description Logic S. Description Logics 2010
271Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Thomas Eiter, Guohui Xiao: Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics. ECAI 2010: 35-40
270Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Pührer, Stijn Heymans, Thomas Eiter: Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs. ESWC (1) 2010: 183-197
269Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Thomas Schwentick: The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey. Fields of Logic and Computation 2010: 227-250
268Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Antonius Weinzierl: Preference-Based Inconsistency Assessment in Multi-Context Systems. JELIA 2010: 143-155
267Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Decomposition of Distributed Nonmonotonic Multi-Context Systems. JELIA 2010: 24-37
266Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. JELIA 2010: 352-355
265Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Bögl, Thomas Eiter, Michael Fink, Peter Schüller: The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. JELIA 2010: 356-359
264Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Distributed Nonmonotonic Multi-Context Systems. KR 2010
263Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl: Finding Explanations of Inconsistency in Multi-Context Systems. KR 2010
262Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, João Moura: Paracoherent Answer Set Programming. KR 2010
261Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Roman Korf, Michael Erdmann, Jörg Pührer, Thomas Eiter: F-Logic#: Loosely Coupling F-Logic Rules and Ontologies. Web Intelligence 2010: 248-255
260Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Mantas Simkus: FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols. ACM Trans. Comput. Log. 11(2): (2010)
259Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Esra Erdem, Michael Fink, Ján Senko: Updating action domain descriptions. Artif. Intell. 174(15): 1172-1221 (2010)
2009
258Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt: Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures Springer 2009
257Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinh Dao-Tran, Thomas Eiter, Thomas Krennwallner: Realizing Default Logic over Description Logic Knowledge Bases. ECSQARU 2009: 602-613
256Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner: Combining Nonmonotonic Knowledge Bases with External Sources. FroCos 2009: 18-42
255Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Modular Nonmonotonic Logic Programming Revisited. ICLP 2009: 145-159
254Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink: Finding Similar or Diverse Solutions in Answer Set Programming. ICLP 2009: 342-356
253Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Thomas Eiter, Magdalena Ortiz: Regular Path Queries in Expressive Description Logics with Nominals. IJCAI 2009: 714-720
252Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Thomas Krennwallner: Decomposition of Declarative Knowledge Bases with External Functions. IJCAI 2009: 752-758
251Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus: Query Answering in Description Logics with Transitive Roles. IJCAI 2009: 759-764
250Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Mantas Simkus: Bidirectional Answer Set Programs with Function Symbols. IJCAI 2009: 765-771
249Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Thomas Eiter: Argumentation Context Systems: A Framework for Abstract Group Argumentation. LPNMR 2009: 44-57
248Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Thomas Eiter: From Data Integration towards Knowledge Mediation. LPNMR 2009: 610-612
247Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. LPNMR 2009: 87-100
246Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStijn Heymans, Cristina Feier, Thomas Eiter: A Reasoner for Simple Conceptual Logic Programs. RR 2009: 55-70
245Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Giovambattista Ianni, Thomas Krennwallner: Answer Set Programming: A Primer. Reasoning Web 2009: 40-110
244Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus: Query Answering in Description Logics: The Knots Approach. WoLLIC 2009: 26-36
243Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski: Hybrid Reasoning with Rules and Ontologies. REWERSE 2009: 1-49
2008
242no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Ortiz, Mantas Simkus, Thomas Eiter: Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. AAAI 2008: 504-510
241no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Ján Senko: Error Classification in Action Descriptions: A Heuristic Approach. AAAI 2008: 905-910
240Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Ortiz, Mantas Simkus, Thomas Eiter: Conjunctive Query Answering in SH using Knots. Description Logics 2008
239Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Kazuhisa Makino: New Results for Horn Cores and Envelopes of Horn Disjunctions. ECAI 2008: 60-64
238Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter: SMS and ASP: Hype or TST?. ICLP 2008: 77-82
237Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni: Exploiting Conjunctive Queries in Description Logic Programs. ISAIM 2008
236Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus: Query Answering in the Description Logic Horn-. JELIA 2008: 166-179
235no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos de Bruijn, Thomas Eiter, Hans Tompits: Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic. KR 2008: 485-495
234Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Magdalena Ortiz, Mantas Simkus: Reasoning Using Knots. LPAR 2008: 377-390
233Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres: Rules and Ontologies for the Semantic Web. Reasoning Web 2008: 1-53
232Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo: Repair localization for query answering from inconsistent databases. ACM Trans. Database Syst. 33(2): (2008)
231Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Reiterer, Uwe Egly, Thomas Eiter, Heribert Kahmen: A knowledge-based videotheodolite measurement system for object representation/monitoring. Advances in Engineering Software 39(10): 821-827 (2008)
230Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer: Exploiting conjunctive queries in description logic programs. Ann. Math. Artif. Intell. 53(1-4): 115-152 (2008)
229Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Thomas Eiter, Marcus Bjäreland, Mutsumi Nakamura: Maintenance goals of agents in a dynamic environment: Formulation and policy construction. Artif. Intell. 172(12-13): 1429-1469 (2008)
228Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits: Combining answer set programming with description logics for the Semantic Web. Artif. Intell. 172(12-13): 1495-1539 (2008)
227Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Kewen Wang: Semantic forgetting in answer set programming. Artif. Intell. 172(14): 1644-1672 (2008)
226Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits: Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination CoRR abs/0811.0359: (2008)
225Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Kazuhisa Makino, Georg Gottlob: Computational aspects of monotone dualization: A brief survey. Discrete Applied Mathematics 156(11): 2035-2049 (2008)
224Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Esra Erdem, Wolfgang Faber: Undoing the effects of action sequences. J. Applied Logic 6(3): 380-415 (2008)
223Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Ortiz, Diego Calvanese, Thomas Eiter: Data Complexity of Query Answering in Expressive Description Logics via Tableaux. J. Autom. Reasoning 41(1): 61-98 (2008)
2007
222no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Thomas Eiter: Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. AAAI 2007: 385-390
221no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Thomas Eiter, Magdalena Ortiz: Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. AAAI 2007: 391-396
220Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer: Exploiting Conjunctive Queries in Description Logic Programs. Description Logics 2007
219Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter: Answer Set Programming for the Semantic Web. ICLP 2007: 23-26
218Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits: Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination. IJCAI 2007: 304-309
217Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran: Complexity Results for Checking Equivalence of Stratified Logic Programs. IJCAI 2007: 330-335
216Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Esra Erdem, Wolfgang Faber: On Reversing Actions: Algorithms and Complexity. IJCAI 2007: 336-341
215Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMantas Simkus, Thomas Eiter: \mathbbFDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols. LPAR 2007: 514-530
214Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir: Conditional Planning with External Functions. LPNMR 2007: 214-227
213Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranç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: 1-153
212Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Stefan Woltran: Semantical characterizations and complexity of equivalences in answer set programming. ACM Trans. Comput. Log. 8(3): (2007)
211Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Esra Erdem, Michael Fink, Ján Senko: Comparing action descriptions based on semantic preferences. Ann. Math. Artif. Intell. 50(3-4): 273-304 (2007)
210Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran: Complexity results for answer set programming with bounded predicate arities and implications. Ann. Math. Artif. Intell. 51(2-4): 123-165 (2007)
209Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Esra Erdem, Wolfgang Faber, Ján Senko: A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution. Fundam. Inform. 79(1-2): 25-69 (2007)
208Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Kazuhisa Makino: On computing all abductive explanations from a propositional Horn theory. J. ACM 54(5): (2007)
207Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Hans Tompits: A knowledge-based approach for selecting information sources. TPLP 7(3): 249-300 (2007)
206Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Leonid Libkin: Preface. Theor. Comput. Sci. 371(3): 147 (2007)
2006
205no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens: Rules and Rule Markup Languages for the Semantic Web, Second International Conference, RuleML 2006, Athens, Georgia, USA, November 10-11, 2006, Proceedings IEEE Computer Society 2006
204Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Kewen Wang: Forgetting and Conflict Resolving in Disjunctive Logic Programming. AAAI 2006: 238-243
203Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Ortiz, Diego Calvanese, Thomas Eiter: Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. AAAI 2006: 275-280
202Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFu-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: 1101-1105
201Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Ortiz, Diego Calvanese, Thomas Eiter: Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. Description Logics 2006
200no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Esra Erdem, Michael Fink, Ján Senko: Resolving Conflicts in Action Descriptions. ECAI 2006: 367-371
199Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits: Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. ESWC 2006: 273-287
198Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Reiterer, Thomas Eiter: A Distance-Based Method for the Evaluation of Interest point Detection Algorithms. ICIP 2006: 2745-2748
197Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Esra Erdem, Michael Fink, Ján Senko: Comparing Action Descriptions Based on Semantic Preferences. JELIA 2006: 124-137
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Ján Senko: A Tool for Answering Queries on Action Descriptions. JELIA 2006: 473-476
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Patrick Traxler, Stefan Woltran: An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs. JELIA 2006: 477-480
194no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran: Replacements in Non-Ground Answer-Set Programming. KR 2006: 340-351
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits: On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules. KSEM 2006: 1-22
192Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, Hans Tompits: Reasoning with Rules and Ontologies. Reasoning Web 2006: 93-127
191Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran: Replacements in Non-Ground Answer-Set Programming. WLP 2006: 145-153
190Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits: dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. WLP 2006: 206-210
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits: dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics. Web Intelligence 2006: 1073-1074
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, Kewen Wang: Forgetting in Managing Rules and Ontologies. Web Intelligence 2006: 411-419
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola 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. 7(3): 499-562 (2006)
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Leonid Libkin: Introduction to special ICDT section. ACM Trans. Database Syst. 31(3): 769 (2006)
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Lukasiewicz: Causes and explanations in the structural-model approach: Tractable cases. Artif. Intell. 170(6-7): 542-580 (2006)
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Hans Tompits: A Knowledge-Based Approach for Selecting Information Sources CoRR abs/cs/0604086: (2006)
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Axel Polleres: Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications. TPLP 6(1-2): 23-60 (2006)
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: Reasoning under minimal upper bounds in propositional logic. Theor. Comput. Sci. 369(1-3): 82-115 (2006)
2005
181no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Leonid Libkin: Database Theory - ICDT 2005, 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings Springer 2005
180no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Thomas Eiter, Jicheng Zhao: Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains. AAAI 2005: 578-583
179no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran: Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case. AAAI 2005: 695-700
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Esra Erdem, Michael Fink, Ján Senko: Updating Action Domain Descriptions. IJCAI 2005: 418-423
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits: A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. IJCAI 2005: 90-96
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Hans Tompits, Stefan Woltran: On Solution Correspondences in Answer-Set Programming. IJCAI 2005: 97-102
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter: Data Integration and Answer Set Programming. LPNMR 2005: 13-25
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina: Data Integration: a Challenging ASP Application. LPNMR 2005: 379-383
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Ján Senko: KMonitor - A Tool for Monitoring Plan Execution in Action Theories. LPNMR 2005: 416-421
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Patrick Traxler: Testing Strong Equivalence of Datalog Programs - Implementation and Examples. LPNMR 2005: 437-441
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Baumgartner, Thomas Eiter, Georg Gottlob, Marcus Herzog, Christoph Koch: Information Extraction for the Semantic Web. Reasoning Web 2005: 275-289
170no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco: Boosting Information Integration: The INFOMIX System. SEBD 2005: 55-66
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis: The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference 2005: 915-917
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Thomas Eiter, Georg Gottlob: Complexity of propositional nested circumscription and nested abnormality theories. ACM Trans. Comput. Log. 6(2): 232-272 (2005)
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: Reasoning about evolving nonmonotonic knowledge bases. ACM Trans. Comput. Log. 6(2): 389-440 (2005)
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Axel Polleres: Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications CoRR abs/cs/0501084: (2005)
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Stefan Woltran: Semantical Characterizations and Complexity of Equivalences in Answer Set Programming CoRR abs/cs/0502078: (2005)
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi: Data complexity of answering conjunctive queries over SHIQ knowledge bases CoRR abs/cs/0507059: (2005)
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Domenico Lembo: Preface. J. Applied Logic 3(1): 251-252 (2005)
2004
162no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Thomas Eiter: A Polynomial Time Algorithm for Constructing k-Maintainable Policies. ICAPS 2004: 111-121
161no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits: Combining Answer Set Programming with Description Logics for the Semantic Web. KR 2004: 141-151
160no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran: Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. KR 2004: 377-387
159no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran: On Eliminating Disjunctions in Stable Logic Programming. KR 2004: 447-458
158no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Thomas Eiter: A Polynomial-Time Algorithm for Constructing k-Maintainable Policies. KR 2004: 720-730
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits: Nonmonotonic Description Logic Programs: Implementation and Experiments. LPAR 2004: 511-527
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Axel Polleres: Towards Automated Integration of Guess and Check Programs in Answer Set Programming. LPNMR 2004: 100-113
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran: Simplifying Logic Programs Under Uniform and Strong Equivalence. LPNMR 2004: 87-99
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Esra Erdem, Wolfgang Faber: Plan reversals for recovery in execution monitoring. NMR 2004: 147-154
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits: Well-Founded Semantics for Description Logic Programs in the Semantic Web. RuleML 2004: 81-97
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: A logic programming approach to knowledge-state planning: Semantics and complexity. ACM Trans. Comput. Log. 5(2): 206-263 (2004)
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Klaus-Dieter Schewe: Preface. Ann. Math. Artif. Intell. 40(1-2): 1-3 (2004)
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Lukasiewicz: Complexity results for explanations in the structural-model approach. Artif. Intell. 154(1-2): 145-198 (2004)
2003
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter: Abduction and the Dualization Problem. ALT 2003: 1-2
148no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Axel Polleres: Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation. APPIA-GULP-PRODE 2003: 410-421
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran: Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. Answer Set Programming 2003
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran: Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation. Answer Set Programming 2003
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Kazuhisa Makino: Generating All Abductive Explanations for Queries on Propositional Horn Theories. CSL 2003: 197-211
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Kazuhisa Makino: Abduction and the Dualization Problem. Discovery Science 2003: 1-20
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo: Efficient Evaluation of Logic Programs for Querying Data Integration Systems. ICLP 2003: 163-177
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink: Uniform Equivalence of Logic Programs under the Stable Model Semantics. ICLP 2003: 224-238
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang: Monitoring Agents Using Declarative Planning. KI 2003: 646-660
140no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: Declarative Update Policies for Nonmonotonic Knowledge Bases. Logics for Emerging Applications of Databases 2003: 85-129
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Lukasiewicz: Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories. UAI 2003: 192-199
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: A logic programming approach to knowledge-state planning, II: The DLVK system. Artif. Intell. 144(1-2): 157-211 (2003)
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang: Monitoring Agents using Declarative Planning. Fundam. Inform. 57(2-4): 345-370 (2003)
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Answer Set Planning Under Action Costs. J. Artif. Intell. Res. (JAIR) 19: 25-71 (2003)
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Kazuhisa Makino: New Results on Monotone Dualization and Generating Hypergraph Transversals. SIAM J. Comput. 32(2): 514-537 (2003)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Computing preferred answer sets by meta-interpretation in answer set programming. TPLP 3(4-5): 463-498 (2003)
2002
133no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Klaus-Dieter Schewe: Foundations of Information and Knowledge Systems, Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002, Proceedings Springer 2002
132no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Kazuhisa Makino: On Computing all Abductive Explanations. AAAI/IAAI 2002: 62-67
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Viviana Mascardi, V. S. Subrahmanian: Error-Tolerant Agents. Computational Logic: Logic Programming and Beyond 2002: 586-625
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Answer Set Planning under Action Costs. JELIA 2002: 186-197
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres: The DLV System. JELIA 2002: 537-540
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: The DLVK Planning System: Progress Report. JELIA 2002: 541-544
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: Hypergraph Transversal Computation and Related Problems in Logic and AI. JELIA 2002: 549-564
126no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: A Generic Approach for Knowledge-Based Information-Site Selection. KR 2002: 459-469
125no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Lukasiewicz: Complexity Results for Explanations in the Structural-Model Approach. KR 2002: 49-60
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Kazuhisa Makino: New results on monotone dualization and generating hypergraph transversals. STOC 2002: 14-22
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran: Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks. TABLEAUX 2002: 100-114
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Lukasiewicz: Causes and Explanations in the Structural-Model Approach : Tractable Cases. UAI 2002: 146-153
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Viviana Mascardi: Comparing environments for developing software agents. AI Commun. 15(4): 169-197 (2002)
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Lukasiewicz: Complexity results for structure-based causality. Artif. Intell. 142(1): 53-89 (2002)
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Thomas Eiter, Georg Gottlob: Complexity of Nested Circumscription and Nested Abnormality Theories CoRR cs.AI/0207072: (2002)
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: Reasoning about Evolving Nonmonotonic Knowledge Bases CoRR cs.AI/0209019: (2002)
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello: The DLV System for Knowledge Representation and Reasoning CoRR cs.AI/0211004: (2002)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Kazuhisa Makino: New Results on Monotone Dualization and Generating Hypergraph Transversals CoRR cs.DS/0204009: (2002)
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming CoRR cs.LO/0201013: (2002)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Recognition and dualization of disguised bidual Horn functions. Inf. Process. Lett. 82(6): 283-291 (2002)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: Using Methods of Declarative Logic Programming for Intelligent Information Agents. TPLP 2(6): 645-709 (2002)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: On Properties of Update Sequences Based on Causal Rejection. TPLP 2(6): 711-767 (2002)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Decision lists and related Boolean functions. Theor. Comput. Sci. 270(1-2): 493-524 (2002)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Helmut Veith: On the complexity of data disjunctions. Theor. Comput. Sci. 288(1): 101-128 (2002)
2001
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Miroslaw Truszczynski: Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings Springer 2001
108no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Gerhard Brewka, Thomas Eiter: KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings Springer 2001
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. Answer Set Programming 2001
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran: Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results. Answer Set Programming 2001
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Daniel Veit, Jörg P. Müller, Martin Schneider II: Matchmaking for Structured Objects. DaWaK 2001: 186-194
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Thomas Schwentick: Second-Order Logic over Strings: Regular and Non-regular Fragments. Developments in Language Theory 2001: 37-56
103no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Thomas Eiter, Georg Gottlob: Complexity of Nested Circumscription and Abnormality Theories. IJCAI 2001: 169-174
102no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Lukasiewicz: Complexity Results for Structure-Based Causality. IJCAI 2001: 35-42
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: A Framework for Declarative Update Specifications in Logic Programs. IJCAI 2001: 649-654
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: Reasoning about Evolving Nonmonotonic Knowledge Bases. LPAR 2001: 407-421
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: An Update Front-End for Extended Logic Programs. LPNMR 2001: 397-401
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: System Description: The DLVK Planning System. LPNMR 2001: 429-433
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3): 374-425 (2001)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, James J. Lu, Thomas Lukasiewicz, V. S. Subrahmanian: Probabilistic object bases. ACM Trans. Database Syst. 26(3): 264-312 (2001)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Lukasiewicz, Michael Walter: A data model and algebra for probabilistic complex values. Ann. Math. Artif. Intell. 33(2-4): 205-252 (2001)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: On Properties of Update Sequences Based on Causal Rejection CoRR cs.AI/0109006: (2001)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity CoRR cs.AI/0112006: (2001)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: Using Methods of Declarative Logic Programming for Intelligent Information Agents CoRR cs.MA/0108008: (2001)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone: On ACTL Formulas Having Linear Counterexamples. J. Comput. Syst. Sci. 62(3): 463-515 (2001)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Disjunctions of Horn Theories and Their Cores. SIAM J. Comput. 31(1): 269-288 (2001)
2000
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. S. Subrahmanian, Piero A. Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, Robert B. Ross: Heterogenous Active Agents MIT Press 2000
88no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran: Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP. 15. WLP 2000: 113-122
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran: Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas. AAAI/IAAI 2000: 417-422
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Planning under Incomplete Knowledge. Computational Logic 2000: 807-821
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Lukasiewicz, Michael Walter: Extension of the Relational Algebra to Probabilistic Complex Values. FoIKS 2000: 94-115
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Thomas Eiter: Prioritizing Default Logic. Intellectics and Computational Logic 2000: 27-45
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: Considerations on Updates of Logic Programs. JELIA 2000: 2-20
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Lukasiewicz: New Tractable Cases in Default Reasoning from Conditional Knowledge Bases. JELIA 2000: 313-328
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Lukasiewicz: Complexity Results for Default Reasoning from Conditional Knowledge Bases. KR 2000: 62-73
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: On the Complexity of Theory Curbing. LPAR 2000: 1-19
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Using the dlv System for Planning and Diagnostic Reasoning. WLP 2000: 125-134
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran: Implementing Default Reasoning Using Quantified Boolean Formulae. WLP 2000: 223-228
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, V. S. Subrahmanian, Timothy J. Rogers: Heterogeneous active agents, III: Polynomially implementable agents. Artif. Intell. 117(1): 107-167 (2000)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Lukasiewicz: Default reasoning from conditional knowledge bases: Complexity and tractable cases. Artif. Intell. 124(2): 169-241 (2000)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer: DLV - A System for Declarative Problem Solving CoRR cs.AI/0003036: (2000)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran: QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks CoRR cs.AI/0003037: (2000)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Yuri Gurevich, Georg Gottlob: Existential second-order logic over strings. J. ACM 47(1): 77-131 (2000)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: On the Difference of Horn Theories. J. Comput. Syst. Sci. 61(3): 478-507 (2000)
1999
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: On the Difference of Horn Theories. STACS 1999: 467-477
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer: The Diagnosis Frontend of the dlv System. AI Commun. 12(1-2): 99-111 (1999)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, V. S. Subrahmanian, George Pick: Heterogeneous Active Agents, I: Semantics. Artif. Intell. 108(1-2): 179-255 (1999)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, V. S. Subrahmanian: Heterogeneous Active Agents, II: Algorithms and Complexity. Artif. Intell. 108(1-2): 257-307 (1999)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Thomas Eiter: Preferred Answer Sets for Extended Logic Programs. Artif. Intell. 109(1-2): 297-356 (1999)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Computing Intersections of Horn Theories for Reasoning with Models. Artif. Intell. 110(1): 57-101 (1999)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone: Enhancing Model Checking in Verification by AI Techniques. Artif. Intell. 112(1-2): 57-104 (1999)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Bidual Horn Functions and Extensions. Discrete Applied Mathematics 96-97: 55-88 (1999)
1998
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Computing Intersections of Horn Theories for Reasoning with Models. AAAI/IAAI 1998: 292-297
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, V. S. Subrahmanian: Deontic Action Programs. FMLDO 1998: 37-54
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: Progress Report on the Disjunctive Deductive Database System dlv. FQAS 1998: 148-163
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Disjunctions of Horn Theories and Their Cores. ISAAC 1998: 49-58
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: The KR System dlv: Progress Report, Comparisons and Benchmarks. KR 1998: 406-417
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Thomas Eiter: Preferred Answer Sets for Extended Logic Programs. KR 1998: 86-97
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Yuri Gurevich: Existential Second-Order Logic over Strings. LICS 1998: 16-27
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: On Disguised Double Horn Functions and Extensions. STACS 1998: 50-60
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, James J. Lu, V. S. Subrahmanian: A First-Order Representation of Stable Models. AI Commun. 11(1): 53-73 (1998)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Double Horn Functions. Inf. Comput. 144(2): 155-190 (1998)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic. J. Symb. Log. 63(1): 73-82 (1998)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Nicola Leone, Domenico Saccà: Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases. Theor. Comput. Sci. 206(1-2): 181-218 (1998)
1997
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: The Architecture of a Disjunctive Deductive Database System. APPIA-GULP-PRODE 1997: 141-152
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Helmut Veith: Generalized Quantifiers in Logic Programs. ESSLLI 1997: 72-98
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic. FCT 1997: 1-18
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov: Complexity and Expressive Power of Logic Programming. IEEE Conference on Computational Complexity 1997: 82-101
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Two-Face Horn Extensions. ISAAC 1997: 112-121
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, James J. Lu, V. S. Subrahmanian: Computing Non-Ground Representations of Stable Models. LPNMR 1997: 198-217
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Helmut Veith: Modular Logic Programming and Generalized Quantifiers. LPNMR 1997: 290-309
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: A Deductive System for Non-Monotonic Reasoning. LPNMR 1997: 364-375
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: The dlv System: Model Generator and Advanced Frontends (system description). WLP 1997: 0-
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Heikki Mannila: Disjunctive Datalog. ACM Trans. Database Syst. 22(3): 364-418 (1997)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Heikki Mannila: Distance Measures for Point Sets and their Computation. Acta Inf. 34(2): 109-133 (1997)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Nicola Leone, Domenico Saccà: On the Partial Semantics for Disjunctive Deductive Databases. Ann. Math. Artif. Intell. 19(1-2): 59-96 (1997)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Nicola Leone: Semantics and Complexity of Abduction from Default Theories. Artif. Intell. 90(1-2): 177-223 (1997)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Thomas Eiter, Georg Gottlob: Default Logic as a Query Language. IEEE Trans. Knowl. Data Eng. 9(3): 448-463 (1997)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Nicola Leone: On the Indiscernibility of Individuals in Logic Programming. J. Log. Comput. 7(6): 805-824 (1997)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions. J. Log. Program. 33(2): 167-178 (1997)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Nicola Leone: Abduction from Logic Programs: Semantics and Complexity. Theor. Comput. Sci. 189(1-2): 129-177 (1997)
1996
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Nicola Leone, Domenico Saccà: Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases. APPIA-GULP-PRODE 1996: 271-282
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Nicola Leone, Domenico Saccà: Partial Semantics for Disjunctive Deductive Databases. DEXA 1996: 564-573
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Nicola Leone, Domenico Saccà: The Expressive Power of Partial Models in Disjunctive Deductive Databases. Logic in Databases 1996: 245-264
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Yuri Gurevich: Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems. Ann. Pure Appl. Logic 78(1-3): 111-125 (1996)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. J. Comput. Syst. Sci. 53(3): 497-512 (1996)
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: Mächtigkeit von Logikprogrammierung über Datenbanken. KI 10(3): 32-39 (1996)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiero A. Bonatti, Thomas Eiter: Querying Disjunctive Databases Through Nonmonotonic Logics. Theor. Comput. Sci. 160(1&2): 321-363 (1996)
1995
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiero A. Bonatti, Thomas Eiter: Querying Disjunctive Database Through Nonmonotonic Logics. ICDT 1995: 68-81
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Nicola Leone: Semantics and Complexity of Abduction from Default Theories. IJCAI (1) 1995: 870-877
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Nicola Leone: Complexity Results for Abductive Logic Programming. LPNMR 1995: 1-14
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Nicola Leone: On Modularity Properties of Partial Semantics for Disjunctive Logic Programs. WLP 1995: 217-226
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter: Generating Boolean mu-Expressions. Acta Inf. 32(2): 171-187 (1995)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: On the Computational Cost of Disjunctive Logic Programming: Propositional Case. Ann. Math. Artif. Intell. 15(3-4): 289-323 (1995)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Pekka Kilpeläinen, Heikki Mannila: Recognizing Renamable Generalized Propositional Horn Formulas Is NP-complete. Discrete Applied Mathematics 59(1): 23-31 (1995)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: The Complexity of Logic-Based Abduction. J. ACM 42(1): 3-42 (1995)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: Identifying the Minimal Transversals of a Hypergraph and Related Problems. SIAM J. Comput. 24(6): 1278-1304 (1995)
1994
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Heikki Mannila: Disjunctive Logic Programming over Finite Structures. GI Jahrestagung 1994: 69-73
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Heikki Mannila: Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics. IS/KI 1994: 83-103
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Thomas Eiter, Georg Gottlob: Default Logic as a Query Language. KR 1994: 99-108
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Heikki Mannila: Adding Disjunction to Datalog. PODS 1994: 267-278
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter: Exact Transversal Hypergraphs and Application to Boolean µ-Functions. J. Symb. Comput. 17(3): 215-225 (1994)
1993
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. IJCAI 1993: 526-533
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob, Yuri Gurevich: Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information. IJCAI 1993: 634-639
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics. ILPS 1993: 266-278
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: Complexity Aspects of Various Semantics for Disjunctive Databases. PODS 1993: 158-167
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: The Complexity of Logic-Based Abduction. STACS 1993: 70-79
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete. Theor. Comput. Sci. 114(2): 231-245 (1993)
1992
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: Complexity of Propositional Knowledge Base Revision. CNKBS 1992: 38-40
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. PODS 1992: 261-273
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: Complexity Results for Logic-Based Abduction. Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 29-44
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Thomas Eiter, Georg Gottlob: An Efficient Method for Eliminating Varying Predicates from a Circumscription. Artif. Intell. 54(2): 397-410 (1992)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. Artif. Intell. 57(2-3): 227-270 (1992)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Georg Gottlob: Reasoning with parsimonious and moderately grounded expansions. Fundam. Inform. 17(1-2): 31-53 (1992)
1991
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Schrefl, Markus Stumptner: Sperrverfahren für B-Bäume im Vergleich. Informatik Spektrum 14(4): 183-200 (1991)

Coauthor Index

1Grigoris Antoniou [291]
2Franz Baader [108]
3Seif El-Din Bairakdar [266] [267]
4Chitta Baral [158] [162] [180] [229]
5Robert Baumgartner [171]
6Meghyn Bienvenu [272]
7Marcus Bjäreland [229]
8Markus Bögl [265]
9Piero A. Bonatti [27] [28] [89]
10Gerhard Brewka [58] [67] [84] [108] [222] [248] [249] [256] [275] [285] [289]
11Jos de Bruijn [193] [218] [226] [235] [281]
12François Bry (François Bry-Haußer) [213]
13Francesco Buccafurri [65] [91]
14Marco Cadoli [4] [16] [38] [103] [119] [168]
15Francesco Calimeri [129]
16Diego Calvanese [164] [201] [203] [221] [223] [253]
17Fu-Leung Cheng [202]
18Simona Citrigno [43]
19Evgeny Dantsin [48] [97]
20Minh Dao-Tran [247] [255] [256] [257] [264] [266] [267] [273]
21Tina Dell'Armi [129]
22Jürgen Dix [89] [137] [141]
23Wlodzimierz Drabent (Wlodek Drabent) [243]
24Christian Drescher [280] [287]
25Uwe Egly [74] [78] [87] [88] [106] [231]
26Norbert Eisinger [213]
27Esra Erdem [154] [178] [197] [200] [209] [211] [216] [224] [254] [259] [278]
28Michael Erdmann [261]
29Halit Erdogan [254] [278]
30Wolfgang Faber [43] [70] [75] [79] [86] [93] [98] [107] [109] [115] [117] [128] [129] [130] [134] [136] [138] [147] [152] [154] [160] [169] [170] [172] [174] [187] [209] [210] [216] [224] [274] [279]
31Cristina Feier [246]
32Michael Fink [83] [92] [94] [99] [100] [101] [112] [113] [118] [126] [137] [140] [141] [142] [143] [146] [147] [155] [159] [160] [165] [167] [169] [170] [173] [174] [178] [179] [184] [191] [194] [196] [197] [200] [207] [210] [211] [212] [217] [232] [241] [247] [252] [254] [255] [256] [259] [262] [263] [264] [265] [266] [267] [268] [273] [278] [280] [285] [286] [287] [288] [289]
33Enrico Franconi [164] [205] [258]
34Tim Furche [213]
35Georg Gottlob [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15] [16] [17] [18] [19] [20] [22] [25] [26] [29] [30] [31] [35] [36] [37] [38] [39] [42] [43] [45] [48] [49] [50] [53] [57] [65] [73] [80] [91] [97] [103] [104] [116] [117] [119] [124] [127] [129] [135] [168] [169] [170] [171] [174] [182] [187] [213] [225] [236] [269]
36Luigi Granata [174]
37Gianluigi Greco [143] [169] [170] [174] [232]
38Yuri Gurevich [12] [31] [57] [73]
39Claudio Gutierrez (Claudio Gutiérrez) [258]
40Siegfried Handschuh [258]
41Marcus Herzog [171]
42Stijn Heymans [246] [261] [270] [271]
43Ralph Hodgson [205]
44Giovambattista Ianni [129] [157] [169] [174] [177] [188] [189] [190] [192] [199] [220] [228] [230] [233] [237] [243] [245] [256] [282] [286]
45Toshihide Ibaraki [47] [54] [56] [60] [63] [64] [66] [71] [72] [90] [111] [114]
46Giuseppe Ielpa [129]
47Heribert Kahmen [231]
48Edyta Kalka [169] [174]
49Pekka Kilpeläinen [21]
50Volker Klotz [88] [106] [123]
51Christoph Koch [43] [75] [129] [171]
52Roman Korf [261]
53Sarit Kraus [89]
54Thomas Krennwallner [220] [230] [233] [237] [243] [245] [247] [252] [255] [256] [257] [264] [266] [267] [273] [277] [280] [284] [286] [287] [292]
55Domenico Lembo [143] [163] [169] [174] [232]
56Maurizio Lenzerini [169] [174]
57Nicola Leone [24] [25] [26] [32] [33] [34] [35] [37] [39] [40] [43] [44] [51] [52] [59] [61] [65] [70] [75] [79] [86] [91] [93] [98] [107] [115] [117] [128] [129] [130] [134] [136] [138] [152] [169] [170] [174] [187] [279]
58Clemens Ley [213]
59Leonid Libkin [181] [186] [206]
60Benedikt Linse [213]
61Vincenzino Lio [169] [174]
62James J. Lu [46] [55] [96]
63Thomas Lukasiewicz [76] [81] [82] [85] [95] [96] [102] [120] [122] [125] [139] [150] [153] [161] [185] [228] [243] [282]
64Carsten Lutz [244] [251] [272]
65Kazuhisa Makino [47] [54] [56] [60] [63] [64] [66] [71] [72] [90] [111] [114] [116] [124] [132] [135] [144] [145] [208] [225] [239]
66Jan Maluszynski [243]
67Heikki Mannila [15] [17] [18] [21] [41] [42]
68Viviana Mascardi [121] [131]
69Cristinel Mateis [43] [44] [51] [59] [61]
70João Moura [262]
71Jörg P. Müller [105]
72Mushthofa Mushthofa [274]
73Mutsumi Nakamura [229]
74Davy Van Nieuwenborgh [214]
75Bartosz Nowicki [169] [174]
76Magdalena Ortiz (Maria Magdalena Ortiz de la Fuente) [164] [201] [203] [221] [223] [234] [236] [240] [242] [244] [251] [253] [272] [290]
77Fatma Özcan (Fatma Ozcan) [89]
78Simona Perri [117] [129] [187]
79Gerald Pfeifer [43] [44] [51] [59] [61] [70] [75] [79] [86] [93] [98] [107] [115] [117] [128] [129] [130] [134] [136] [138] [147] [152] [160] [187] [279]
80Reinhard Pichler [213]
81George Pick [69]
82Axel Polleres [79] [86] [93] [98] [128] [129] [130] [136] [137] [138] [141] [148] [152] [156] [166] [183] [192] [193] [218] [226] [233] [279] [281]
83Jörg Pührer [261] [270]
84Christoph Redl [277] [284]
85Alexander Reiterer [198] [231]
86Nathan Robinson [202]
87Timothy J. Rogers [77]
88Riccardo Rosati [169] [174]
89Robert B. Ross [89]
90Marie-Christine Rousset [258]
91Marco Ruzzi [169] [174]
92Giuliana Sabbatini [83] [92] [94] [99] [100] [101] [112] [113] [118] [126] [140] [167]
93Domenico Saccà [32] [33] [34] [40] [52]
94Abdul Sattar [202]
95Francesco Scarcello [43] [44] [51] [59] [61] [117] [187]
96Klaus-Dieter Schewe [133] [151]
97Roman Schindlauer [153] [157] [161] [177] [188] [189] [190] [192] [199] [220] [228] [230] [237] [282]
98Renate A. Schmidt [258]
99Patrik Schneider [292]
100Martin Schneider II [105]
101Michael Schrefl [1]
102Peter Schüller [263] [265] [286] [288]
103Thomas Schwentick [104] [269]
104Ján Senko [173] [178] [196] [197] [200] [209] [211] [241] [259]
105Yi-Dong Shen [276]
106Mantas Simkus [215] [234] [236] [240] [242] [244] [250] [251] [260] [272] [290]
107Witold Staniszkis [169] [174]
108Susie Stephens [205]
109Markus Stumptner [1]
110V. S. Subrahmanian [46] [55] [62] [68] [69] [77] [89] [96] [131]
111Giorgio Terracina [169] [174]
112Sergio Tessaris [258]
113Hans Tompits [74] [78] [83] [87] [88] [92] [94] [99] [100] [101] [106] [112] [113] [118] [123] [126] [140] [146] [153] [155] [157] [159] [161] [167] [176] [177] [179] [184] [188] [189] [190] [191] [192] [193] [194] [199] [207] [217] [218] [226] [228] [235] [281]
114Patrick Traxler [172] [191] [194] [195]
115Miroslaw Truszczynski [109] [275]
116Daniel Veit [105]
117Helmut Veith [45] [50] [110]
118Dirk Vermeir [214]
119Andrei Voronkov [48] [97]
120Toby Walsh [280] [287]
121Michael Walter [85] [95]
122Kewen Wang [188] [202] [204] [227] [291]
123Yisong Wang [276]
124Fang Wei [213]
125Antonius Weinzierl [263] [268] [289]
126Stefan Woltran [74] [78] [87] [88] [106] [123] [146] [147] [155] [159] [160] [165] [176] [179] [191] [194] [195] [210] [212] [217]
127Guohui Xiao [271] [283] [292]
128Jia-Huai You [276]
129Li-Yan Yuan [276]
130Yingqian Zhang [137] [141]
131Jicheng Zhao [180]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page