Spencer Killen

12 papers A* 2Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2025 A* conf
An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships.
AAAI
Spencer Killen, Jia-Huai You, Jesse Heyninck
2025 — conf
Eliminating Unintended Stable Fixpoints in Approximation Fixpoint Theory.
NMR
Spencer Killen, Jia-Huai You
2025 — conf
Using AFT to Characterize Shen and Eiter's Disjunctive Logic Program Semantics.
NMR
Spencer Killen, Jia-Huai You
2024 — conf
Adapting Approximation Fixpoint Theory to Nondeterministic Hybrid Reasoning.
ICLP Workshops
Spencer Killen, Jia-Huai You
2024 J jnl
On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases.
CoRR
Riley Kinahan, Spencer Killen, Kevin Wan, Jia-Huai You
2024 J jnl
On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases.
Theory Pract. Log. Program.
Riley Kinahan, Spencer Killen, Kevin Wan, Jia-Huai You
2023 J jnl
Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems.
CoRR
Spencer Killen, Jia-Huai You
2023 — conf
Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF.
ICLP Workshops
Spencer Killen, Wenkai Gao, Jia-Huai You
2022 — conf
A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases.
ICLP Technical Communications / Doctoral Consortium
Spencer Killen, Jia-Huai You
2021 — conf
Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases.
ICLP Workshops
Spencer Killen, Jia-Huai You
2021 A* conf
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases.
KR
Spencer Killen, Jia-Huai You
2021 J jnl
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases.
CoRR
Spencer Killen, Jia-Huai You