Spencer Killen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships. | Spencer Killen, Jia-Huai You, Jesse Heyninck |
| 2024 | ICLP | Adapting Approximation Fixpoint Theory to Nondeterministic Hybrid Reasoning. | Spencer Killen, Jia-Huai You |
| 2023 | ICLP | Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF. | Spencer Killen, Wenkai Gao, Jia-Huai You |
| 2021 | ICLP | Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases. | Spencer Killen, Jia-Huai You |
| 2021 | KR | Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases. | Spencer Killen, Jia-Huai You |