Franz Baader - Google Scholar Citations

Citeras av

	Alla	Sedan 2015
Citat	31105	7164
h-index	61	29
i10-index	179	84

2200

1100

550

1650

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020111 151 146 246 197 270 388 362 455 442 638 964 1323 1726 1970 2070 2148 2188 1899 1957 1785 1835 1497 1385 1328 1303 1486 158

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
Werner NuttProfessor of Computer Science, Free University of Bozen-BolzanoVerifierad e-postadress på inf.unibz.it
Stefan BorgwardtTheoretical Computer Science, TU DresdenVerifierad e-postadress på tu-dresden.de
Barbara MorawskaAhmedabad UniversityVerifierad e-postadress på ahduni.edu.in
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerifierad e-postadress på in.tum.de
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
Bernhard NebelProfessor für Informatik, Universität FreiburgVerifierad e-postadress på uni-freiburg.de
Baris SertkayaFrankfurt University of Applied SciencesVerifierad e-postadress på fb2.fra-uas.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
Ralf MöllerProfessor of Computer Science, University of LübeckVerifierad e-postadress på uni-luebeck.de
Stefan SchulzMedical University of GrazVerifierad e-postadress på medunigraz.at

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	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	11716	2003
Term Rewriting and All That F Baader, T Nipkow Cambridge University Press, 1998	3494	1998
Pushing the EL envelope F Baader, S Brandt, C Lutz Nineteenth International Joint Conference on Artificial Intelligence, 364-369, 2005	1218	2005
Unification theory FBW Snyder Handbook of automated reasoning 1, 447-533, 2001	858*	2001
Description logics as ontology languages for the semantic web F Baader, I Horrocks, U Sattler Mechanizing mathematical reasoning, 228-248, 2005	741	2005
An overview of tableau algorithms for description logics F Baader, U Sattler Studia Logica 69 (1), 5-40, 2001	614	2001
A scheme for integrating concrete domains into concept languages F Baader, P Hanschke 12th International Joint Conference on Artificial Intelligence, 452-457, 1991	560	1991
Embedding defaults into terminological knowledge representation formalisms F Baader, B Hollunder Journal of Automated Reasoning 14 (1), 149-180, 1995	426	1995
Description logics F Baader, I Horrocks, U Sattler Foundations of Artificial Intelligence 3, 135-179, 2008	399	2008
Description logics F Baader, I Horrocks, U Sattler Handbook on ontologies, 3-28, 2004	381	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	311	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	311*	1992
Pushing the EL envelope further F Baader, S Brandt, C Lutz Workshop on OWL: Experiences and Directions (OWLED 2008), 2008	295	2008
Computing least common subsumers in description logics with existential restrictions F Baader, R Küsters, R Molitor IJCAI 99, 96-101, 1999	265	1999
Terminological cycles in a description logic with existential restrictions F Baader IJCAI 3, 325-330, 2003	248	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	233	2006
A terminological knowledge representation system with complete inference algorithms F Baader, B Hollunder International Workshop on Processing Declarative Knowledge, 67-86, 1991	226	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	213	1991
Completing Description Logic Knowledge Bases Using Formal Concept Analysis. F Baader, B Ganter, B Sertkaya, U Sattler IJCAI 7, 230-235, 2007	209	2007
KRIS: Knowledge representation and inference system F Baader, B Hollunder Acm Sigart Bulletin 2 (3), 8-14, 1991	205	1991

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