( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using Tableau to Decide Expressive Description Logics with Role Negation.

, и . ISWC/ASWC, том 4825 из Lecture Notes in Computer Science, стр. 438-451. Springer, (2007)

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.

Renate Schmidt

Renate Schmidt

Renate Schmidt

Renate Schmidt

Renate Schmidt

 

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

Querying Guarded Fragments via Resolution., и . CoRR, (2020)A bi-intuitionistic modal logic: Foundations and automation., , и . J. Log. Algebraic Methods Program., 85 (4): 500-519 (2016)Signature-Based Abduction for Expressive Description Logics - Technical Report., , , и . CoRR, (2020)Protégé-TS : an OWL ontology term selection tool, и . DL 2020 : Description Logics 2020 Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) Online, September 12th to 14th, 2020, 2663, (2020)E-Unification for Subsystems of S4.. RTA, том 1379 из Lecture Notes in Computer Science, стр. 106-120. Springer, (1998)Autodescriptivity: Beware!, , и . Comput. J., 34 (4): 379-381 (1991)Multi-agent Logics of Dynamic Belief and Knowledge., и . JELIA, том 2424 из Lecture Notes in Computer Science, стр. 38-49. Springer, (2002)Relations and Kleene Algebras in Computer Science., и . J. Log. Algebraic Methods Program., 76 (1): 1-2 (2008)Deciding Fluted Logic with Resolution.. ARW, том 32 из CEUR Workshop Proceedings, CEUR-WS.org, (2000)A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME., и . SOQE, том 2013 из CEUR Workshop Proceedings, стр. 21-26. CEUR-WS.org, (2017)