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 School	2014	High School Diploma
MacEwan University	2014-2017	BSc. (Transferred out)
University of Alberta	2017-2019	BSc. Honors Computing Science
University of Alberta	2019-2021	MSc. Computing Science	Paving the Way for Efficient Disjunctive Hybrid MKNF Knowledge Base Solvers
University of Alberta	ongoing	PhD. Computing Science (ongoing)

View this page as JSONLD