( en | de | ru )

 

Disambiguation of "Baader, Franz"

Author of the publication

copydeleteadd this publication to your clipboard
The description logic handbook theory, implementation, and applications

, , and (Eds.) Cambridge University Press, Cambridge ; New York, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Franz Baader

Franz Baader

Franz Hinrich Baader

Walfried Baader

Horst Baader

 

Other publications of authors with the same name

The description logic handbook: theory, implementation, and applications. Cambridge university press, (2003)Pushing the EL envelope, , and . International Joint Conference on Artificial Intelligence (IJCAI) 2005, page 364--369. Morgan-Kaufmann Publishers, (2005)Terminological Knowledge Representation: A Proposal for a Terminological Logic., , , , , , , and . Description Logics, volume DFKI-D-91-13 of DFKI Documents, page 120-128. (1991)Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics.. ICCS, volume 2746 of Lecture Notes in Computer Science, page 117-130. Springer, (2003)A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics., , and . IJCAR, volume 3097 of Lecture Notes in Computer Science, page 183-197. Springer, (2004)The Theory of Idempotent Semigroups is of Unification Type Zero.. J. Autom. Reason., 2 (3): 283-286 (1986)Preface to Special Issue on Reasoning in Description Logics.. J. Autom. Reason., 39 (3): 245-247 (2007)Logische Methoden in der Wissensrepräsentation am Beispiel terminologischer Repräsentationssprachen. RWTH Aachen, (1992)A Goal-Oriented Algorithm for Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies., , and . Australasian Conference on Artificial Intelligence, volume 7691 of Lecture Notes in Computer Science, page 493-504. Springer, (2012)Approximate Unification in the Description Logic FL_0., , and . JELIA, volume 10021 of Lecture Notes in Computer Science, page 49-63. (2016)