Thomas Eiter

Cited by

	All	Since 2018
Citations	22889	5694
h-index	74	33
i10-index	242	113

1300

650

325

975

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202379 77 83 202 161 260 286 389 446 568 673 748 882 1140 1082 918 1057 1102 1000 1061 1202 1169 1131 1022 1038 1108 971 825 889 856

Public access

View all

148 articles

1 article

available

not available

Based on funding mandates

Co-authors

Georg GottlobProfessor of Informatics, University of OxfordVerified email at cs.ox.ac.uk
Michael FinkChief Scientific Officer, Deutsches MedizinrechenzentrumVerified email at kr.tuwien.ac.at
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceVerified email at unical.it
Hans TompitsAssociate Professor of Computer Science, Vienna University of TechnologyVerified email at kr.tuwien.ac.at
Wolfgang FaberAlpen-Adria-Universität KlagenfurtVerified email at aau.at
Giovambattista IanniProfessor of Computer Science, Università della CalabriaVerified email at unical.it
Thomas KrennwallnerAivenVerified email at postsubmeta.net
Axel PolleresVienna University of Economics and Business (WU - Wirtschaftsuniversität Wien)Verified email at wu.ac.at
Gerhard BrewkaProfessor of Computer Science, Leipzig UniversityVerified email at informatik.uni-leipzig.de
V.S. SubrahmanianDepartment of Computer Science & ISTS, Dartmouth CollegeVerified email at dartmouth.edu
Thomas LukasiewiczVienna University of Technology, Austria; University of Oxford, UKVerified email at tuwien.ac.at
Magdalena OrtizVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at
Minh Dao-TranInstitute of Information Systems 184/3, Vienna University of TechnologyVerified email at kr.tuwien.ac.at
Mantas ŠimkusAssociate Professor, Umeå University, SwedenVerified email at cs.umu.se
Peter SchüllerSelf-EmployedVerified email at peterschueller.com
Christoph RedlUniversity of Applied Sciences Technikum Wien (senior lecturer and researcher)Verified email at technikum-wien.at
Heikki MannilaAalto UniversityVerified email at aalto.fi
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verified email at inf.unibz.it
Miroslaw TruszczynskiProfessor of Computer Science, University of KentuckyVerified email at cs.uky.edu
Antonius WeinzierlPostDoc, TU Wien (Vienna University of Technology), AustriaVerified email at kr.tuwien.ac.at

Thomas Eiter

Vienna University of Technology (TU Wien)

Verified email at kr.tuwien.ac.at - Homepage

knowledge representation and reasoning declarative problem solving artificial intelligence computational logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The DLV system for knowledge representation and reasoning N Leone, G Pfeifer, W Faber, T Eiter, G Gottlob, S Perri, F Scarcello ACM Transactions on Computational Logic (TOCL) 7 (3), 499-562, 2006	1562	2006
Answer set programming at a glance G Brewka, T Eiter, M Truszczyński Communications of the ACM 54 (12), 92-103, 2011	1066	2011
Complexity and expressive power of logic programming E Dantsin, T Eiter, G Gottlob, A Voronkov ACM Computing Surveys (CSUR) 33 (3), 374-425, 2001	938	2001
Computing discrete Fréchet distance T Eiter, H Mannila Technical Report CD-TR 94/64, Christian Doppler Laboratory for Expert …, 1994	879	1994
Combining answer set programming with description logics for the semantic web T Eiter, G Ianni, T Lukasiewicz, R Schindlauer, H Tompits Artificial intelligence 172 (12-13), 1495-1539, 2008	745	2008
Disjunctive datalog T Eiter, G Gottlob, H Mannila ACM Transactions on Database Systems (TODS) 22 (3), 364-418, 1997	675	1997
The complexity of logic-based abduction T Eiter, G Gottlob Journal of the ACM (JACM) 42 (1), 3-42, 1995	571	1995
On the complexity of propositional knowledge base revision, updates, and counterfactuals T Eiter, G Gottlob Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1992	567	1992
Identifying the minimal transversals of a hypergraph and related problems T Eiter, G Gottlob SIAM Journal on Computing 24 (6), 1278-1304, 1995	563	1995
On the computational cost of disjunctive logic programming: Propositional case T Eiter, G Gottlob Annals of Mathematics and Artificial Intelligence 15, 289-323, 1995	457	1995
Preferred answer sets for extended logic programs G Brewka, T Eiter Artificial intelligence 109 (1-2), 297-356, 1999	366	1999
A uniform integration of higher-order reasoning and external evaluations in answer-set programming T Eiter, G Ianni, R Schindlauer, H Tompits IJCAI 5, 90-96, 2005	311	2005
Heterogeneous agent systems VS Subrahmanian, P Bonatti, J Dix, T Eiter, S Kraus, R Ross, F Ozcan, ... MIT press, 2000	297*	2000
Answer set programming: A primer T Eiter, G Ianni, T Krennwallner Reasoning Web. Semantic Technologies for Information Systems: 5th …, 2009	282	2009
Distance measures for point sets and their computation T Eiter, H Mannila Acta informatica 34, 109-133, 1997	277	1997
The KR system dlv: Progress report, comparisons and benchmarks T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello KR 98, 406-417, 1998	274	1998
Equilibria in heterogeneous nonmonotonic multi-context systems G Brewka, T Eiter AAAI 7, 385-390, 2007	268	2007
A deductive system for non-monotonic reasoning T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello Logic Programming And Nonmonotonic Reasoning: 4th International Conference …, 1997	258	1997
Declarative problem-solving using the DLV system T Eiter, W Faber, N Leone, G Pfeifer Logic-based artificial intelligence, 79-103, 2000	249	2000
Propositional circumscription and extended closed-world reasoning are πp2-complete T Eiter, G Gottlob Theoretical Computer Science 114 (2), 231-245, 1993	246	1993

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors