Unfounded sets for disjunctive hybrid MKNF knowledge bases S Killen, JH You arXiv preprint arXiv:2102.13162, 2021 | 4 | 2021 |
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 | 1 | 2023 |
A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases S Killen, JH You arXiv preprint arXiv:2208.03087, 2022 | 1 | 2022 |
Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases. S Killen, JH You ICLP Workshops, 2021 | 1 | 2021 |
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 | 1 | 2017 |
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 |