×
Compute Distance To:
Author ID: eiter.thomas Recent zbMATH articles by "Eiter, Thomas"
Published as: Eiter, Thomas; Eiter, T.
Homepage: http://www.kr.tuwien.ac.at/staff/eiter/index.html
External Links: MGP · ORCID · Google Scholar · ResearchGate · dblp · GND
all top 5

Co-Authors

6 single-authored
47 Fink, Michael
34 Gottlob, Georg
21 Leone, Nicola
20 Krennwallner, Thomas
16 Faber, Wolfgang
16 Makino, Kazuhisa
13 Polleres, Axel
13 Tompits, Hans
11 Dao-Tran, Minh
11 Ibaraki, Toshihide
11 Pfeifer, Gerald
10 Lukasiewicz, Thomas
9 Ianni, Giovambattista
9 Schüller, Peter
7 Redl, Christoph
7 Šimkus, Mantas
7 Woltran, Stefan
6 Brewka, Gerhard
6 Erdem, Esra
6 Ortiz, Magdalena
6 Sabbatini, Giuliana
5 Beck, Harald
5 Kaminski, Tobias
5 Saribatur, Zeynep Gozen
5 Subrahmanian, V. S.
5 Weinzierl, Antonius
4 Schindlauer, Roman
4 Senko, Ján
4 Stepanova, Daria A.
3 Bozzato, Loris
3 Calvanese, Diego
3 Gurevich, Yuri
3 Kiesel, Rafael
3 Saccà, Domenico
3 Schekotihin, Konstantin
3 Shen, Yidong
3 Truszczyński, Mirosław
3 Wang, Kewen
2 Amendola, Giovanni
2 Bairakdar, Seif El-Din
2 Buccafurri, Francesco
2 Cadoli, Marco
2 Dix, Jurgen
2 Feier, Cristina
2 Franconi, Enrico
2 Kifer, Michael
2 Lembo, Domenico
2 Libkin, Leonid O.
2 Mannila, Heikki
2 Ogris, Paul
2 Perri, Simona
2 Schewe, Klaus-Dieter
2 Schwentick, Thomas
2 Serafini, Luciano
2 Strass, Hannes
2 Toni, Francesca
2 Veith, Helmut
2 Walter, Michael
2 Zhang, Yingqian
1 Antić, Christian
1 Antoniou, Grigoris
1 Baader, Franz
1 Baral, Chitta R.
1 Bierbaumer, Bruno
1 Bjäreland, Marcus
1 Bögl, Markus
1 Bonatti, Piero Andrea
1 Bry, François
1 Calimeri, Francesco
1 de Bruijn, Jos
1 De Vos, Marina
1 Dell’Armi, Tina
1 Deng, Jun
1 Dodaro, Carmine
1 Drescher, Christian
1 Eisinger, Norbert
1 Erdoğan, Halit
1 Folie, Christian
1 Furche, Tim
1 Galdi, Giovanni Paolo
1 Greco, Gianluigi
1 Gutiérrez, Claudio
1 Handschuh, Siegfried
1 Hellwagner, Hermann
1 Heymans, Stijn
1 Hopf, Katharina
1 Horrocks, Ian
1 Ielpa, Giuseppe
1 Inoue, Katsumi
1 Kilpeläinen, Pekka
1 Klotz, Volker
1 Koch, Christoph T.
1 Ley, Clemens
1 Lierler, Yuliya
1 Lin, Fangzhen
1 Linse, Benedikt
1 Lu, James J.
1 Lutz, Carsten
1 Maratea, Marco
1 Mascardi, Viviana
...and 25 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

151 Publications have been cited 1,503 times in 874 Documents Cited by Year
The DLV system for knowledge representation and reasoning. Zbl 1367.68308
Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Eiter, Thomas; Gottlob, Georg; Perri, Simona; Scarcello, Francesco
133
2006
Identifying the minimal transversals of a hypergraph and related problems. Zbl 0842.05070
Eiter, Thomas; Gottlob, Georg
97
1995
On the computational cost of disjunctive logic programming: Propositional case. Zbl 0858.68016
Eiter, Thomas; Gottlob, Georg
85
1995
On the complexity of propositional knowledge base revision, updates, and counterfactuals. Zbl 0763.68038
Eiter, Thomas; Gottlob, Georg
61
1992
Combining answer set programming with description logics for the semantic web. Zbl 1183.68595
Eiter, Thomas; Ianni, Giovambattista; Lukasiewicz, Thomas; Schindlauer, Roman; Tompits, Hans
59
2008
The complexity of logic-based abduction. Zbl 0886.68121
Eiter, Thomas; Gottlob, Georg
56
1995
Enhancing model checking in verification by AI techniques. Zbl 0996.68104
Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola
40
1999
New results on monotone dualization and generating hypergraph transversals. Zbl 1052.68101
Eiter, Thomas; Gottlob, Georg; Makino, Kazuhisa
38
2003
Computational aspects of monotone dualization: a brief survey. Zbl 1160.68016
Eiter, Thomas; Makino, Kazuhisa; Gottlob, Georg
38
2008
Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete. Zbl 0786.68085
Eiter, Thomas; Gottlob, Georg
37
1993
Preferred answer sets for extended logic programs. Zbl 0916.68091
Brewka, Gerhard; Eiter, Thomas
31
1999
Hypergraph transversal computation and related problems in logic and AI. Zbl 1013.68143
Eiter, Thomas; Gottlob, Georg
27
2002
Uniform equivalence of logic programs under the stable model semantics. Zbl 1204.68052
Eiter, Thomas; Fink, Michael
25
2003
Semantical characterizations and complexity of equivalences in answer set programming. Zbl 1367.68031
Eiter, Thomas; Fink, Michael; Woltran, Stefan
24
2007
Simplifying logic programs under uniform and strong equivalence. Zbl 1122.68369
Eiter, Thomas; Fink, Michael; Tompits, Hans; Woltran, Stefan
22
2004
Abduction from logic programs: Semantics and complexity. Zbl 0893.68022
Eiter, Thomas; Gottlob, Georg; Leone, Nicola
19
1997
Answer set programming: a primer. Zbl 1254.68248
Eiter, Thomas; Ianni, Giovambattista; Krennwallner, Thomas
19
2009
Distance measures for point sets and their computation. Zbl 0865.51011
Eiter, Thomas; Mannila, Heikki
18
1997
Declarative problem-solving using the DLV system. Zbl 0979.68091
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald
17
2000
Semantic forgetting in answer set programming. Zbl 1184.68159
Eiter, Thomas; Wang, Kewen
17
2008
Complexity results for answer set programming with bounded predicate arities and implications. Zbl 1138.68017
Eiter, Thomas; Faber, Wolfgang; Fink, Michael; Woltran, Stefan
17
2007
LARS: a logic-based framework for analytic reasoning over streams. Zbl 1448.68395
Beck, Harald; Dao-Tran, Minh; Eiter, Thomas
15
2018
Exact transversal hypergraphs and application to Boolean \(\mu\)-functions. Zbl 0809.94032
Eiter, Thomas
15
1994
Data complexity of query answering in expressive description logics via tableaux. Zbl 1154.68102
Ortiz, Magdalena; Calvanese, Diego; Eiter, Thomas
15
2008
A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system. Zbl 1079.68619
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel
15
2003
A logic programming approach to knowledge-state planning, semantics and complexity. Zbl 1367.68301
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel
15
2004
Default reasoning from conditional knowledge bases: Complexity and tractable cases. Zbl 0952.68139
Eiter, T.; Lukasiewicz, T.
14
2000
Finding explanations of inconsistency in multi-context systems. Zbl 1309.68177
Eiter, Thomas; Fink, Michael; Schüller, Peter; Weinzierl, Antonius
13
2014
On the partial semantics for disjunctive deductive databases. Zbl 0880.68029
Eiter, Thomas; Leone, Nicola; Saccà, Domenico
13
1997
On properties of update sequences based on causal rejection. Zbl 1105.68326
Eiter, Thomas; Fink, Michael; Sabbatini, Giuliana; Tompits, Hans
13
2002
Prioritizing default logic. Zbl 0997.03032
Brewka, Gerhard; Eiter, Thomas
12
2000
New results on monotone dualization and generating hypergraph transversals. Zbl 1192.68356
Eiter, Thomas; Gottlob, Georg; Makino, Kazuhisa
12
2002
Evaluating epistemic negation in answer set programming. Zbl 1358.68278
Shen, Yi-Dong; Eiter, Thomas
12
2016
Semantics and complexity of abduction from default theories. Zbl 1017.03515
Eiter, Thomas; Gottlob, Georg; Leone, Nicola
11
1997
FLP answer set semantics without circular justifications for general logic programs. Zbl 1391.68016
Shen, Yi-Dong; Wang, Kewen; Eiter, Thomas; Fink, Michael; Redl, Christoph; Krennwallner, Thomas; Deng, Jun
10
2014
Heterogeneous active agents, I: Semantics. Zbl 0914.68123
Eiter, Thomas; Subrahmanian, V. S.; Pick, George
9
1999
Efficient HEX-program evaluation based on unfounded sets. Zbl 1361.68031
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter
9
2014
Updating action domain descriptions. Zbl 1225.68251
Eiter, Thomas; Erdem, Esra; Fink, Michael; Senko, Ján
9
2010
Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources. Zbl 1326.68273
Brewka, Gerhard; Eiter, Thomas; Fink, Michael
9
2011
Modular nonmonotonic logic programming revisited. Zbl 1251.68056
Dao-Tran, Minh; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas
9
2009
\(\mathbb{FDNC}\): Decidable non-monotonic disjunctive logic programs with function symbols. Zbl 1137.68334
Šimkus, Mantas; Eiter, Thomas
9
2007
Semi-equilibrium models for paracoherent answer set programs. Zbl 1351.68259
Amendola, Giovanni; Eiter, Thomas; Fink, Michael; Leone, Nicola; Moura, João
9
2016
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications. Zbl 1109.68028
Eiter, Thomas; Polleres, Axel
8
2006
Answer set planning under action costs. Zbl 1026.68124
Eiter, T.; Faber, W.; Leone, N.; Pfeifer, G.; Polleres, A.
8
2003
Complexity results for structure-based causality. Zbl 1043.68100
Eiter, Thomas; Lukasiewicz, Thomas
8
2002
Conflict-driven ASP solving with external sources. Zbl 1260.68060
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph
8
2012
Efficient evaluation of logic programs for querying data integration systems. Zbl 1204.68080
Eiter, Thomas; Fink, Michael; Greco, Gianluigi; Lembo, Domenico
8
2003
Ticker: a system for incremental ASP-based stream reasoning. Zbl 1422.68218
Beck, Harald; Eiter, Thomas; Folie, Christian
8
2017
A model building framework for answer set programming with external computations. Zbl 1379.68058
Eiter, Thomas; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter
8
2016
Computing preferred answer sets by meta-interpretation in answer set programming. Zbl 1079.68096
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald
7
2003
Nonmonotonic description logic programs: Implementation and experiments. Zbl 1108.68359
Eiter, Thomas; Ianni, Giovambattista; Schindlauer, Roman; Tompits, Hans
7
2005
Query answering in description logics: the knots approach. Zbl 1246.68207
Eiter, Thomas; Lutz, Carsten; Ortiz, Magdalena; Šimkus, Mantas
7
2009
Exploiting answer set programming with external sources for meta-interpretive learning. Zbl 1451.68064
Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi
7
2018
Well-founded semantics for description logic programs in the semantic web. Zbl 1351.68275
Eiter, Thomas; Ianni, Giovambattista; Lukasiewicz, Thomas; Schindlauer, Roman
7
2011
Domain expansion for ASP-programs with external sources. Zbl 1351.68265
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph
7
2016
Double Horn functions. Zbl 0912.06011
Eiter, Thomas; Ibaraki, Toshihide; Makino, Kazuhisa
6
1998
Normal forms for second-order logic over finite structures, and classification of NP optimization problems. Zbl 0883.03015
Eiter, Thomas; Gottlob, Georg; Gurevich, Yuri
6
1996
Model-based recasting in answer-set programming. Zbl 1400.68048
Eiter, Thomas; Fink, Michael; Pührer, Jörg; Tompits, Hans; Woltran, Stefan
6
2013
Rule-based stream reasoning for intelligent administration of content-centric networks. Zbl 1483.68021
Beck, Harald; Bierbaumer, Bruno; Dao-Tran, Minh; Eiter, Thomas; Hellwagner, Hermann; Schekotihin, Konstantin
6
2016
The DLV system. Zbl 1014.68871
Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Calimeri, Francesco; Dell’Armi, Tina; Eiter, Thomas; Gottlob, Georg; Ianni, Giovambattista; Ielpa, Giuseppe; Koch, Christoph; Perri, Simona; Polleres, Axel
6
2002
Planning under incomplete knowledge. Zbl 0983.68539
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel
6
2000
Tractable reasoning with DL-programs over Datalog-rewritable description logics. Zbl 1211.68402
Heymans, Stijn; Eiter, Thomas; Xiao, Guohui
6
2010
The complexity of nested counterfactuals and iterated knowledge base revisions. Zbl 0869.68045
Eiter, Thomas; Gottlob, Georg
6
1996
Hex semantics via approximation fixpoint theory. Zbl 1405.68039
Antić, Christian; Eiter, Thomas; Fink, Michael
6
2013
Probabilistic object bases. Zbl 1136.68379
Eiter, Thomas; Lu, James J.; Lukasiewicz, Thomas; Subrahmanian, V. S.
6
2001
Query answering in the description logic Horn-\(\mathcal{SHIQ}\). Zbl 1178.68558
Eiter, Thomas; Gottlob, Georg; Ortiz, Magdalena; Šimkus, Mantas
6
2008
Data integration and answer set programming. Zbl 1152.68639
Eiter, Thomas
6
2005
FDNC: decidable nonmonotonic disjunctive logic programs with function symbols. Zbl 1351.68052
Eiter, Thomas; Šimkus, Mantas
6
2010
Expressive power and complexity of partial models for disjunctive deductive databases. Zbl 0913.68053
Eiter, Thomas; Leone, Nicola; Saccá, Domenico
5
1998
Reasoning with parsimonious and moderately grounded expansions. Zbl 0772.68081
Eiter, Thomas; Gottlob, Georg
5
1992
Preference-based inconsistency assessment in multi-context systems. Zbl 1306.68204
Eiter, Thomas; Fink, Michael; Weinzierl, Antonius
5
2010
Decision lists and related Boolean functions. Zbl 0988.68146
Eiter, Thomas; Ibaraki, Toshihide; Makino, Kazuhisa
5
2002
Querying disjunctive databases through nonmonotonic logics. Zbl 0872.68029
Bonatti, Piero A.; Eiter, Thomas
5
1996
Finding similar/diverse solutions in answer set programming. Zbl 1266.68081
Eiter, Thomas; Erdem, Esra; Erdogan, Halit; Fink, Michael
5
2013
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination. Zbl 1351.68273
Bruijn, Jos De; Eiter, Thomas; Polleres, Axel; Tompits, Hans
5
2011
Enhancing context knowledge repositories with justifiable exceptions. Zbl 1444.68196
Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
5
2018
Generating all abductive explanations for queries on propositional Horn theories. Zbl 1116.68591
Eiter, Thomas; Makino, Kazuhisa
4
2003
Recognizing renamable generalized propositional Horn formulas is NP- complete. Zbl 0822.68050
Eiter, Thomas; Kilpeläinen, Pekka; Mannila, Heikki
4
1995
Argumentation context systems: a framework for abstract group argumentation. Zbl 1258.68154
Brewka, Gerhard; Eiter, Thomas
4
2009
The DMCS solver for distributed nonmonotonic multi-context systems. Zbl 1306.68201
Bairakdar, Seif El-Din; Dao-Tran, Minh; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas
4
2010
Answering regular path queries in expressive description logics via alternating tree-automata. Zbl 1360.68801
Calvanese, Diego; Eiter, Thomas; Ortiz, Magdalena
4
2014
Existential second-order logic over strings. Zbl 1095.03503
Eiter, Thomas; Gurevich, Yuri; Gottlob, Georg
4
2000
Pushing efficient evaluation of HEX programs by modular decomposition. Zbl 1327.68062
Eiter, Thomas; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas; Schüller, Peter
4
2011
Exploiting conjunctive queries in description logic programs. Zbl 1165.68499
Eiter, Thomas; Ianni, Giovambattista; Krennwallner, Thomas; Schindlauer, Roman
4
2008
Combining nonmonotonic knowledge bases with external sources. Zbl 1193.68242
Eiter, Thomas; Brewka, Gerhard; Dao-Tran, Minh; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas
4
2009
Distributed evaluation of nonmonotonic multi-context systems. Zbl 1328.68223
Dao-Tran, Minh; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas
4
2015
Heterogeneous active agents, II: Algorithms and complexity. Zbl 0914.68124
Eiter, Thomas; Subrahmanian, V. S.
3
1999
Disjunctions of Horn theories and their cores. Zbl 0923.03055
Eiter, Thomas; Ibaraki, Toshihide; Makino, Kazuhisa
3
1998
The expressive power of partial models for disjunctive deductive databases. Zbl 0891.68038
Eiter, T.; Leone, N.; Saccà, D.
3
1996
An efficient method for eliminating varying predicates from a circumscription. Zbl 0762.03013
Cadoli, Marco; Eiter, Thomas; Gottlob, Georg
3
1992
Bidual Horn functions and extensions. Zbl 0941.68152
Eiter, Thomas; Ibaraki, Toshihide; Makino, Kazuhisa
3
1999
Heterogeneous active agents. III: Polynomially implementable agents. Zbl 0943.68156
Eiter, T.; Subrahmanian, V. S.; Rogers, T. J.
3
2000
Computing intersections of Horn theories for reasoning with models. Zbl 0996.68188
Eiter, Thomas; Ibaraki, Toshihide; Makino, Kazuhisa
3
1999
Causes and explanations in the structural-model approach: Tractable cases. Zbl 1131.68104
Eiter, Thomas; Lukasiewicz, Thomas
3
2006
On ACTL formulas having linear counterexamples. Zbl 0990.68102
Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola
3
2001
Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots. Zbl 1238.68153
Eiter, Thomas; Ortiz, Magdalena; Šimkus, Mantas
3
2012
On computing all abductive explanations from a propositional Horn theory. Zbl 1312.68177
Eiter, Thomas; Makino, Kazuhisa
3
2007
Abstraction for non-ground answer set programs. Zbl 07169132
Saribatur, Zeynep G.; Schüller, Peter; Eiter, Thomas
3
2019
A distributed approach to LARS stream reasoning (system paper). Zbl 1434.68546
Eiter, Thomas; Ogris, Paul; Schekotihin, Konstantin
3
2019
Generating Boolean \(\mu\)-expressions. Zbl 0824.68109
Eiter, Thomas
2
1995
On the spatially asymptotic structure of time-periodic solutions to the Navier-Stokes equations. Zbl 1470.35257
Eiter, Thomas
2
2021
Omission-based abstraction for answer set programs. Zbl 1472.68029
Saribatur, Zeynep G.; Eiter, Thomas
1
2021
Weighted Lars for quantitative stream reasoning. Zbl 1464.68356
Eiter, Thomas; Kiesel, Rafael
1
2020
Abstraction for non-ground answer set programs. Zbl 07169132
Saribatur, Zeynep G.; Schüller, Peter; Eiter, Thomas
3
2019
A distributed approach to LARS stream reasoning (system paper). Zbl 1434.68546
Eiter, Thomas; Ogris, Paul; Schekotihin, Konstantin
3
2019
Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories. Zbl 1443.68181
Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
2
2019
LARS: a logic-based framework for analytic reasoning over streams. Zbl 1448.68395
Beck, Harald; Dao-Tran, Minh; Eiter, Thomas
15
2018
Exploiting answer set programming with external sources for meta-interpretive learning. Zbl 1451.68064
Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi
7
2018
Enhancing context knowledge repositories with justifiable exceptions. Zbl 1444.68196
Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
5
2018
Exploiting partial assignments for efficient evaluation of answer set programs with external source access. Zbl 1448.68398
Eiter, Thomas; Kaminski, Tobias; Redl, Christoph; Weinzierl, Antonius
2
2018
Ticker: a system for incremental ASP-based stream reasoning. Zbl 1422.68218
Beck, Harald; Eiter, Thomas; Folie, Christian
8
2017
Preference-based inconsistency management in multi-context systems. Zbl 1419.68143
Eiter, Thomas; Weinzierl, Antonius
2
2017
LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Zbl 1398.68026
1
2017
Evaluating epistemic negation in answer set programming. Zbl 1358.68278
Shen, Yi-Dong; Eiter, Thomas
12
2016
Semi-equilibrium models for paracoherent answer set programs. Zbl 1351.68259
Amendola, Giovanni; Eiter, Thomas; Fink, Michael; Leone, Nicola; Moura, João
9
2016
A model building framework for answer set programming with external computations. Zbl 1379.68058
Eiter, Thomas; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter
8
2016
Domain expansion for ASP-programs with external sources. Zbl 1351.68265
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph
7
2016
Rule-based stream reasoning for intelligent administration of content-centric networks. Zbl 1483.68021
Beck, Harald; Bierbaumer, Bruno; Dao-Tran, Minh; Eiter, Thomas; Hellwagner, Hermann; Schekotihin, Konstantin
6
2016
Exploiting contextual knowledge for hybrid classification of visual objects. Zbl 1483.68429
Eiter, Thomas; Kaminski, Tobias
2
2016
Reactive policies with planning for action languages. Zbl 1483.68424
Saribatur, Zeynep G.; Eiter, Thomas
2
2016
Distributed evaluation of nonmonotonic multi-context systems. Zbl 1328.68223
Dao-Tran, Minh; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas
4
2015
Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Zbl 1303.68014
2
2015
Preference-based diagnosis selection in multi-context systems. Zbl 1432.68438
Eiter, Thomas; Fink, Michael; Weinzierl, Antonius
1
2015
Reasoning with forest logic programs using fully enriched automata. Zbl 1467.68172
Feier, Cristina; Eiter, Thomas
1
2015
Finding explanations of inconsistency in multi-context systems. Zbl 1309.68177
Eiter, Thomas; Fink, Michael; Schüller, Peter; Weinzierl, Antonius
13
2014
FLP answer set semantics without circular justifications for general logic programs. Zbl 1391.68016
Shen, Yi-Dong; Wang, Kewen; Eiter, Thomas; Fink, Michael; Redl, Christoph; Krennwallner, Thomas; Deng, Jun
10
2014
Efficient HEX-program evaluation based on unfounded sets. Zbl 1361.68031
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter
9
2014
Answering regular path queries in expressive description logics via alternating tree-automata. Zbl 1360.68801
Calvanese, Diego; Eiter, Thomas; Ortiz, Magdalena
4
2014
Modular paracoherent answer sets. Zbl 1432.68054
Amendola, Giovanni; Eiter, Thomas; Leone, Nicola
2
2014
Towards practical deletion repair of inconsistent DL-programs. Zbl 1366.68303
Eiter, Thomas; Fink, Michael; Stepanova, Daria
2
2014
Computing repairs for inconsistent DL-programs over \(\mathcal{EL}\) ontologies. Zbl 1432.68437
Eiter, Thomas; Fink, Michael; Stepanova, Daria
1
2014
Model-based recasting in answer-set programming. Zbl 1400.68048
Eiter, Thomas; Fink, Michael; Pührer, Jörg; Tompits, Hans; Woltran, Stefan
6
2013
Hex semantics via approximation fixpoint theory. Zbl 1405.68039
Antić, Christian; Eiter, Thomas; Fink, Michael
6
2013
Finding similar/diverse solutions in answer set programming. Zbl 1266.68081
Eiter, Thomas; Erdem, Esra; Erdogan, Halit; Fink, Michael
5
2013
Conflict-driven ASP solving with external sources. Zbl 1260.68060
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph
8
2012
Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots. Zbl 1238.68153
Eiter, Thomas; Ortiz, Magdalena; Šimkus, Mantas
3
2012
Exploiting unfounded sets for HEX-program evaluation. Zbl 1361.68030
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter
2
2012
Simulating production rules using ACTHEX. Zbl 1357.68217
Eiter, Thomas; Feier, Cristina; Fink, Michael
1
2012
Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources. Zbl 1326.68273
Brewka, Gerhard; Eiter, Thomas; Fink, Michael
9
2011
Well-founded semantics for description logic programs in the semantic web. Zbl 1351.68275
Eiter, Thomas; Ianni, Giovambattista; Lukasiewicz, Thomas; Schindlauer, Roman
7
2011
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination. Zbl 1351.68273
Bruijn, Jos De; Eiter, Thomas; Polleres, Axel; Tompits, Hans
5
2011
Pushing efficient evaluation of HEX programs by modular decomposition. Zbl 1327.68062
Eiter, Thomas; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas; Schüller, Peter
4
2011
Dynamic distributed nonmonotonic multi-context systems. Zbl 1259.68188
Dao-Tran, Minh; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas
2
2011
Approximations for explanations of inconsistency in partially known multi-context systems. Zbl 1327.68270
Eiter, Thomas; Fink, Michael; Schüller, Peter
1
2011
Updating action domain descriptions. Zbl 1225.68251
Eiter, Thomas; Erdem, Esra; Fink, Michael; Senko, Ján
9
2010
Tractable reasoning with DL-programs over Datalog-rewritable description logics. Zbl 1211.68402
Heymans, Stijn; Eiter, Thomas; Xiao, Guohui
6
2010
FDNC: decidable nonmonotonic disjunctive logic programs with function symbols. Zbl 1351.68052
Eiter, Thomas; Šimkus, Mantas
6
2010
Preference-based inconsistency assessment in multi-context systems. Zbl 1306.68204
Eiter, Thomas; Fink, Michael; Weinzierl, Antonius
5
2010
The DMCS solver for distributed nonmonotonic multi-context systems. Zbl 1306.68201
Bairakdar, Seif El-Din; Dao-Tran, Minh; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas
4
2010
Decomposition of distributed nonmonotonic multi-context systems. Zbl 1306.68200
Bairakdar, Seif El-Din; Dao-Tran, Minh; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas
2
2010
The mcs-ie system for explaining inconsistency in multi-context systems. Zbl 1306.68203
Bögl, Markus; Eiter, Thomas; Fink, Michael; Schüller, Peter
2
2010
Answer set programming: a primer. Zbl 1254.68248
Eiter, Thomas; Ianni, Giovambattista; Krennwallner, Thomas
19
2009
Modular nonmonotonic logic programming revisited. Zbl 1251.68056
Dao-Tran, Minh; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas
9
2009
Query answering in description logics: the knots approach. Zbl 1246.68207
Eiter, Thomas; Lutz, Carsten; Ortiz, Magdalena; Šimkus, Mantas
7
2009
Argumentation context systems: a framework for abstract group argumentation. Zbl 1258.68154
Brewka, Gerhard; Eiter, Thomas
4
2009
Combining nonmonotonic knowledge bases with external sources. Zbl 1193.68242
Eiter, Thomas; Brewka, Gerhard; Dao-Tran, Minh; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas
4
2009
Relevance-driven evaluation of modular nonmonotonic logic programs. Zbl 1258.68028
Dao-Tran, Minh; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas
1
2009
Realizing default logic over description logic knowledge bases. Zbl 1245.68183
Dao-Tran, Minh; Eiter, Thomas; Krennwallner, Thomas
1
2009
Combining answer set programming with description logics for the semantic web. Zbl 1183.68595
Eiter, Thomas; Ianni, Giovambattista; Lukasiewicz, Thomas; Schindlauer, Roman; Tompits, Hans
59
2008
Computational aspects of monotone dualization: a brief survey. Zbl 1160.68016
Eiter, Thomas; Makino, Kazuhisa; Gottlob, Georg
38
2008
Semantic forgetting in answer set programming. Zbl 1184.68159
Eiter, Thomas; Wang, Kewen
17
2008
Data complexity of query answering in expressive description logics via tableaux. Zbl 1154.68102
Ortiz, Magdalena; Calvanese, Diego; Eiter, Thomas
15
2008
Query answering in the description logic Horn-\(\mathcal{SHIQ}\). Zbl 1178.68558
Eiter, Thomas; Gottlob, Georg; Ortiz, Magdalena; Šimkus, Mantas
6
2008
Exploiting conjunctive queries in description logic programs. Zbl 1165.68499
Eiter, Thomas; Ianni, Giovambattista; Krennwallner, Thomas; Schindlauer, Roman
4
2008
Maintenance goals of agents in a dynamic environment: formulation and policy construction. Zbl 1183.68630
Baral, Chitta; Eiter, Thomas; Bjäreland, Marcus; Nakamura, Mutsumi
2
2008
Undoing the effects of action sequences. Zbl 1158.68042
Eiter, Thomas; Erdem, Esra; Faber, Wolfgang
2
2008
Reasoning using knots. Zbl 1182.68276
Eiter, Thomas; Ortiz, Magdalena; Šimkus, Mantas
2
2008
Semantical characterizations and complexity of equivalences in answer set programming. Zbl 1367.68031
Eiter, Thomas; Fink, Michael; Woltran, Stefan
24
2007
Complexity results for answer set programming with bounded predicate arities and implications. Zbl 1138.68017
Eiter, Thomas; Faber, Wolfgang; Fink, Michael; Woltran, Stefan
17
2007
\(\mathbb{FDNC}\): Decidable non-monotonic disjunctive logic programs with function symbols. Zbl 1137.68334
Šimkus, Mantas; Eiter, Thomas
9
2007
On computing all abductive explanations from a propositional Horn theory. Zbl 1312.68177
Eiter, Thomas; Makino, Kazuhisa
3
2007
A logic-based approach to finding explanations for discrepancies in optimistic plan execution. Zbl 1124.68106
Eiter, Thomas; Erdem, Esra; Faber, Wolfgang; Senko, Ján
2
2007
Comparing action descriptions based on semantic preferences. Zbl 1125.68114
Eiter, Thomas; Erdem, Esra; Fink, Michael; Senko, Ján
2
2007
Conditional planning with external functions. Zbl 1149.68425
Van Nieuwenborgh, Davy; Eiter, Thomas; Vermeir, Dirk
2
2007
Foundations of rule-based query answering. Zbl 1170.68646
Bry, François; Eisinger, Norbert; Eiter, Thomas; Furche, Tim; Gottlob, Georg; Ley, Clemens; Linse, Benedikt; Pichler, Reinhard; Wei, Fang
1
2007
The DLV system for knowledge representation and reasoning. Zbl 1367.68308
Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Eiter, Thomas; Gottlob, Georg; Perri, Simona; Scarcello, Francesco
133
2006
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications. Zbl 1109.68028
Eiter, Thomas; Polleres, Axel
8
2006
Causes and explanations in the structural-model approach: Tractable cases. Zbl 1131.68104
Eiter, Thomas; Lukasiewicz, Thomas
3
2006
Comparing action descriptions based on semantic preferences. Zbl 1152.68601
Eiter, Thomas; Erdem, Esra; Fink, Michael; Senko, Ján
2
2006
Nonmonotonic description logic programs: Implementation and experiments. Zbl 1108.68359
Eiter, Thomas; Ianni, Giovambattista; Schindlauer, Roman; Tompits, Hans
7
2005
Data integration and answer set programming. Zbl 1152.68639
Eiter, Thomas
6
2005
Testing strong equivalence of datalog programs – implementation and examples. Zbl 1152.68404
Eiter, Thomas; Faber, Wolfgang; Traxler, Patrick
2
2005
Complexity of propositional nested circumscription and nested abnormality theories. Zbl 1367.68276
Cadoli, Marco; Eiter, Thomas; Gottlob, Georg
1
2005
Reasoning about evolving nonmonotonic knowledge bases. Zbl 1367.68279
Eiter, Thomas; Fink, Michael; Sabbatini, Giuliana; Tompits, Hans
1
2005
Simplifying logic programs under uniform and strong equivalence. Zbl 1122.68369
Eiter, Thomas; Fink, Michael; Tompits, Hans; Woltran, Stefan
22
2004
A logic programming approach to knowledge-state planning, semantics and complexity. Zbl 1367.68301
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel
15
2004
Complexity results for explanations in the structural-model approach. Zbl 1085.68067
Eiter, Thomas; Lukasiewicz, Thomas
1
2004
New results on monotone dualization and generating hypergraph transversals. Zbl 1052.68101
Eiter, Thomas; Gottlob, Georg; Makino, Kazuhisa
38
2003
Uniform equivalence of logic programs under the stable model semantics. Zbl 1204.68052
Eiter, Thomas; Fink, Michael
25
2003
A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system. Zbl 1079.68619
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel
15
2003
Answer set planning under action costs. Zbl 1026.68124
Eiter, T.; Faber, W.; Leone, N.; Pfeifer, G.; Polleres, A.
8
2003
Efficient evaluation of logic programs for querying data integration systems. Zbl 1204.68080
Eiter, Thomas; Fink, Michael; Greco, Gianluigi; Lembo, Domenico
8
2003
Computing preferred answer sets by meta-interpretation in answer set programming. Zbl 1079.68096
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald
7
2003
Generating all abductive explanations for queries on propositional Horn theories. Zbl 1116.68591
Eiter, Thomas; Makino, Kazuhisa
4
2003
Monitoring agents using declarative planning. Zbl 1110.68512
Dix, Jürgen; Eiter, Thomas; Fink, Michael; Polleres, Axel; Zhang, Yingqian
1
2003
Monitoring agents using declarative planning. Zbl 1274.68578
Dix, Jürgen; Eiter, Thomas; Fink, Michael; Polleres, Axel; Zhang, Yingqian
1
2003
Hypergraph transversal computation and related problems in logic and AI. Zbl 1013.68143
Eiter, Thomas; Gottlob, Georg
27
2002
On properties of update sequences based on causal rejection. Zbl 1105.68326
Eiter, Thomas; Fink, Michael; Sabbatini, Giuliana; Tompits, Hans
13
2002
New results on monotone dualization and generating hypergraph transversals. Zbl 1192.68356
Eiter, Thomas; Gottlob, Georg; Makino, Kazuhisa
12
2002
Complexity results for structure-based causality. Zbl 1043.68100
Eiter, Thomas; Lukasiewicz, Thomas
8
2002
...and 51 more Documents
all top 5

Cited by 1,148 Authors

63 Eiter, Thomas
32 Woltran, Stefan
23 Leone, Nicola
21 Gottlob, Georg
20 Truszczyński, Mirosław
17 Fink, Michael
16 Faber, Wolfgang
16 Lukasiewicz, Thomas
16 Makino, Kazuhisa
15 Elbassioni, Khaled M.
15 Ricca, Francesco
15 Schaub, Torsten H.
13 Gurvich, Vladimir A.
13 Leite, João
12 Gebser, Martin
12 Ibaraki, Toshihide
11 Boros, Endre
11 Cabalar, Pedro
11 Wang, Kewen
10 Alviano, Mario
10 Cadoli, Marco
10 Ianni, Giovambattista
10 Khachiyan, Leonid Genrikhovich
10 Krennwallner, Thomas
10 Liberatore, Paolo
9 Amendola, Giovanni
9 De Cock, Martine
9 Gelfond, Michael
9 Gonçalves, Ricardo
9 Kanté, Mamadou Moustapha
9 Lutz, Carsten
9 Morak, Michael
9 Pührer, Jörg
9 Schockaert, Steven
9 Tompits, Hans
9 Wolter, Frank
8 Bogaerts, Bart
8 Brewka, Gerhard
8 Calimeri, Francesco
8 Chiaselotti, Giampiero
8 Denecker, Marc
8 Dodaro, Carmine
8 Gentile, Tommaso
8 Inoue, Katsumi
8 Knorr, Matthias
8 Lierler, Yuliya
8 Maratea, Marco
8 Nourine, Lhouari
8 Palopoli, Luigi
8 Sakama, Chiaki
8 Vermeir, Dirk
8 You, Jia-Huai
8 Zhang, Yan
7 Calvanese, Diego
7 Delgrande, James P.
7 Infusino, Federico G.
7 Janhunen, Tomi
7 Manna, Marco
7 Perri, Simona
7 Pichler, Reinhard
7 Redl, Christoph
7 Schaerf, Marco
7 Schüller, Peter
7 Shen, Yidong
7 Son, Tran Cao
7 Subrahmanian, V. S.
7 Zhou, Yi
6 Benferhat, Salem
6 Caroprese, Luciano
6 Creignou, Nadia
6 Cropper, Andrew
6 Erdem, Esra
6 Grégoire, Éric
6 Hunter, Anthony
6 Lin, Fangzhen
6 Marquis, Pierre
6 Ortiz, Magdalena
6 Uno, Takeaki
5 Angiulli, Fabrizio
5 Arieli, Ofer
5 Baral, Chitta R.
5 Ben-Eliyahu-Zohary, Rachel
5 Bonatti, Piero Andrea
5 Cruz-Filipe, Luís
5 Fandinno, Jorge
5 Fichte, Johannes Klaus
5 Garcia, Laurent
5 Giordano, Laura
5 Golovach, Petr A.
5 Kratsch, Dieter
5 Lang, Jérôme
5 Mary, Arnaud
5 Mu, Kedian
5 Phan Minh Dung
5 Šimkus, Mantas
5 Strass, Hannes
5 Szeider, Stefan
5 Vennekens, Joost
5 Zangari, Jessica
5 Zumpano, Ester
...and 1,048 more Authors
all top 5

