Thomas Eiter - Google Scholar Citations

Cited by

	All	Since 2014
Citations	18786	6241
h-index	69	34
i10-index	225	125

1200

600

300

900

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201971 83 86 190 143 240 282 375 457 570 687 738 892 1082 1125 939 1010 1022 993 1069 1128 1074 1072 1014 938 1006

Co-authors

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 IanniFull Professor, Università della CalabriaVerified email at unical.it
Thomas KrennwallnerGuestlogix IncVerified email at kr.tuwien.ac.at
Axel PolleresVienna University of Economics and Business (WU - Wirtschaftsuniversität Wien)Verified email at wu.ac.at
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
Gerhard BrewkaProfessor of Computer Science, Leipzig UniversityVerified email at informatik.uni-leipzig.de
Minh Dao-TranInstitute of Information Systems 184/3, Vienna University of TechnologyVerified email at kr.tuwien.ac.at
Magdalena OrtizVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at
Francesco ScarcelloProfessor of Computer Science, DIMES, University of CalabriaVerified email at unical.it
kazuhisa makino京大Verified email at kurims.kyoto-u.ac.jp
Mantas ŠimkusVienna University of TechnologyVerified email at dbai.tuwien.ac.at
Peter SchüllerTU Wien Institut für Logic and Computation, Self-EmployedVerified email at kr.tuwien.ac.at
Christoph RedlUniversity of Applied Sciences Technikum Wien (senior lecturer and researcher)Verified email at technikum-wien.at
Diego CalvaneseProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Jürgen DixProfessor, Chair for Artificial Intelligence, Vice-Dean of Faculty, TU ClausthalVerified email at tu-clausthal.de
Fatma OzcanIBM Research - AlmadenVerified email at us.ibm.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	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	1268	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	862	2001
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	664	2008
Answer set programming at a glance G Brewka, T Eiter, M Truszczyński Communications of the ACM 54 (12), 92-103, 2011	635	2011
Disjunctive datalog T Eiter, G Gottlob, H Mannila ACM Transactions on Database Systems (TODS) 22 (3), 364-418, 1997	573	1997
On the complexity of propositional knowledge base revision, updates, and counterfactuals T Eiter, G Gottlob Artificial Intelligence 57 (2-3), 227-270, 1992	510	1992
Identifying the minimal transversals of a hypergraph and related problems T Eiter, G Gottlob SIAM Journal on Computing 24 (6), 1278-1304, 1995	492	1995
The complexity of logic-based abduction T Eiter, G Gottlob Journal of the ACM (JACM) 42 (1), 3-42, 1995	478	1995
Computing discrete Fréchet distance T Eiter, H Mannila Tech. Report CD-TR 94/64, Information Systems Department, Technical …, 1994	438	1994
On the computational cost of disjunctive logic programming: Propositional case T Eiter, G Gottlob Annals of Mathematics and Artificial Intelligence 15 (3-4), 289-323, 1995	367	1995
Preferred answer sets for extended logic programs G Brewka, T Eiter Artificial intelligence 109 (1-2), 297-356, 1999	328	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	275	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	254	1998
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	241	1997
Heterogeneous agent systems VS Subrahmanian, P Bonatti, J Dix, T Eiter, S Kraus, R Ross, F Ozcan, ... MIT press, 2000	237	2000
Equilibria in heterogeneous nonmonotonic multi-context systems G Brewka, T Eiter AAAI 7, 385-390, 2007	230	2007
Propositional circumscription and extended closed-world reasoning are ΠP2-complete T Eiter, G Gottlob Theoretical Computer Science 114 (2), 231-245, 1993	229	1993
Distance measures for point sets and their computation T Eiter, H Mannila Acta Informatica 34 (2), 109-133, 1997	228	1997
Declarative problem-solving using the DLV system T Eiter, W Faber, N Leone, G Pfeifer Logic-based artificial intelligence, 79-103, 2000	215	2000
New results on monotone dualization and generating hypergraph transversals T Eiter, G Gottlob, K Makino SIAM Journal on Computing 32 (2), 514-537, 2003	185	2003

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