( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The limits of decidability in fuzzy description logics with general concept inclusions.

, , и . Artif. Intell., (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.

Stefan Borgwardt

Stefan Borgwardt

Eva Borgwardt

Sönke Borgwardt

Jens Borgwardt

 

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

Finding Small Proofs for Description Logic Entailments: Theory and Practice., , , , и . LPAR, том 73 из EPiC Series in Computing, стр. 32-67. EasyChair, (2020)Finite Lattices Do Not Make Reasoning in ALCI Harder., и . URSW, том 778 из CEUR Workshop Proceedings, стр. 51-62. CEUR-WS.org, (2011)Description Logics over Lattices with Multi-Valued Ontologies., и . IJCAI, стр. 768-773. IJCAI/AAAI, (2011)Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes., , и . RuleML+RR, том 11784 из Lecture Notes in Computer Science, стр. 3-18. Springer, (2019)Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract)., , , , и . Description Logics, том 2954 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)Logic-Guided Neural Utterance Generation from Drone Sensory Data (Extended Abstract)., , , , , и . Description Logics, том 2954 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)In the Hand of the Beholder: Comparing Interactive Proof Visualizations., , , , , и . Description Logics, том 2954 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne., , , , , и . Description Logics, том 3263 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies., , , и . Description Logics, том 3263 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes., , и . Description Logics, том 846 из CEUR Workshop Proceedings, CEUR-WS.org, (2012)