Segui
Franz Baader
Franz Baader
Professor of Theoretical Computer Science, TU Dresden
Email verificata su tu-dresden.de - Home page
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
131672003
Term Rewriting and All That
F Baader, T Nipkow
Cambridge University Press, 1998
39781998
Pushing the EL envelope
F Baader, S Brandt, C Lutz
Nineteenth International Joint Conference on Artificial Intelligence, 364-369, 2005
14492005
Unification theory
F Baader, W Snyder
Handbook of automated reasoning 1, 447-533, 2001
999*2001
Description logics as ontology languages for the semantic web
F Baader, I Horrocks, U Sattler
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on …, 2005
8352005
An overview of tableau algorithms for description logics
F Baader, U Sattler
Studia Logica 69, 5-40, 2001
6722001
A scheme for integrating concrete domains into concept languages
F Baader, P Hanschke
12th International Joint Conference on Artificial Intelligence, 452-457, 1991
6151991
Description logics
F Baader, I Horrocks, U Sattler
Foundations of Artificial Intelligence 3, 135-179, 2008
5292008
Introduction to description logic
F Baader, I Horrocks, C Lutz, U Sattler
Cambridge University Press, 2017
5122017
Embedding defaults into terminological knowledge representation formalisms
F Baader, B Hollunder
Journal of Automated Reasoning 14, 149-180, 1995
4771995
Description logics
F Baader, I Horrocks, U Sattler
Handbook on ontologies, 3-28, 2004
4722004
Pushing the EL envelope further
F Baader, S Brandt, C Lutz
Workshop on OWL: Experiences and Directions (OWLED 2008), 2008
3482008
Computing least common subsumers in description logics with existential restrictions
F Baader, R Küsters, R Molitor
IJCAI 99, 96-101, 1999
3101999
Terminological cycles in a description logic with existential restrictions
F Baader
IJCAI 3, 325-330, 2003
2912003
CEL — A Polynomial-Time Reasoner for Life Science Ontologies
F Baader, C Lutz, B Suntisrivaraporn
Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006
2702006
A terminological knowledge representation system with complete inference algorithms
F Baader, B Hollunder
Processing Declarative Knowledge: International Workshop PDK'91 …, 2005
2452005
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
2321991
Integrating Description Logics and Action Formalisms: First Results.
F Baader, C Lutz, M Milicic, U Sattler, F Wolter
AAAI 5, 572-577, 2005
2292005
Completing description logic knowledge bases using formal concept analysis
F Baader, B Ganter, U Sattler, B Sertkaya
IJCAI, 230-235, 2007
2272007
Pinpointing in the Description Logic EL
F Baader, R Penaloza, B Suntisrivaraporn
Advances in Artificial Intelligence, 52, 2007
2272007
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20