Thomas Eiter

Citata da

	Tutte	Dal 2019
Citazioni	23725	5462
Indice H	74	31
i10-index	255	113

1200

600

300

900

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202476 75 85 203 161 267 276 390 450 578 679 743 898 1134 1107 926 1032 1116 1008 1068 1186 1145 1123 1035 1047 1105 974 832 894 957 695

Accesso pubblico

Visualizza tutto

155 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Georg GottlobProfessor of Informatics, University of CalabriaEmail verificata su unical.it
Michael FinkChief Scientific Officer, Deutsches MedizinrechenzentrumEmail verificata su kr.tuwien.ac.at
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceEmail verificata su unical.it
Hans TompitsAssociate Professor of Computer Science, Vienna University of TechnologyEmail verificata su kr.tuwien.ac.at
Wolfgang FaberAlpen-Adria-Universität KlagenfurtEmail verificata su aau.at
Giovambattista IanniProfessor of Computer Science, Università della CalabriaEmail verificata su unical.it
Thomas KrennwallnerAivenEmail verificata su postsubmeta.net
Gerhard BrewkaProfessor of Computer Science, Leipzig UniversityEmail verificata su informatik.uni-leipzig.de
Axel PolleresVienna University of Economics and Business (WU - Wirtschaftsuniversität Wien)Email verificata su wu.ac.at
Thomas LukasiewiczVienna University of Technology, Austria; University of Oxford, UKEmail verificata su tuwien.ac.at
V.S. SubrahmanianDepartment of Computer Science & ISTS, Dartmouth CollegeEmail verificata su dartmouth.edu
Magdalena OrtizVienna University of Technology (TU Wien)Email verificata su kr.tuwien.ac.at
Minh Dao-TranInstitute of Information Systems 184/3, Vienna University of TechnologyEmail verificata su kr.tuwien.ac.at
Mantas ŠimkusTU Wien, AustriaEmail verificata su dbai.tuwien.ac.at
Peter SchüllerSelf-EmployedEmail verificata su peterschueller.com
Christoph RedlUniversity of Applied Sciences Technikum Wien (senior lecturer and researcher)Email verificata su technikum-wien.at
Heikki MannilaAalto UniversityEmail verificata su aalto.fi
Miroslaw TruszczynskiProfessor of Computer Science, University of KentuckyEmail verificata su cs.uky.edu
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Email verificata su unibz.it
Antonius WeinzierlPostDoc, TU Wien (Vienna University of Technology), AustriaEmail verificata su kr.tuwien.ac.at

Segui

Thomas Eiter

Vienna University of Technology (TU Wien)

Email verificata su kr.tuwien.ac.at - Home page

knowledge representation and reasoning declarative problem solving artificial intelligence computational logic


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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	1586	2006
Answer set programming at a glance G Brewka, T Eiter, M Truszczyński Communications of the ACM 54 (12), 92-103, 2011	1183	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	973	2001
Computing discrete Fréchet distance T Eiter, H Mannila Technical Report CD-TR 94/64, Christian Doppler Laboratory for Expert …, 1994	972	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	760	2008
Disjunctive datalog T Eiter, G Gottlob, H Mannila ACM Transactions on Database Systems (TODS) 22 (3), 364-418, 1997	692	1997
The complexity of logic-based abduction T Eiter, G Gottlob Journal of the ACM (JACM) 42 (1), 3-42, 1995	586	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	574	1992
Identifying the minimal transversals of a hypergraph and related problems T Eiter, G Gottlob SIAM Journal on Computing 24 (6), 1278-1304, 1995	566	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	477	1995
Preferred answer sets for extended logic programs G Brewka, T Eiter Artificial intelligence 109 (1-2), 297-356, 1999	368	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	308	2005
Answer set programming: A primer T Eiter, G Ianni, T Krennwallner Reasoning Web. Semantic Technologies for Information Systems: 5th …, 2009	299	2009
Heterogeneous agent systems VS Subrahmanian, P Bonatti, J Dix, T Eiter, S Kraus, R Ross, F Ozcan, ... MIT press, 2000	298*	2000
Distance measures for point sets and their computation T Eiter, H Mannila Acta informatica 34, 109-133, 1997	281	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	276	1998
Equilibria in heterogeneous nonmonotonic multi-context systems G Brewka, T Eiter AAAI 7, 385-390, 2007	275	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	260	1997
Declarative problem-solving using the DLV system T Eiter, W Faber, N Leone, G Pfeifer Logic-based artificial intelligence, 79-103, 2000	256	2000
Propositional circumscription and extended closed-world reasoning are πp2-complete T Eiter, G Gottlob Theoretical Computer Science 114 (2), 231-245, 1993	250	1993

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori