Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Killen, Spencer"'
Hybrid MKNF Knowledge Bases (HMKNF-KBs) constitute a formalism for tightly integrated reasoning over closed-world rules and open-world ontologies. This approach allows for accurate modeling of real-world systems, which often rely on both categorical
Externí odkaz:
http://arxiv.org/abs/2408.09626
Autor:
Killen, Spencer, You, Jia-Huai
A wide variety of nonmonotonic semantics can be expressed as approximators defined under AFT (Approximation Fixpoint Theory). Using traditional AFT theory, it is not possible to define approximators that rely on information computed in previous itera
Externí odkaz:
http://arxiv.org/abs/2307.11286
Autor:
Killen, Spencer, You, Jia-Huai
Publikováno v:
EPTCS 364, 2022, pp. 51-64
The logic of hybrid MKNF (minimal knowledge and negation as failure) is a powerful knowledge representation language that elegantly pairs ASP (answer set programming) with ontologies. Disjunctive rules are a desirable extension to normal rule-based r
Externí odkaz:
http://arxiv.org/abs/2208.03087
Autor:
Killen, Spencer, You, Jia-Huai
Combining the closed-world reasoning of answer set programming (ASP) with the open-world reasoning of ontologies broadens the space of applications of reasoners. Disjunctive hybrid MKNF knowledge bases succinctly extend ASP and in some cases without
Externí odkaz:
http://arxiv.org/abs/2102.13162