Spencer Killen

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

Collaborative distances:

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

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 AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 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