Author of the publication

A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME.

, and . SOQE, volume 2013 of CEUR Workshop Proceedings, page 21-26. CEUR-WS.org, (2017)

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.

 

Other publications of authors with the same name

Autodescriptivity: Beware!, , and . Comput. J., 34 (4): 379-381 (1991)Multi-agent Logics of Dynamic Belief and Knowledge., and . JELIA, volume 2424 of Lecture Notes in Computer Science, page 38-49. Springer, (2002)Protégé-TS : an OWL ontology term selection tool, and . 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, volume 1379 of Lecture Notes in Computer Science, page 106-120. Springer, (1998)Relations and Kleene Algebras in Computer Science., and . J. Log. Algebraic Methods Program., 76 (1): 1-2 (2008)Querying Guarded Fragments via Resolution., and . CoRR, (2020)Deciding Fluted Logic with Resolution.. ARW, volume 32 of CEUR Workshop Proceedings, CEUR-WS.org, (2000)A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME., and . SOQE, volume 2013 of CEUR Workshop Proceedings, page 21-26. CEUR-WS.org, (2017)Querying the Guarded Fragment via Resolution (Extended Abstract)., and . PAAR+SC²@IJCAR, volume 2752 of CEUR Workshop Proceedings, page 167-177. CEUR-WS.org, (2020)On Concept Forgetting in Description Logics with Qualified Number Restrictions., and . Description Logics, volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)