Author of the publication

On the Decidability Status of Fuzzy ALC with General Concept Inclusions.

, , and . J. Philosophical Logic, 44 (2): 117-146 (2015)

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

The Fuzzy Description Logic $G-F\!L_0 $ with Greatest Fixed-Point Semantics., , and . JELIA, volume 8761 of Lecture Notes in Computer Science, page 62-76. Springer, (2014)Study protocol for a randomised controlled trial of an e-health stepped care approach for the treatment of internet use disorders versus a placebo condition: the SCAPIT study, , , , , , , , , and 7 other author(s). BMJ Open, 12 (11): 1-9 (2022)(GESIS Panel).Temporal Query Answering in the Description Logic EL., and . IJCAI, page 2819-2825. AAAI Press, (2015)Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies., and . IJCAI, page 6131-6135. ijcai.org, (2019)Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version., , , , , und . CoRR, (2022)Computing Local Unifiers in the Description Logic EL without the Top Concept., , , und . UNIF, Seite 2-8. (2011)Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering., , und . WWW (Companion Volume), Seite 1069-1074. ACM, (2018)Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD., , , , , , , , , und 1 andere Autor(en). ICMI, Seite 308-317. ACM, (2021)Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics., und . Int. J. Approx. Reason., (2017)Temporal Conjunctive Query Answering in the Extended DL-Lite Family., und . CoRR, (2020)