Researcher especially on non-monotonic logic, involved with LegalRuleML and SPINdle.
Currently (2022) at CSIRO.