Spencer Killen


A PhD. candidate at University of Alberta, Canada. Supervised by Jia-Huai You, PhD. My research is in symbolic artificial intelligence. Within the field of knowledge representation and reasoning, I have an interest in fixpoint semantics; having made various contributions to approximation fixpoint theory, answer set programming; with a strong focus on disjunctive rules, and I also study hybrid logic programming semantics including hybrid MKNF and DL (description logic) programs.

Contact

Email:sjkillen@ualberta.ca
Discord:sjkillen
Matrix:@mm__:matrix.org

Research
ORCID:0000-0003-3930-5525
Publications: DBLP

Software

Github:sjkillen
Forgejo:sjkillen

Education

Wetaskiwin Composite High School2014High School Diploma
MacEwan University2014-2017BSc. (Transferred out)
University of Alberta2017-2019BSc. Honors Computing Science
University of Alberta2019-2021MSc. Computing Science Paving the Way for Efficient Disjunctive Hybrid MKNF Knowledge Base Solvers
University of AlbertaongoingPhD. Computing Science (ongoing)