Computational logic researcher, director of the Reasoning Research Institute at UNSW. Has done some interesting work on scalable defeasible logic.
Select Publications by Associate Professor Michael Maher | UNSW Research