Thomas Eiter - Citas de Google Académico

Citado por

	Total	Desde 2015
Citas	19403	5656
Índice h	69	31
Índice i10	233	119

1200

600

300

900

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202073 82 88 188 143 243 282 380 459 588 685 720 896 1087 1100 944 1010 1047 992 1088 1138 1141 1098 1031 961 1118 299

Coautores

Georg GottlobProfessor of Informatics, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Michael FinkChief Scientific Officer, Deutsches MedizinrechenzentrumDirección de correo verificada de kr.tuwien.ac.at
Hans TompitsAssociate Professor of Computer Science, Vienna University of TechnologyDirección de correo verificada de kr.tuwien.ac.at
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceDirección de correo verificada de unical.it
Wolfgang FaberAlpen-Adria-Universität KlagenfurtDirección de correo verificada de aau.at
Giovambattista IanniProfessor of Computer Science, Università della CalabriaDirección de correo verificada de unical.it
Thomas KrennwallnerGuestlogix.comDirección de correo verificada de postsubmeta.net
Axel PolleresVienna University of Economics and Business (WU - Wirtschaftsuniversität Wien)Dirección de correo verificada de wu.ac.at
V.S. SubrahmanianDepartment of Computer Science & ISTS, Dartmouth CollegeDirección de correo verificada de dartmouth.edu
Thomas LukasiewiczProfessor of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Gerhard BrewkaProfessor of Computer Science, Leipzig UniversityDirección de correo verificada de informatik.uni-leipzig.de
Magdalena OrtizVienna University of Technology (TU Wien)Dirección de correo verificada de kr.tuwien.ac.at
Minh Dao-TranInstitute of Information Systems 184/3, Vienna University of TechnologyDirección de correo verificada de kr.tuwien.ac.at
kazuhisa makino京大Dirección de correo verificada de kurims.kyoto-u.ac.jp
Peter SchüllerTU Wien Institut für Logic and Computation, Self-EmployedDirección de correo verificada de kr.tuwien.ac.at
Mantas ŠimkusVienna University of TechnologyDirección de correo verificada de dbai.tuwien.ac.at
Christoph RedlUniversity of Applied Sciences Technikum Wien (senior lecturer and researcher)Dirección de correo verificada de technikum-wien.at
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Dirección de correo verificada de inf.unibz.it
Antonius WeinzierlPostDoc, TU Wien (Vienna University of Technology), AustriaDirección de correo verificada de kr.tuwien.ac.at
Jürgen DixProfessor, Chair for Artificial Intelligence, Vice-Dean of Faculty, TU ClausthalDirección de correo verificada de tu-clausthal.de

Thomas Eiter

Vienna University of Technology

Dirección de correo verificada de kr.tuwien.ac.at - Página principal

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	1339	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	877	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	674	2008
Answer set programming at a glance G Brewka, T Eiter, M Truszczyński Communications of the ACM 54 (12), 92-103, 2011	671	2011
Disjunctive datalog T Eiter, G Gottlob, H Mannila ACM Transactions on Database Systems (TODS) 22 (3), 364-418, 1997	586	1997
On the complexity of propositional knowledge base revision, updates, and counterfactuals T Eiter, G Gottlob Artificial intelligence 57 (2-3), 227-270, 1992	515	1992
Identifying the minimal transversals of a hypergraph and related problems T Eiter, G Gottlob SIAM Journal on Computing 24 (6), 1278-1304, 1995	499	1995
Computing discrete Fréchet distance T Eiter, H Mannila Tech. Report CD-TR 94/64, Information Systems Department, Technical …, 1994	497	1994
The complexity of logic-based abduction T Eiter, G Gottlob Journal of the ACM (JACM) 42 (1), 3-42, 1995	490	1995
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	379	1995
Preferred answer sets for extended logic programs G Brewka, T Eiter Artificial intelligence 109 (1-2), 297-356, 1999	334	1999
Heterogeneous agent systems VS Subrahmanian, P Bonatti, J Dix, T Eiter, S Kraus, R Ross, F Ozcan, ... MIT press, 2000	289*	2000
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	276	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	256	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	242	1997
Distance measures for point sets and their computation T Eiter, H Mannila Acta Informatica 34 (2), 109-133, 1997	237	1997
Equilibria in heterogeneous nonmonotonic multi-context systems G Brewka, T Eiter AAAI 7, 385-390, 2007	234	2007
Propositional circumscription and extended closed-world reasoning are ΠP2-complete T Eiter, G Gottlob Theoretical Computer Science 114 (2), 231-245, 1993	234	1993
Declarative problem-solving using the DLV system T Eiter, W Faber, N Leone, G Pfeifer Logic-based artificial intelligence, 79-103, 2000	222	2000
Answer set programming: A primer T Eiter, G Ianni, T Krennwallner Reasoning Web International Summer School, 40-110, 2009	198	2009

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Subir PDF

Seguir a este autor

Citado por

Coautores