SlaneyJ
John Slaney
Senior Principal Researcher
Canberra Research Laboratory
Research Interests
- Logic, especially non-classical logics and logics designed to cope with awkward features such as vaguness or inconsistency.
- Automated deduction, including software for automatic theorem proving in first order logic.
- Artificial intelligence, especially constraint satisfaction, search and planning.
Project
Most of my time is committed to the G12 constraint programming project, where I am concerned with the user environment for the platform, including visualisation tools.
More details
See my personal home page at the ANU.
