Slaney, John K.

13 publications

IJCAI 2013 Planning with MIP for Supply Restoration in Power Distribution Systems Sylvie Thiébaux, Carleton Coffrin, Hassan L. Hijazi, John K. Slaney

JAIR 2006 Decision-Theoretic Planning with Non-Markovian Rewards Sylvie Thiébaux, Charles Gretton, John K. Slaney, David Price, Froduald Kabanza

AAAI 2006 Estimating Search Tree Size Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh

AAAI 2005 Backbones and Backdoors in Satisfiability Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh

AAAI 2005 Old Resolution Meets Modern SLS Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar

IJCAI 2005 The Backbone of the Travelling Salesperson Philip Kilby, John K. Slaney, Toby Walsh

AAAI 2004 Semantically Guiding a First-Order Theorem Prover with a Soft Model Arnold Binas, John K. Slaney

UAI 2002 Anytime State-Based Solution Methods for Decision Processes with Non-Markovian Rewards Sylvie Thiébaux, Froduald Kabanza, John K. Slaney

IJCAI 2001 Backbones in Optimization and Approximation John K. Slaney, Toby Walsh

AAAI 1996 Linear Time Near-Optimal Planning in the Blocks World John K. Slaney, Sylvie Thiébaux

IJCAI 1993 Automatic Generation of Some Results in Finite Algebra Masayuki Fujita, John K. Slaney, Frank Bennett

IJCAI 1993 SCOTT: A Model-Guided Theorem Prover John K. Slaney

IJCAI 1991 The Implications of Paraconsistency John K. Slaney