Franz Baader

Cited by

	All	Since 2016
Citations	33307	7365
h-index	63	29
i10-index	181	90

2300

1150

575

1725

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021113 167 145 253 203 271 405 379 404 472 651 980 1315 1747 2012 2091 2156 2203 1935 2008 1856 1861 1525 1456 1350 1343 1480 1342 387

Public access

View all

63 articles

6 articles

available

not available

Based on funding mandates

Co-authors

Carsten LutzProfessor of Computer Science, University of BremenVerified email at uni-bremen.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 rpi.edu
Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Barbara MorawskaAhmedabad UniversityVerified email at ahduni.edu.in
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
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
Anni-Yasmin TurhanTechnische Universität DresdenVerified email at tu-dresden.de
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 SertkayaFrankfurt University of Applied SciencesVerified email at fb2.fra-uas.de
Enrico FranconiProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Hans-Jürgen BürckertDFKI GmbHVerified email at dfki.de
Wayne SnyderAssociate Professor of Computer Science, Boston UniversityVerified email at bu.edu
Stefan SchulzMedical University of GrazVerified email at medunigraz.at

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	12513	2003
Term Rewriting and All That F Baader, T Nipkow Cambridge University Press, 1998	3749	1998
Pushing the EL envelope F Baader, S Brandt, C Lutz Nineteenth International Joint Conference on Artificial Intelligence, 364-369, 2005	1335	2005
Unification theory F Baader, W Snyder Handbook of automated reasoning 1, 447-533, 2001	907*	2001
Description logics as ontology languages for the semantic web F Baader, I Horrocks, U Sattler Mechanizing mathematical reasoning, 228-248, 2005	797	2005
An overview of tableau algorithms for description logics F Baader, U Sattler Studia Logica 69 (1), 5-40, 2001	650	2001
A scheme for integrating concrete domains into concept languages F Baader, P Hanschke 12th International Joint Conference on Artificial Intelligence, 452-457, 1991	581	1991
Embedding defaults into terminological knowledge representation formalisms F Baader, B Hollunder Journal of Automated Reasoning 14 (1), 149-180, 1995	461	1995
Description logics F Baader, I Horrocks, U Sattler Foundations of Artificial Intelligence 3, 135-179, 2008	455	2008
Description logics F Baader, I Horrocks, U Sattler Handbook on ontologies, 3-28, 2004	419	2004
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	329*	1994
An empirical analysis of optimization techniques for terminological representation systems: or:'Making KRIS get a move on' F Baader, B Hollunder, B Nebel, HJ Profitlich, E Franconi 3rd International Conference on Principles of Knowledge Representation and …, 1992	329*	1992
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	321	2017
Pushing the EL envelope further F Baader, S Brandt, C Lutz Workshop on OWL: Experiences and Directions (OWLED 2008), 2008	317	2008
Computing least common subsumers in description logics with existential restrictions F Baader, R Küsters, R Molitor IJCAI 99, 96-101, 1999	279	1999
Terminological cycles in a description logic with existential restrictions F Baader IJCAI 3, 325-330, 2003	263	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	256	2006
A terminological knowledge representation system with complete inference algorithms F Baader, B Hollunder International Workshop on Processing Declarative Knowledge, 67-86, 1991	238	1991
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	226	1991
Completing Description Logic Knowledge Bases Using Formal Concept Analysis. F Baader, B Ganter, B Sertkaya, U Sattler IJCAI, 230-235, 2007	223	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

Upload PDF

Follow this author

Cited by

Co-authors