Spencer Killen

According to our database, Spencer Killen authored at least 10 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Eliminating Unintended Stable Fixpoints in Approximation Fixpoint Theory.

Spencer Killen, Jia-Huai You

Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), 2025

Using AFT to Characterize Shen and Eiter's Disjunctive Logic Program Semantics.

Spencer Killen, Jia-Huai You

Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), 2025

An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships.

Spencer Killen, Jia-Huai You, Jesse Heyninck

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

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

Adapting Approximation Fixpoint Theory to Nondeterministic Hybrid Reasoning.

Spencer Killen, Jia-Huai You

Proceedings of the Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), 2024

2023

Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems.

Spencer Killen, Jia-Huai You

CoRR, 2023

Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF.

Spencer Killen, Wenkai Gao, Jia-Huai You

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

2022

A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases.

Spencer Killen, Jia-Huai You

Proceedings of the Proceedings 38th International Conference on Logic Programming, 2022

2021

Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases.

Spencer Killen, Jia-Huai You

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases.

Spencer Killen, Jia-Huai You

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021