Thomas Eiter

Cituota

	Visi	Nuo 2020
Šaltiniai	24441	4816
h-rodyklė	75	29
i10-rodyklė	263	100

1200

600

300

900

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202579 80 91 197 155 249 276 403 459 574 690 741 917 1133 1108 947 1065 1141 1027 1097 1198 1128 1155 1040 1053 1133 983 843 873 981 995 140

Viešas pasiekiamumas

Peržiūrėti viską

154 straipsniai

3 straipsniai

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Georg GottlobProfessor of Informatics, University of CalabriaPatvirtintas el. paštas unical.it
Michael FinkChief Scientific Officer, Deutsches MedizinrechenzentrumPatvirtintas el. paštas kr.tuwien.ac.at
Nicola LeoneUniversity of Calabria, Professor of Computer SciencePatvirtintas el. paštas unical.it
Hans TompitsAssociate Professor of Computer Science, Vienna University of TechnologyPatvirtintas el. paštas kr.tuwien.ac.at
Wolfgang FaberAlpen-Adria-Universität KlagenfurtPatvirtintas el. paštas aau.at
Giovambattista IanniProfessor of Computer Science, Università della CalabriaPatvirtintas el. paštas unical.it
Thomas KrennwallnerAivenPatvirtintas el. paštas postsubmeta.net
Gerhard BrewkaProfessor of Computer Science, Leipzig UniversityPatvirtintas el. paštas informatik.uni-leipzig.de
Axel PolleresVienna University of Economics and Business (WU - Wirtschaftsuniversität Wien)Patvirtintas el. paštas wu.ac.at
Thomas LukasiewiczVienna University of Technology, Austria; University of Oxford, UKPatvirtintas el. paštas tuwien.ac.at
Magdalena OrtizVienna University of Technology (TU Wien)Patvirtintas el. paštas kr.tuwien.ac.at
V.S. SubrahmanianDepartment of Computer Science & ISTS, Dartmouth CollegePatvirtintas el. paštas dartmouth.edu
Minh Dao-TranInstitute of Information Systems 184/3, Vienna University of TechnologyPatvirtintas el. paštas kr.tuwien.ac.at
Mantas ŠimkusInstitute of Logic and Computation, TU Wien, AustriaPatvirtintas el. paštas dbai.tuwien.ac.at
Christoph RedlUniversity of Applied Sciences Technikum Wien (senior lecturer and researcher)Patvirtintas el. paštas technikum-wien.at
Peter SchüllerSelf-EmployedPatvirtintas el. paštas peterschueller.com
Miroslaw TruszczynskiProfessor of Computer Science, University of KentuckyPatvirtintas el. paštas cs.uky.edu
Heikki MannilaAalto UniversityPatvirtintas el. paštas aalto.fi
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Patvirtintas el. paštas unibz.it
Antonius WeinzierlPostDoc, TU Wien (Vienna University of Technology), AustriaPatvirtintas el. paštas kr.tuwien.ac.at

Stebėti

Thomas Eiter

Vienna University of Technology (TU Wien)

Patvirtintas el. paštas kr.tuwien.ac.at - Pagrindinis puslapis

knowledge representation and reasoning declarative problem solving artificial intelligence computational logic


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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	1610	2006
Answer set programming at a glance G Brewka, T Eiter, M Truszczyński Communications of the ACM 54 (12), 92-103, 2011	1273	2011
Computing discrete Fréchet distance T Eiter, H Mannila Technical Report CD-TR 94/64, Christian Doppler Laboratory for Expert …, 1994	1032	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	1007	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	765	2008
Disjunctive datalog T Eiter, G Gottlob, H Mannila ACM Transactions on Database Systems (TODS) 22 (3), 364-418, 1997	702	1997
The complexity of logic-based abduction T Eiter, G Gottlob Journal of the ACM (JACM) 42 (1), 3-42, 1995	595	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	594	1992
Identifying the minimal transversals of a hypergraph and related problems T Eiter, G Gottlob SIAM Journal on Computing 24 (6), 1278-1304, 1995	585	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	486	1995
Preferred answer sets for extended logic programs G Brewka, T Eiter Artificial intelligence 109 (1-2), 297-356, 1999	376	1999
Answer set programming: A primer T Eiter, G Ianni, T Krennwallner Reasoning Web. Semantic Technologies for Information Systems: 5th …, 2009	324	2009
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	310	2005
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	285	1997
Equilibria in heterogeneous nonmonotonic multi-context systems G Brewka, T Eiter AAAI 7, 385-390, 2007	280	2007
The KR system dlv: Progress report, comparisons and benchmarks T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello KR 98, 406-417, 1998	280	1998
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	263	1997
Declarative problem-solving using the DLV system T Eiter, W Faber, N Leone, G Pfeifer Logic-based artificial intelligence, 79-103, 2000	259	2000
Propositional circumscription and extended closed-world reasoning are πp2-complete T Eiter, G Gottlob Theoretical Computer Science 114 (2), 231-245, 1993	258	1993

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai