Thomas Eiter

Cytowane przez

	Wszystkie	Od 2019
Cytowania	24001	5700
h-indeks	75	32
i10-indeks	257	117

1200

600

300

900

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202476 75 85 203 161 267 276 388 453 582 679 745 904 1136 1107 926 1037 1124 1008 1070 1181 1145 1126 1034 1046 1108 974 843 895 973 902

Dostęp publiczny

Wyświetl wszystko

155 artykułów

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

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

Obserwuj

Thomas Eiter

Vienna University of Technology (TU Wien)

Zweryfikowany adres z kr.tuwien.ac.at - Strona główna

knowledge representation and reasoning declarative problem solving artificial intelligence computational logic


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	1592	2006
Answer set programming at a glance G Brewka, T Eiter, M Truszczyński Communications of the ACM 54 (12), 92-103, 2011	1229	2011
Computing discrete Fréchet distance T Eiter, H Mannila Technical Report CD-TR 94/64, Christian Doppler Laboratory for Expert …, 1994	992	1994
Complexity and expressive power of logic programming E Dantsin, T Eiter, G Gottlob, A Voronkov ACM Computing Surveys (CSUR) 33 (3), 374-425, 2001	989	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	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	590	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	580	1992
Identifying the minimal transversals of a hypergraph and related problems T Eiter, G Gottlob SIAM Journal on Computing 24 (6), 1278-1304, 1995	575	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	484	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	309	2005
Answer set programming: A primer T Eiter, G Ianni, T Krennwallner Reasoning Web. Semantic Technologies for Information Systems: 5th …, 2009	308	2009
Heterogeneous agent systems VS Subrahmanian, P Bonatti, J Dix, T Eiter, S Kraus, R Ross, F Ozcan, ... MIT press, 2000	299*	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	277	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	257	2000
Propositional circumscription and extended closed-world reasoning are πp2-complete T Eiter, G Gottlob Theoretical Computer Science 114 (2), 231-245, 1993	253	1993

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy