( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automated Synthesis of Tableau Calculi.

, и . TABLEAUX, том 5607 из Lecture Notes in Computer Science, стр. 310-324. Springer, (2009)

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

 

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

Multi-agent Logics of Dynamic Belief and Knowledge., и . JELIA, том 2424 из Lecture Notes in Computer Science, стр. 38-49. Springer, (2002)E-Unification for Subsystems of S4.. RTA, том 1379 из Lecture Notes in Computer Science, стр. 106-120. Springer, (1998)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)Relations and Kleene Algebras in Computer Science., и . J. Log. Algebraic Methods Program., 76 (1): 1-2 (2008)A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME., и . SOQE, том 2013 из CEUR Workshop Proceedings, стр. 21-26. CEUR-WS.org, (2017)Deciding Fluted Logic with Resolution.. ARW, том 32 из CEUR Workshop Proceedings, CEUR-WS.org, (2000)Querying Guarded Fragments via Resolution., и . CoRR, (2020)Querying the Guarded Fragment via Resolution (Extended Abstract)., и . PAAR+SC²@IJCAR, том 2752 из CEUR Workshop Proceedings, стр. 167-177. CEUR-WS.org, (2020)Forgetting Concept and Role Symbols in ALCOIH\mu+(\top, \sqcap)-Ontologies., и . Description Logics, том 1577 из CEUR Workshop Proceedings, CEUR-WS.org, (2016)On Concept Forgetting in Description Logics with Qualified Number Restrictions., и . Description Logics, том 2373 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)