Franz Baader

Citeras av

	Alla	Sedan 2016
Citat	33016	7147
h-index	62	29
i10-index	181	87

2200

1100

550

1650

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021112 165 145 253 197 274 389 377 404 468 647 977 1316 1743 2011 2090 2150 2197 1932 1999 1856 1862 1525 1450 1338 1341 1479 1343 189

Offentlig åtkomst

Visa alla

60 artiklar

6 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Carsten LutzProfessor of Computer Science, University of BremenVerifierad e-postadress på uni-bremen.de
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterVerifierad e-postadress på cs.man.ac.uk
Werner NuttProfessor of Computer Science, Free University of Bozen-BolzanoVerifierad e-postadress på unibz.it
Rafael PeñalozaUniversity of Milano-BicoccaVerifierad e-postadress på unimib.it
Stefan BorgwardtTheoretical Computer Science, TU DresdenVerifierad e-postadress på tu-dresden.de
Deborah L. McGuinnessTetherless World Chair, Prof. Computer, Cognitive & Web Sciences, RPIVerifierad e-postadress på rpi.edu
Ian HorrocksProfessor of Computer Science, University of OxfordVerifierad e-postadress på cs.ox.ac.uk
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
Anni-Yasmin TurhanTechnische Universität DresdenVerifierad e-postadress på tu-dresden.de
Cesare TinelliProfessor of Computer Science, The University of IowaVerifierad e-postadress på uiowa.edu
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
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
Wayne SnyderAssociate Professor of Computer Science, Boston UniversityVerifierad e-postadress på bu.edu
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 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	12437	2003
Term Rewriting and All That F Baader, T Nipkow Cambridge University Press, 1998	3712	1998
Pushing the EL envelope F Baader, S Brandt, C Lutz Nineteenth International Joint Conference on Artificial Intelligence, 364-369, 2005	1321	2005
Unification theory F Baader, W Snyder Handbook of automated reasoning 1, 447-533, 2001	896*	2001
Description logics as ontology languages for the semantic web F Baader, I Horrocks, U Sattler Mechanizing mathematical reasoning, 228-248, 2005	791	2005
An overview of tableau algorithms for description logics F Baader, U Sattler Studia Logica 69 (1), 5-40, 2001	645	2001
A scheme for integrating concrete domains into concept languages F Baader, P Hanschke 12th International Joint Conference on Artificial Intelligence, 452-457, 1991	577	1991
Embedding defaults into terminological knowledge representation formalisms F Baader, B Hollunder Journal of Automated Reasoning 14 (1), 149-180, 1995	459	1995
Description logics F Baader, I Horrocks, U Sattler Foundations of Artificial Intelligence 3, 135-179, 2008	449	2008
Description logics F Baader, I Horrocks, U Sattler Handbook on ontologies, 3-28, 2004	416	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	326*	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	326*	1992
Pushing the EL envelope further F Baader, S Brandt, C Lutz Workshop on OWL: Experiences and Directions (OWLED 2008), 2008	312	2008
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	302	2017
Computing least common subsumers in description logics with existential restrictions F Baader, R Küsters, R Molitor IJCAI 99, 96-101, 1999	276	1999
Terminological cycles in a description logic with existential restrictions F Baader IJCAI 3, 325-330, 2003	259	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	255	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	225	1991
Completing Description Logic Knowledge Bases Using Formal Concept Analysis. F Baader, B Ganter, B Sertkaya, U Sattler IJCAI, 230-235, 2007	221	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