Author of the publication

Reasoning Web: Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 -- September 4, 2009, Tutorial Lectures

, , , , , , and (Eds.) Lecture Notes in Computer Science Springer, Berlin, (2009)
DOI: 10.1007/978-3-642-03754-2

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)Deciding Fluted Logic with Resolution.. ARW, volume 32 of CEUR Workshop Proceedings, CEUR-WS.org, (2000)Extending Forgetting-Based Abduction Using Nominals., and . FroCos, volume 11715 of Lecture Notes in Computer Science, page 185-202. Springer, (2019)On Concept Forgetting in Description Logics with Qualified Number Restrictions., and . Description Logics, volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Tracking Logical Difference in Industrial-Scale Ontologies., , , , , , and . Description Logics, volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Forgetting Concept and Role Symbols in ALCOIH\mu+(\top, \sqcap)-Ontologies., and . Description Logics, volume 1577 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)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 Guarded Fragments via Resolution., and . CoRR, (2020)A bi-intuitionistic modal logic: Foundations and automation., , and . J. Log. Algebraic Methods Program., 85 (4): 500-519 (2016)