Thomas Eiter

Citado por

	Todos	Desde 2016
Citações	20650	5416
Índice h	72	32
Índice i10	241	117

1200

600

300

900

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202170 78 90 202 157 281 286 388 445 582 685 734 900 1130 1141 947 1060 1081 1023 1106 1195 1138 1113 1046 1040 1136 986 88

Coautores

Michael FinkChief Scientific Officer, Deutsches MedizinrechenzentrumEmail confirmado em kr.tuwien.ac.at
Georg GottlobProfessor of Informatics, University of OxfordEmail confirmado em cs.ox.ac.uk
Hans TompitsAssociate Professor of Computer Science, Vienna University of TechnologyEmail confirmado em kr.tuwien.ac.at
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceEmail confirmado em unical.it
Wolfgang FaberAlpen-Adria-Universität KlagenfurtEmail confirmado em aau.at
Giovambattista IanniProfessor of Computer Science, Università della CalabriaEmail confirmado em unical.it
Thomas KrennwallnerAivenEmail confirmado em postsubmeta.net
Axel PolleresVienna University of Economics and Business (WU - Wirtschaftsuniversität Wien)Email confirmado em wu.ac.at
Gerhard BrewkaProfessor of Computer Science, Leipzig UniversityEmail confirmado em informatik.uni-leipzig.de
V.S. SubrahmanianDepartment of Computer Science & ISTS, Dartmouth CollegeEmail confirmado em dartmouth.edu
Thomas LukasiewiczProfessor of Computer Science, University of OxfordEmail confirmado em cs.ox.ac.uk
Magdalena OrtizVienna University of Technology (TU Wien)Email confirmado em kr.tuwien.ac.at
Minh Dao-TranInstitute of Information Systems 184/3, Vienna University of TechnologyEmail confirmado em kr.tuwien.ac.at
Peter SchüllerTU Wien Institut für Logic and Computation, Self-EmployedEmail confirmado em kr.tuwien.ac.at
Mantas ŠimkusVienna University of TechnologyEmail confirmado em dbai.tuwien.ac.at
Christoph RedlUniversity of Applied Sciences Technikum Wien (senior lecturer and researcher)Email confirmado em technikum-wien.at
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Email confirmado em inf.unibz.it
Antonius WeinzierlPostDoc, TU Wien (Vienna University of Technology), AustriaEmail confirmado em kr.tuwien.ac.at
Jürgen DixProfessor, Chair for Artificial Intelligence, Vice-Dean of Faculty, TU ClausthalEmail confirmado em tu-clausthal.de
Fatma OzcanGoogleEmail confirmado em google.com

Thomas Eiter

Vienna University of Technology

Email confirmado em kr.tuwien.ac.at - Página inicial

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


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	1420	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	809	2001
Answer set programming at a glance G Brewka, T Eiter, M Truszczyński Communications of the ACM 54 (12), 92-103, 2011	754	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	711	2008
Disjunctive datalog T Eiter, G Gottlob, H Mannila ACM Transactions on Database Systems (TODS) 22 (3), 364-418, 1997	623	1997
Computing discrete Fréchet distance T Eiter, H Mannila Technical Report CD-TR 94/64, Christian Doppler Laboratory for Expert …, 1994	571	1994
On the complexity of propositional knowledge base revision, updates, and counterfactuals T Eiter, G Gottlob Artificial intelligence 57 (2-3), 227-270, 1992	529	1992
Identifying the minimal transversals of a hypergraph and related problems T Eiter, G Gottlob SIAM Journal on Computing 24 (6), 1278-1304, 1995	520	1995
The complexity of logic-based abduction T Eiter, G Gottlob Journal of the ACM (JACM) 42 (1), 3-42, 1995	499	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	412	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	296	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	263	1998
Distance measures for point sets and their computation T Eiter, H Mannila Acta informatica 34 (2), 109-133, 1997	254	1997
Equilibria in heterogeneous nonmonotonic multi-context systems G Brewka, T Eiter AAAI 7, 385-390, 2007	246	2007
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
Propositional circumscription and extended closed-world reasoning are ΠP2-complete T Eiter, G Gottlob Theoretical Computer Science 114 (2), 231-245, 1993	243	1993
Declarative problem-solving using the DLV system T Eiter, W Faber, N Leone, G Pfeifer Logic-based artificial intelligence, 79-103, 2000	236	2000
Answer set programming: A primer T Eiter, G Ianni, T Krennwallner Reasoning Web International Summer School, 40-110, 2009	230	2009
Heterogeneous agent systems VS Subrahmanian, P Bonatti, J Dix, T Eiter, S Kraus, R Ross, F Ozcan, ... MIT press, 2000	227	2000

O sistema não pode efectuar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Carregar PDF

Seguir este autor

Citado por

Coautores