Franz Baader

Cited by

	All	Since 2018
Citations	35658	6512
h-index	65	28
i10-index	187	85

2200

1100

550

1650

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023102 146 151 243 220 269 383 384 472 466 708 996 1382 1707 2020 2177 2131 2174 1981 2016 1881 1937 1549 1481 1377 1365 1544 1307 1128 1099 64

Public access

View all

72 articles

10 articles

available

not available

Based on funding mandates

Co-authors

Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
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
Deborah L. McGuinnessTetherless World Chair, Prof. Computer, Cognitive & Web Sciences, RPIVerified email at cs.rpi.edu
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
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
Sebastian BrandtSchool of Computer Science, The University of ManchesterVerified email at cs.manchester.ac.uk
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
Baris SertkayaProfessor of Computer Science, Frankfurt University of Applied SciencesVerified email at fb2.fra-uas.de
Anni-Yasmin TurhanTechnische Universität DresdenVerified email at tu-dresden.de
Hans-Jürgen BürckertDFKI GmbHVerified email at dfki.de
Enrico FranconiProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Stefan SchulzMedical University of GrazVerified email at medunigraz.at
Alexander OkhotinUniversity of TurkuVerified email at utu.fi

Franz Baader

Professor of Theoretical Computer Science, TU Dresden

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 description logic handbook: Theory, implementation and applications F Baader, D Calvanese, D McGuinness, P Patel-Schneider, D Nardi Cambridge university press, 2003	13167	2003
Term Rewriting and All That F Baader, T Nipkow Cambridge University Press, 1998	3978	1998
Pushing the EL envelope F Baader, S Brandt, C Lutz Nineteenth International Joint Conference on Artificial Intelligence, 364-369, 2005	1449	2005
Unification theory F Baader, W Snyder Handbook of automated reasoning 1, 447-533, 2001	999*	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	835	2005
An overview of tableau algorithms for description logics F Baader, U Sattler Studia Logica 69, 5-40, 2001	672	2001
A scheme for integrating concrete domains into concept languages F Baader, P Hanschke 12th International Joint Conference on Artificial Intelligence, 452-457, 1991	615	1991
Description logics F Baader, I Horrocks, U Sattler Foundations of Artificial Intelligence 3, 135-179, 2008	529	2008
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	512	2017
Embedding defaults into terminological knowledge representation formalisms F Baader, B Hollunder Journal of Automated Reasoning 14, 149-180, 1995	477	1995
Description logics F Baader, I Horrocks, U Sattler Handbook on ontologies, 3-28, 2004	472	2004
Pushing the EL envelope further F Baader, S Brandt, C Lutz Workshop on OWL: Experiences and Directions (OWLED 2008), 2008	348	2008
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 Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006	270	2006
A terminological knowledge representation system with complete inference algorithms F Baader, B Hollunder Processing Declarative Knowledge: International Workshop PDK'91 …, 2005	245	2005
Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles F Baader 12th International Joint Conference on Artificial Intelligence, 446-451, 1991	232	1991
Integrating Description Logics and Action Formalisms: First Results. F Baader, C Lutz, M Milicic, U Sattler, F Wolter AAAI 5, 572-577, 2005	229	2005
Completing description logic knowledge bases using formal concept analysis F Baader, B Ganter, U Sattler, B Sertkaya IJCAI, 230-235, 2007	227	2007
Pinpointing in the Description Logic EL F Baader, R Penaloza, B Suntisrivaraporn Advances in Artificial Intelligence, 52, 2007	227	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