research
∙
07/21/2023
Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems
A wide variety of nonmonotonic semantics can be expressed as approximato...
research
∙
08/05/2022
A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases
The logic of hybrid MKNF (minimal knowledge and negation as failure) is ...
research
∙
02/25/2021