( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Logic-Based Knowledge Representation.

. Artificial Intelligence Today, том 1600 из Lecture Notes in Computer Science, Springer, (1999)

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.

Franz Baader

Franz Baader

Franz Hinrich Baader

Walfried Baader

Horst Baader

 

Другие публикации лиц с тем же именем

Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. RR-90-13. Deutsches Forschungszentrum für Künstliche Intelligenz GmbH\\Erwin-Schrödinger Strasse\\Postfach 2080\\67608 Kaiserslautern\\Germany, (1990)Extensions to Description Logics., , и . Description Logic Handbook, Cambridge University Press, (2003)Using Automata Theory for Characterizing the Semantics of Terminological Cycles.. Ann. Math. Artif. Intell., 18 (2-4): 175-219 (1996)Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)., , , , и . CoRR, (2020)Unification Properties of Commutative Theories: A Categorical Treatment.. Category Theory and Computer Science, том 389 из Lecture Notes in Computer Science, стр. 273-299. Springer, (1989)On the Decidability Status of Fuzzy ALC with General Concept Inclusions., , и . J. Philosophical Logic, 44 (2): 117-146 (2015)Description logic., и . Handbook of Modal Logic, том 3 из Studies in logic and practical reasoning, North-Holland, (2007)Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures., и . CADE, том 607 из Lecture Notes in Computer Science, стр. 50-65. Springer, (1992)Completing Desscription Logic Knowledge Bases using Formal Concept Analysis, , , и . OWLED 2007, (2008)Metric Temporal Description Logics with Interval-Rigid Names., , , , и . ACM Trans. Comput. Log., 21 (4): 30:1-30:46 (2020)