John K. Slaney

Automated Reasoning Project Australian National University GPO Box 4 , Canberra , ACT 2601 Australia

6 papers in the IJCAI proceedings

IJCAI 2013

Planning with MIP for Supply Restoration in Power Distribution Systems

with Sylvie Thiébaux, Carleton Coffrin, Hassan L. Hijazi

Details PDF

IJCAI 2005

The Backbone of the Travelling Salesperson

with Philip Kilby, Toby Walsh

Details PDF

IJCAI 2001

Backbones in Optimization and Approximation

with Toby Walsh

Details PDF

IJCAI 1993

Automatic Generation of Some Results in Finite Algebra

with Masayuki Fujita, Frank Bennett

Details PDF

SCOTT: A Model-Guided Theorem Prover

Details PDF

IJCAI 1991

The Implications of Paraconsistency

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings