( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics.

, , , , и . Description Logics, том 2211 из CEUR Workshop Proceedings, CEUR-WS.org, (2018)

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.

Ruba Khouzam

Martin ruba

Ruba Abuamsha

Martin Rubach

Thomas Rubach

 

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

The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics., , , , и . Description Logics, том 2211 из CEUR Workshop Proceedings, CEUR-WS.org, (2018)Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic Kn., , и . SOQE@KR, том 3009 из CEUR Workshop Proceedings, стр. 15-27. CEUR-WS.org, (2021)Non-Classical Logics in Satisfiability Modulo Theories., , , и . TABLEAUX, том 14278 из Lecture Notes in Computer Science, стр. 24-36. Springer, (2023)Saturation-Based Uniform Interpolation for Multi-Modal Logics., , и . AiML, стр. 37-57. College Publications, (2022)A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME., и . SOQE, том 2013 из CEUR Workshop Proceedings, стр. 21-26. CEUR-WS.org, (2017)DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic., и . GCAI, том 65 из EPiC Series in Computing, стр. 127-138. EasyChair, (2019)