Spencer Killen

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Top Venues

ICLP Technical Communications / Doctoral Consortium

Publications

Spencer Killen, Wenkai Gao, Jia-Huai You
Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF. ICLP Workshops (2023)
Spencer Killen, Jia-Huai You
Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems. CoRR (2023)
Spencer Killen, Jia-Huai You
A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases. ICLP Technical Communications / Doctoral Consortium (2022)
Spencer Killen, Jia-Huai You
Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases. ICLP Workshops (2021)
Spencer Killen, Jia-Huai You
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases. KR (2021)
Spencer Killen, Jia-Huai You
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases. CoRR (2021)