Franz Baader

Cited by

	All	Since 2020
Citations	38921	6011
h-index	68	28
i10-index	206	81

2300

1150

575

1725

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025108 151 148 244 213 283 394 394 480 471 738 1000 1383 1743 2023 2202 2278 2232 2097 2073 1938 1968 1615 1497 1396 1410 1591 1376 1141 1192 1057 1083 160

Public access

View all

99 articles

11 articles

available

not available

Based on funding mandates

Co-authors

Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
Werner NuttProfessor of Computer Science, Free University of Bozen-BolzanoVerified email at unibz.it
Rafael PeñalozaUniversity of Milano-BicoccaVerified email at unimib.it
Stefan BorgwardtTheoretical Computer Science, TU DresdenVerified email at tu-dresden.de
Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Barbara MorawskaUniversity of ŁódźVerified email at wmii.uni.lodz.pl
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Bernhard NebelProfessor für Informatik, Universität FreiburgVerified email at uni-freiburg.de
Anni-Yasmin TurhanPaderborn UniversityVerified email at uni-paderborn.de
Wayne SnyderAssociate Professor of Computer Science, Boston UniversityVerified email at bu.edu
Baris SertkayaProfessor of Computer Science, Frankfurt University of Applied SciencesVerified email at fb2.fra-uas.de
Hans-Jürgen BürckertDFKI GmbHVerified email at dfki.de
Gerhard BrewkaProfessor of Computer Science, Leipzig UniversityVerified email at informatik.uni-leipzig.de
Enrico FranconiProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Deborah L. McGuinnessTetherless World Chair, Prof. Computer, Cognitive,Web Sciences, Industrial &Systems Engineering,RPIVerified email at cs.rpi.edu
Sebastian BrandtSchool of Computer Science, The University of ManchesterVerified email at cs.manchester.ac.uk

Franz Baader

Professor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/Leipzig

Verified email at tu-dresden.de - Homepage

Logic in Computer Science Knowledge Representation Automated Deduction


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The Desciption Logic Handbook F Baader, D Calvanese, D McGuiness, D Nardi, P Patel-Schneider Cambridge University Press, 2003	13116	2003
Term Rewriting and All That F Baader, T Nipkow Cambridge University Press, 1998	4296	1998
Pushing the EL envelope F Baader, S Brandt, C Lutz Nineteenth International Joint Conference on Artificial Intelligence, 364-369, 2005	1600	2005
Basic description logics F Baader, W Nutt The description logic handbook: theory, implementation, and applications, 43-95, 2003	1126	2003
Unification theory F Baader, W Snyder Handbook of automated reasoning 1, 447-533, 2001	1069	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	877	2005
An introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	789	2017
An overview of tableau algorithms for description logics F Baader, U Sattler Studia Logica 69, 5-40, 2001	682	2001
A scheme for integrating concrete domains into concept languages F Baader, P Hanschke 12th International Joint Conference on Artificial Intelligence, 452-457, 1991	633	1991
Description logics F Baader, I Horrocks, U Sattler Foundations of Artificial Intelligence 3, 135-179, 2008	553	2008
Description logics F Baader, I Horrocks, U Sattler Handbook on ontologies, 21-43, 2009	518	2009
Embedding defaults into terminological knowledge representation formalisms F Baader, B Hollunder Journal of Automated Reasoning 14, 149-180, 1995	486	1995
Pushing the EL envelope further F Baader, S Brandt, C Lutz Workshop on OWL: Experiences and Directions (OWLED 2008), 2008	376	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	350	1994
Computing least common subsumers in description logics with existential restrictions F Baader, R Küsters, R Molitor IJCAI 99, 96-101, 1999	334	1999
Terminological cycles in a description logic with existential restrictions F Baader IJCAI 3, 325-330, 2003	299	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	277	2006
Pinpointing in the Description Logic EL F Baader, R Penaloza, B Suntisrivaraporn Advances in Artificial Intelligence, 52, 2007	255	2007
A terminological knowledge representation system with complete inference algorithms F Baader, B Hollunder International Workshop on Processing Declarative Knowledge, 67-86, 1991	253	1991
Completing description logic knowledge bases using formal concept analysis F Baader, B Ganter, U Sattler, B Sertkaya IJCAI 7, 230-235, 2007	248	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors