Franz Baader

Citata da

	Tutte	Dal 2016
Citazioni	33562	7589
Indice H	64	30
i10-index	182	92

2200

1100

550

1650

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021116 154 146 254 204 270 404 379 419 461 661 981 1313 1784 2008 2094 2178 2192 1935 2002 1863 1865 1512 1461 1352 1335 1476 1314 641

Accesso pubblico

Visualizza tutto

63 articoli

6 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterEmail verificata su cs.man.ac.uk
Carsten LutzProfessor of Computer Science, University of BremenEmail verificata su uni-bremen.de
Werner NuttProfessor of Computer Science, Free University of Bozen-BolzanoEmail verificata su unibz.it
Rafael PeñalozaUniversity of Milano-BicoccaEmail verificata su unimib.it
Stefan BorgwardtTheoretical Computer Science, TU DresdenEmail verificata su tu-dresden.de
Deborah L. McGuinnessTetherless World Chair, Prof. Computer, Cognitive & Web Sciences, RPIEmail verificata su rpi.edu
Ian HorrocksProfessor of Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenEmail verificata su in.tum.de
Barbara MorawskaAhmedabad UniversityEmail verificata su ahduni.edu.in
Frank WolterDepartment of Computer Science, University of LiverpoolEmail verificata su liverpool.ac.uk
silvio ghilardiUniversità degli Studi di MilanoEmail verificata su unimi.it
Sebastian BrandtSchool of Computer Science, The University of ManchesterEmail verificata su cs.manchester.ac.uk
Bernhard NebelProfessor für Informatik, Universität FreiburgEmail verificata su uni-freiburg.de
Baris SertkayaFrankfurt University of Applied SciencesEmail verificata su fb2.fra-uas.de
Cesare TinelliProfessor of Computer Science, The University of IowaEmail verificata su uiowa.edu
Anni-Yasmin TurhanTechnische Universität DresdenEmail verificata su tu-dresden.de
Hans-Jürgen BürckertDFKI GmbHEmail verificata su dfki.de
Enrico FranconiProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoEmail verificata su inf.unibz.it
Wayne SnyderAssociate Professor of Computer Science, Boston UniversityEmail verificata su bu.edu
Stefan SchulzMedical University of GrazEmail verificata su medunigraz.at

Franz Baader

Professor of Theoretical Computer Science, TU Dresden

Email verificata su tu-dresden.de - Home page

Logic in Computer Science Knowledge Representation Automated Deduction


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
The description logic handbook: Theory, implementation and applications F Baader, D Calvanese, D McGuinness, P Patel-Schneider, D Nardi Cambridge university press, 2003	12579	2003
Term Rewriting and All That F Baader, T Nipkow Cambridge University Press, 1998	3782	1998
Pushing the EL envelope F Baader, S Brandt, C Lutz Nineteenth International Joint Conference on Artificial Intelligence, 364-369, 2005	1343	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	804	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	586	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	458	2008
Description logics F Baader, I Horrocks, U Sattler Handbook on ontologies, 3-28, 2004	424	2004
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	333	2017
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	332*	1992
Pushing the EL envelope further F Baader, S Brandt, C Lutz Workshop on OWL: Experiences and Directions (OWLED 2008), 2008	322	2008
Computing least common subsumers in description logics with existential restrictions F Baader, R Küsters, R Molitor IJCAI 99, 96-101, 1999	281	1999
Terminological cycles in a description logic with existential restrictions F Baader IJCAI 3, 325-330, 2003	265	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	254	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	230	1991
Completing Description Logic Knowledge Bases Using Formal Concept Analysis. F Baader, B Ganter, B Sertkaya, U Sattler IJCAI 7, 230-235, 2007	222	2007
KRIS: Knowledge representation and inference system F Baader, B Hollunder Acm Sigart Bulletin 2 (3), 8-14, 1991	219	1991

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui questo autore

Citata da

Coautori