47 citations · 63 across the 21 of their papers we have counts for
22 papers
Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems
Spencer Killen, Jia-Huai You
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 de…
A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases
Spencer Killen, Jia-Huai You
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 ontologi…
A Deep Dive into Conflict Generating Decisions
Md Solimul Chowdhury, Martin Müller, Jia You
Boolean Satisfiability (SAT) is a well-known NP-complete problem. Despite this theoretical hardness, SAT solvers based on Conflict Driven Clause Learning (CDCL) can solve large SAT…
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
Fangfang Liu, Jia-huai You
Approximation fixpoint theory (AFT) provides an algebraic framework for the study of fixpoints of operators on bilattices and has found its applications in characterizing semantics…
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases
Spencer Killen, Jia-Huai You
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…
Restricted Chase Termination for Existential Rules: a Hierarchical Approach and Experimentation
Arash Karimi, Heng Zhang, Jia-Huai You
The chase procedure for existential rules is an indispensable tool for several database applications, where its termination guarantees the decidability of these tasks. Most previou…