Thomas Eiter

Citeret af

	Alle	Siden 2020
Henvisninger	24183	4761
h-index	75	29
i10-indeks	257	97

1200

600

300

900

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202576 76 81 200 160 271 276 392 456 578 687 741 899 1147 1104 929 1049 1116 1008 1069 1180 1120 1137 1038 1046 1104 987 832 891 977 982 90

Offentlig adgang

Se alle

153 artikler

4 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

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

Følg

Thomas Eiter

Vienna University of Technology (TU Wien)

Verificeret mail på kr.tuwien.ac.at - Startside

knowledge representation and reasoning declarative problem solving artificial intelligence computational logic


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
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	1598	2006
Answer set programming at a glance G Brewka, T Eiter, M Truszczyński Communications of the ACM 54 (12), 92-103, 2011	1260	2011
Computing discrete Fréchet distance T Eiter, H Mannila Technical Report CD-TR 94/64, Christian Doppler Laboratory for Expert …, 1994	1023	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	997	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	694	1997
The complexity of logic-based abduction T Eiter, G Gottlob Journal of the ACM (JACM) 42 (1), 3-42, 1995	593	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	581	1992
Identifying the minimal transversals of a hypergraph and related problems T Eiter, G Gottlob SIAM Journal on Computing 24 (6), 1278-1304, 1995	577	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	487	1995
Preferred answer sets for extended logic programs G Brewka, T Eiter Artificial intelligence 109 (1-2), 297-356, 1999	373	1999
Answer set programming: A primer T Eiter, G Ianni, T Krennwallner Reasoning Web. Semantic Technologies for Information Systems: 5th …, 2009	319	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	283	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	278	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	258	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

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere