Franz Baader

Cytowane przez

	Wszystkie	Od 2018
Cytowania	36973	7524
h-indeks	67	31
i10-indeks	191	99

2300

1150

575

1725

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023108 160 147 242 222 296 396 381 457 466 699 1011 1387 1709 2038 2168 2173 2223 2012 2045 1883 1975 1564 1476 1375 1375 1570 1326 1131 1171 950

Dostęp publiczny

Wyświetl wszystko

84 artykuły

9 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Carsten LutzProfessor of Computer Science, University of LeipzigZweryfikowany adres z informatik.uni-leipzig.de
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterZweryfikowany adres z cs.man.ac.uk
Werner NuttProfessor of Computer Science, Free University of Bozen-BolzanoZweryfikowany adres z unibz.it
Stefan BorgwardtTheoretical Computer Science, TU DresdenZweryfikowany adres z tu-dresden.de
Rafael PeñalozaUniversity of Milano-BicoccaZweryfikowany adres z unimib.it
Ian HorrocksProfessor of Computer Science, University of OxfordZweryfikowany adres z cs.ox.ac.uk
Barbara MorawskaUniversity of ŁódźZweryfikowany adres z wmii.uni.lodz.pl
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenZweryfikowany adres z in.tum.de
Frank WolterDepartment of Computer Science, University of LiverpoolZweryfikowany adres z liverpool.ac.uk
silvio ghilardiUniversità degli Studi di MilanoZweryfikowany adres z unimi.it
Anni-Yasmin TurhanTechnische Universität DresdenZweryfikowany adres z tu-dresden.de
Sebastian BrandtSchool of Computer Science, The University of ManchesterZweryfikowany adres z cs.manchester.ac.uk
Cesare TinelliProfessor of Computer Science, The University of IowaZweryfikowany adres z uiowa.edu
Wayne SnyderAssociate Professor of Computer Science, Boston UniversityZweryfikowany adres z bu.edu
Bernhard NebelProfessor für Informatik, Universität FreiburgZweryfikowany adres z uni-freiburg.de
Baris SertkayaProfessor of Computer Science, Frankfurt University of Applied SciencesZweryfikowany adres z fb2.fra-uas.de
Hans-Jürgen BürckertDFKI GmbHZweryfikowany adres z dfki.de
Stefan SchulzMedical University of GrazZweryfikowany adres z medunigraz.at
Enrico FranconiProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoZweryfikowany adres z inf.unibz.it
Alexander OkhotinUniversity of TurkuZweryfikowany adres z utu.fi

Obserwuj

Franz Baader

Professor of Theoretical Computer Science, TU Dresden

Zweryfikowany adres z tu-dresden.de - Strona główna

Logic in Computer Science Knowledge Representation Automated Deduction


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
The Desciption Logic Handbook F Baader, D Calvanese, D McGuiness, D Nardi, P Patel-Schneider Cambridge University Press, 2003	12706	2003
Term Rewriting and All That F Baader, T Nipkow Cambridge University Press, 1998	4101	1998
Pushing the EL envelope F Baader, S Brandt, C Lutz Nineteenth International Joint Conference on Artificial Intelligence, 364-369, 2005	1483	2005
Basic description logics F Baader, W Nutt The description logic handbook: theory, implementation, and applications, 43-95, 2003	1079	2003
Unification theory F Baader, W Snyder Handbook of automated reasoning 1, 447-533, 2001	1026*	2001
Description logics as ontology languages for the semantic web F Baader, I Horrocks, U Sattler Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on …, 2005	855	2005
An overview of tableau algorithms for description logics F Baader, U Sattler Studia Logica 69, 5-40, 2001	669	2001
A scheme for integrating concrete domains into concept languages F Baader, P Hanschke 12th International Joint Conference on Artificial Intelligence, 452-457, 1991	623	1991
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	622	2017
Description logics F Baader, I Horrocks, U Sattler Foundations of Artificial Intelligence 3, 135-179, 2008	534	2008
Description logics F Baader, I Horrocks, U Sattler Handbook on ontologies, 3-28, 2004	497	2004
Embedding defaults into terminological knowledge representation formalisms F Baader, B Hollunder Journal of Automated Reasoning 14, 149-180, 1995	482	1995
Pushing the EL envelope further F Baader, S Brandt, C Lutz Workshop on OWL: Experiences and Directions (OWLED 2008), 2008	357	2008
Am empirical analysis of optimization techniques for terminological representation systems F Baader, B Hollunder, B Nebel, HJ Profitlich, E Franconi Applied Intelligence 4 (2), 109-132, 1994	345	1994
Computing least common subsumers in description logics with existential restrictions F Baader, R Küsters, R Molitor IJCAI 99, 96-101, 1999	310	1999
Terminological cycles in a description logic with existential restrictions F Baader IJCAI 3, 325-330, 2003	291	2003
CEL—a polynomial-time reasoner for life science ontologies F Baader, C Lutz, B Suntisrivaraporn International Joint Conference on Automated Reasoning, 287-291, 2006	273	2006
A terminological knowledge representation system with complete inference algorithms F Baader, B Hollunder International Workshop on Processing Declarative Knowledge, 67-86, 1991	246	1991
Completing description logic knowledge bases using formal concept analysis F Baader, B Ganter, U Sattler, B Sertkaya IJCAI 7, 230-235, 2007	240	2007
Pinpointing in the Description Logic EL F Baader, R Penaloza, B Suntisrivaraporn Advances in Artificial Intelligence, 52, 2007	239	2007

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