Thomas Eiter

Cited by

	All	Since 2016
Citations	20852	5553
h-index	72	32
i10-index	241	118

1200

600

300

900

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202175 78 95 205 156 283 288 393 446 581 693 733 901 1141 1126 946 1061 1081 1024 1117 1196 1150 1115 1042 1034 1117 1006 226

Public access

View all

109 articles

7 articles

available

not available

Based on funding mandates

Co-authors

Michael FinkChief Scientific Officer, Deutsches MedizinrechenzentrumVerified email at kr.tuwien.ac.at
Georg GottlobProfessor of Informatics, University of OxfordVerified email at cs.ox.ac.uk
Hans TompitsAssociate Professor of Computer Science, Vienna University of TechnologyVerified email at kr.tuwien.ac.at
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceVerified email at unical.it
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 LukasiewiczProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
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
Peter SchüllerTU Wien Institut für Logic and Computation, Self-EmployedVerified email at kr.tuwien.ac.at
Mantas ŠimkusVienna University of TechnologyVerified email at dbai.tuwien.ac.at
Christoph RedlUniversity of Applied Sciences Technikum Wien (senior lecturer and researcher)Verified email at technikum-wien.at
Antonius WeinzierlPostDoc, TU Wien (Vienna University of Technology), AustriaVerified email at kr.tuwien.ac.at
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verified email at inf.unibz.it
Jürgen DixProfessor, Chair for Artificial Intelligence, Vice-Dean of Faculty, TU ClausthalVerified email at tu-clausthal.de
Fatma OzcanGoogleVerified email at google.com

Thomas Eiter

Vienna University of Technology

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

knowledge representation and reasoning computational logic algorithms and complexity in AI declarative problem solving


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	1426	2006
Complexity and expressive power of logic programming E Dantsin, T Eiter, G Gottlob, A Voronkov ACM Computing Surveys (CSUR) 33 (3), 374-425, 2001	818	2001
Answer set programming at a glance G Brewka, T Eiter, M Truszczyński Communications of the ACM 54 (12), 92-103, 2011	767	2011
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	714	2008
Disjunctive datalog T Eiter, G Gottlob, H Mannila ACM Transactions on Database Systems (TODS) 22 (3), 364-418, 1997	626	1997
Computing discrete Fréchet distance T Eiter, H Mannila Technical Report CD-TR 94/64, Christian Doppler Laboratory for Expert …, 1994	589	1994
On the complexity of propositional knowledge base revision, updates, and counterfactuals T Eiter, G Gottlob Artificial intelligence 57 (2-3), 227-270, 1992	535	1992
Identifying the minimal transversals of a hypergraph and related problems T Eiter, G Gottlob SIAM Journal on Computing 24 (6), 1278-1304, 1995	524	1995
The complexity of logic-based abduction T Eiter, G Gottlob Journal of the ACM (JACM) 42 (1), 3-42, 1995	505	1995
On the computational cost of disjunctive logic programming: Propositional case T Eiter, G Gottlob Annals of Mathematics and Artificial Intelligence 15 (3), 289-323, 1995	415	1995
Preferred answer sets for extended logic programs G Brewka, T Eiter Artificial intelligence 109 (1-2), 297-356, 1999	350	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	297	2005
The KR system dlv: Progress report, comparisons and benchmarks T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello KR 98, 406-417, 1998	265	1998
Distance measures for point sets and their computation T Eiter, H Mannila Acta informatica 34 (2), 109-133, 1997	257	1997
Equilibria in heterogeneous nonmonotonic multi-context systems G Brewka, T Eiter AAAI 7, 385-390, 2007	248	2007
Propositional circumscription and extended closed-world reasoning are ΠP2-complete T Eiter, G Gottlob Theoretical Computer Science 114 (2), 231-245, 1993	246	1993
A deductive system for non-monotonic reasoning T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello International Conference on Logic Programming and Nonmonotonic Reasoning …, 1997	245	1997
Declarative problem-solving using the DLV system T Eiter, W Faber, N Leone, G Pfeifer Logic-based artificial intelligence, 79-103, 2000	237	2000
Answer set programming: A primer T Eiter, G Ianni, T Krennwallner Reasoning Web International Summer School, 40-110, 2009	235	2009
Heterogeneous agent systems VS Subrahmanian, P Bonatti, J Dix, T Eiter, S Kraus, R Ross, F Ozcan, ... MIT press, 2000	228	2000

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

Upload PDF

Follow this author

Cited by

Co-authors