Franz Baader

Citado por

	Todos	Desde 2017
Citações	34004	6731
Índice h	64	28
Índice i10	173	82

2200

1100

550

1650

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022116 154 146 254 204 271 406 379 420 461 663 983 1292 1757 1991 2075 2146 2179 1928 1997 1855 1860 1511 1448 1354 1333 1520 1340 1129 47

Acesso público

Visualizar todos

75 artigos

6 artigos

disponível

não disponível

Com base nas autorizações de financiamento

Coautores

Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterE-mail confirmado em cs.man.ac.uk
Carsten LutzProfessor of Computer Science, University of BremenE-mail confirmado em uni-bremen.de
Werner NuttProfessor of Computer Science, Free University of Bozen-BolzanoE-mail confirmado em unibz.it
Rafael PeñalozaUniversity of Milano-BicoccaE-mail confirmado em unimib.it
Stefan BorgwardtTheoretical Computer Science, TU DresdenE-mail confirmado em tu-dresden.de
Ian HorrocksProfessor of Computer Science, University of OxfordE-mail confirmado em cs.ox.ac.uk
Deborah L. McGuinnessTetherless World Chair, Prof. Computer, Cognitive & Web Sciences, RPIE-mail confirmado em cs.rpi.edu
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenE-mail confirmado em in.tum.de
Barbara MorawskaAhmedabad UniversityE-mail confirmado em ahduni.edu.in
Frank WolterDepartment of Computer Science, University of LiverpoolE-mail confirmado em liverpool.ac.uk
silvio ghilardiUniversità degli Studi di MilanoE-mail confirmado em unimi.it
Sebastian BrandtSchool of Computer Science, The University of ManchesterE-mail confirmado em cs.manchester.ac.uk
Anni-Yasmin TurhanTechnische Universität DresdenE-mail confirmado em tu-dresden.de
Bernhard NebelProfessor für Informatik, Universität FreiburgE-mail confirmado em uni-freiburg.de
Baris SertkayaProfessor of Computer Science, Frankfurt University of Applied SciencesE-mail confirmado em fb2.fra-uas.de
Cesare TinelliProfessor of Computer Science, The University of IowaE-mail confirmado em uiowa.edu
Hans-Jürgen BürckertDFKI GmbHE-mail confirmado em dfki.de
Wayne SnyderAssociate Professor of Computer Science, Boston UniversityE-mail confirmado em bu.edu
Enrico FranconiProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoE-mail confirmado em inf.unibz.it
Stefan SchulzMedical University of GrazE-mail confirmado em medunigraz.at

Franz Baader

Professor of Theoretical Computer Science, TU Dresden

E-mail confirmado em tu-dresden.de - Página inicial

Logic in Computer Science Knowledge Representation Automated Deduction


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
The description logic handbook: Theory, implementation and applications F Baader, D Calvanese, D McGuinness, P Patel-Schneider, D Nardi Cambridge university press, 2003	12775	2003
Term Rewriting and All That F Baader, T Nipkow Cambridge University Press, 1998	3847	1998
Pushing the EL envelope F Baader, S Brandt, C Lutz Nineteenth International Joint Conference on Artificial Intelligence, 364-369, 2005	1379	2005
Unification theory F Baader, W Snyder Handbook of automated reasoning 1, 447-533, 2001	913*	2001
Description logics as ontology languages for the semantic web F Baader, I Horrocks, U Sattler Mechanizing mathematical reasoning, 228-248, 2005	812	2005
An overview of tableau algorithms for description logics F Baader, U Sattler Studia Logica 69 (1), 5-40, 2001	659	2001
A scheme for integrating concrete domains into concept languages F Baader, P Hanschke 12th International Joint Conference on Artificial Intelligence, 452-457, 1991	591	1991
Description logics F Baader, I Horrocks, U Sattler Foundations of Artificial Intelligence 3, 135-179, 2008	474	2008
Embedding defaults into terminological knowledge representation formalisms F Baader, B Hollunder Journal of Automated Reasoning 14 (1), 149-180, 1995	468	1995
Description logics F Baader, I Horrocks, U Sattler Handbook on ontologies, 3-28, 2004	442	2004
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	385	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	335*	1992
Pushing the EL envelope further F Baader, S Brandt, C Lutz Workshop on OWL: Experiences and Directions (OWLED 2008), 2008	330	2008
Computing least common subsumers in description logics with existential restrictions F Baader, R Küsters, R Molitor IJCAI 99, 96-101, 1999	292	1999
Terminological cycles in a description logic with existential restrictions F Baader IJCAI 3, 325-330, 2003	272	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	262	2006
A terminological knowledge representation system with complete inference algorithms F Baader, B Hollunder International Workshop on Processing Declarative Knowledge, 67-86, 1991	239	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	231	1991
Completing Description Logic Knowledge Bases Using Formal Concept Analysis. F Baader, B Ganter, B Sertkaya, U Sattler IJCAI 7, 230-235, 2007	224	2007
KRIS: Knowledge representation and inference system F Baader, B Hollunder Acm Sigart Bulletin 2 (3), 8-14, 1991	219	1991

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Seguir este autor

Citado por

Coautores