Lucas Carr
I'm a first year masters student at the University of Cape Town under the supervision of
Cape Town, South Africa
email: crrluc003 [@] myuct.ac.za
Broadly, I'm interested in computational logic and automated reasoning. Currently, the focus of my work is on introducing KLM-style non-monotonicity into formal concept analysis. I'm also interested in formal argumentation and logic programming.
Non-monotonic Extensions to Formal Concept Analysis via Object Preferences