Cited in 91 Serials

161 Artificial Intelligence
106 Theory and Practice of Logic Programming
66 Annals of Mathematics and Artificial Intelligence
43 Theoretical Computer Science
34 International Journal of Approximate Reasoning
33 Discrete Applied Mathematics
20 Journal of Computer and System Sciences
12 Information Processing Letters
12 ACM Transactions on Computational Logic
12 Journal of Applied Logic
11 Machine Learning
10 Information and Computation
10 Journal of Applied Non-Classical Logics
8 Journal of Automated Reasoning
7 Discrete Mathematics
6 Fuzzy Sets and Systems
6 Information Sciences
6 Journal of Computer Science and Technology
6 Algorithmica
6 Constraints
5 Studia Logica
5 The Journal of Artificial Intelligence Research (JAIR)
4 Computational Geometry
4 Theory of Computing Systems
4 Journal of Combinatorial Optimization
4 Fundamenta Informaticae
4 Logical Methods in Computer Science
3 Computers & Mathematics with Applications
3 Journal of Philosophical Logic
3 Graphs and Combinatorics
3 Formal Methods in System Design
3 Computer Science Review
2 The Journal of Symbolic Logic
2 Synthese
2 Annals of Pure and Applied Logic
2 SIAM Journal on Discrete Mathematics
2 Journal of Logic, Language and Information
2 Computational Intelligence
2 Ars Mathematica Contemporanea
2 Frontiers of Computer Science
2 Journal of Logical and Algebraic Methods in Programming
1 ACM Computing Surveys
1 Acta Informatica
1 Computers and Fluids
1 Communications in Mathematical Physics
1 Journal of Mathematical Biology
1 Annali di Matematica Pura ed Applicata. Serie Quarta
1 Programming and Computer Software
1 SIAM Journal on Computing
1 Theory and Decision
1 Mathematical Social Sciences
1 Acta Mathematicae Applicatae Sinica. English Series
1 Journal of Symbolic Computation
1 New Generation Computing
1 Discrete & Computational Geometry
1 Annals of Operations Research
1 Computational Statistics
1 Computational Mathematics and Mathematical Physics
1 Automation and Remote Control
1 European Journal of Operational Research
1 Pattern Recognition
1 Distributed Computing
1 Archive for Mathematical Logic
1 Journal of Mathematical Imaging and Vision
1
1 Computational & Mathematical Organization Theory
1 INFORMS Journal on Computing
1 Science in China. Series E
1 Optimization Methods & Software
1 Soft Computing
1 Journal of Discrete Mathematical Sciences & Cryptography
1 Erkenntnis
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Journal of the Australian Mathematical Society
1 Entropy
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Journal of Intelligent and Fuzzy Systems
1 Journal of Algebra and its Applications
1 ACM Journal of Experimental Algorithmics
1 Journal of Discrete Algorithms
1 Journal of Statistical Mechanics: Theory and Experiment
1 Discrete Optimization
1 Science in China. Series F
1 Annali dell’Università di Ferrara. Sezione VII. Scienze Matematiche
1 Logica Universalis
1 International Journal of Semantic Computing
1 Nonlinear Analysis. Hybrid Systems
1 Mathematical Geosciences
1 The Review of Symbolic Logic
1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
1 Prikladnaya Diskretnaya Matematika

Citations by Year