Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases. - Spencer Killen; Jia-Huai You (ICLP Workshops, 2021)

Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases. - Spencer Killen; Jia-Huai You (KR, 2021)

A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases. - Spencer Killen; Jia-Huai You (ICLP Technical Communications / Doctoral Consortium, 2022)

Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF. - Spencer Killen; Wenkai Gao 002; Jia-Huai You (ICLP Workshops, 2023)

Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems. - Spencer Killen; Jia-Huai You (CoRR, 2023)

Adapting Approximation Fixpoint Theory to Nondeterministic Hybrid Reasoning. - Spencer Killen; Jia-Huai You (ICLP Workshops, 2024)

On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases. - Riley Kinahan; Spencer Killen; Kevin Wan; Jia-Huai You (Theory Pract. Log. Program., 2024)

An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships. - Spencer Killen; Jia-Huai You; Jesse Heyninck (AAAI, 2025)