Zobrazeno 1 - 4
of 4
pro vyhledávání: '"THÉRON, CLÉMENT"'
Autor:
Baader, Franz, Théron, Clément
We investigate the impact that general concept inclusions and role-value maps have on the complexity and decidability of reasoning in the Description Logic FL₀. On the one hand, we give a more direct proof for ExpTimehardness of subsumption w.r.t.
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A79620
https://tud.qucosa.de/api/qucosa%3A79620/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A79620/attachment/ATT-0/
We give a domain-theoretic semantics to a statistical programming language, using the plain old category of dcpos, in contrast to some more sophisticated recent proposals. Remarkably, our monad of minimal valuations is commutative, which allows for p
Externí odkaz:
http://arxiv.org/abs/2106.16190
Publikováno v:
Journal of the ACM; Oct2023, Vol. 70 Issue 5, p1-63, 63p
Autor:
Baader, Franz, Théron, Clément
Publikováno v:
KI: Künstliche Intelligenz; Sep2020, Vol. 34 Issue 3, p291-301, 11p