Franz Baader - Google Scholar Citations

Citeras av

	Alla	Sedan 2015
Citat	31738	7643
h-index	61	30
i10-index	181	90

2200

1100

550

1650

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020110 149 141 254 208 271 388 378 454 447 635 964 1311 1745 1946 2117 2131 2199 1904 1988 1820 1841 1504 1423 1322 1323 1492 572

Medförfattare

Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterVerifierad e-postadress på cs.man.ac.uk
Carsten LutzProfessor of Computer Science, University of BremenVerifierad e-postadress på uni-bremen.de
Deborah L. McGuinnessTetherless World Chair, Prof. Computer, Cognitive & Web Sciences, RPIVerifierad e-postadress på rpi.edu
Rafael PeñalozaUniversity of Milano-BicoccaVerifierad e-postadress på unimib.it
Ian HorrocksProfessor of Computer Science, University of OxfordVerifierad e-postadress på cs.ox.ac.uk
Stefan BorgwardtTheoretical Computer Science, TU DresdenVerifierad e-postadress på tu-dresden.de
Werner NuttProfessor of Computer Science, Free University of Bozen-BolzanoVerifierad e-postadress på inf.unibz.it
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerifierad e-postadress på in.tum.de
Barbara MorawskaAhmedabad UniversityVerifierad e-postadress på ahduni.edu.in
Frank WolterDepartment of Computer Science, University of LiverpoolVerifierad e-postadress på liverpool.ac.uk
silvio ghilardiUniversità degli Studi di MilanoVerifierad e-postadress på unimi.it
Sebastian BrandtSchool of Computer Science, The University of ManchesterVerifierad e-postadress på cs.manchester.ac.uk
Baris SertkayaFrankfurt University of Applied SciencesVerifierad e-postadress på fb2.fra-uas.de
Bernhard NebelProfessor für Informatik, Universität FreiburgVerifierad e-postadress på uni-freiburg.de
Cesare TinelliProfessor of Computer Science, The University of IowaVerifierad e-postadress på uiowa.edu
Anni-Yasmin TurhanTechnische Universität DresdenVerifierad e-postadress på tu-dresden.de
Enrico FranconiProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoVerifierad e-postadress på inf.unibz.it
Hans-Jürgen BürckertDFKI GmbHVerifierad e-postadress på dfki.de
Stefan SchulzMedical University of GrazVerifierad e-postadress på medunigraz.at
Stephan TobiesSynopsysVerifierad e-postadress på tobies.info

Franz Baader

Professor of Theoretical Computer Science, TU Dresden

Verifierad e-postadress på tu-dresden.de - Startsida

Logic in Computer Science Knowledge Representation Automated Deduction


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
The description logic handbook: Theory, implementation and applications F Baader, D Calvanese, D McGuinness, P Patel-Schneider, D Nardi Cambridge university press, 2003	11915	2003
Term Rewriting and All That F Baader, T Nipkow Cambridge University Press, 1998	3578	1998
Pushing the EL envelope F Baader, S Brandt, C Lutz Nineteenth International Joint Conference on Artificial Intelligence, 364-369, 2005	1260	2005
Unification theory FBW Snyder Handbook of automated reasoning 1, 447-533, 2001	868*	2001
Description logics as ontology languages for the semantic web F Baader, I Horrocks, U Sattler Mechanizing mathematical reasoning, 228-248, 2005	766	2005
An overview of tableau algorithms for description logics F Baader, U Sattler Studia Logica 69 (1), 5-40, 2001	628	2001
A scheme for integrating concrete domains into concept languages F Baader, P Hanschke 12th International Joint Conference on Artificial Intelligence, 452-457, 1991	573	1991
Embedding defaults into terminological knowledge representation formalisms F Baader, B Hollunder Journal of Automated Reasoning 14 (1), 149-180, 1995	435	1995
Description logics F Baader, I Horrocks, U Sattler Foundations of Artificial Intelligence 3, 135-179, 2008	425	2008
Description logics F Baader, I Horrocks, U Sattler Handbook on ontologies, 3-28, 2004	395	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	322*	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	322*	1992
Pushing the EL envelope further F Baader, S Brandt, C Lutz Workshop on OWL: Experiences and Directions (OWLED 2008), 2008	301	2008
Computing least common subsumers in description logics with existential restrictions F Baader, R Küsters, R Molitor IJCAI 99, 96-101, 1999	269	1999
Terminological cycles in a description logic with existential restrictions F Baader IJCAI 3, 325-330, 2003	254	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	246	2006
A terminological knowledge representation system with complete inference algorithms F Baader, B Hollunder International Workshop on Processing Declarative Knowledge, 67-86, 1991	232	1991
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	220	2017
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	220	1991
Completing Description Logic Knowledge Bases Using Formal Concept Analysis. F Baader, B Ganter, B Sertkaya, U Sattler IJCAI, 230-235, 2007	214	2007

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Ladda upp PDF

Följ den här författaren

Citeras av

Medförfattare