Professional Title Associate Professor Emeritus Retired Research InterestsPlanning and reasoning about action and logic programmingLinksPersonal Website