Spencer Killen

According to our database, Spencer Killen authored at least 5 papers between 2021 and 2023.

Collaborative distances:

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

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