Follow
Spencer Killen
Spencer Killen
University of Alberta
Verified email at ualberta.ca
Title
Cited by
Cited by
Year
Unfounded sets for disjunctive hybrid MKNF knowledge bases
S Killen, JH You
arXiv preprint arXiv:2102.13162, 2021
42021
Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF
S Killen, W Gao, JH You
Proceedings of the International Conference on Logic Programming, 2023
12023
A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases
S Killen, JH You
arXiv preprint arXiv:2208.03087, 2022
12022
Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases.
S Killen, JH You
ICLP Workshops, 2021
12021
Marble MLFQ: An educational visualization tool for the multilevel feedback queue algorithm
S Killen, E Giese, H Huynh
2017 8th IEEE Annual Information Technology, Electronics and Mobile …, 2017
12017
Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems
S Killen, JH You
arXiv preprint arXiv:2307.11286, 2023
2023
Paving the Way for Efficient Disjunctive Hybrid MKNF Knowledge Base Solvers
S Killen
2021
The system can't perform the operation now. Try again later.
Articles 1–7