Blocks world revisited J Slaney, S Thiébaux
Artificial Intelligence 125 (1-2), 119-153, 2001
329 2001 Backbones and backdoors in satisfiability P Kilby, J Slaney, S Thiébaux, T Walsh
AAAI 5, 1368-1373, 2005
191 2005 Automatic generation of some results in finite algebra M Fujita, J Slaney, F Bennett
IJCAI 93, 52-57, 1993
178 1993 Backbones in optimization and approximation J Slaney, T Walsh
IJCAI, 254-259, 2001
148 2001 Automated reasoning and exhaustive search: Quasigroup existence problems J Slaney, M Fujita, M Stickel
Computers & mathematics with applications 29 (2), 115-132, 1995
135 1995 FINDER: Finite domain enumerator system description J Slaney
International Conference on Automated Deduction, 798-801, 1994
125 1994 On the ternary relation and conditionality J Beall, R Brady, JM Dunn, AP Hazen, E Mares, RK Meyer, G Priest, ...
Journal of philosophical logic 41, 595-612, 2012
119 2012 Decision-theoretic planning with non-Markovian rewards S Thiébaux, C Gretton, J Slaney, D Price, F Kabanza
Journal of Artificial Intelligence Research 25, 17-74, 2006
117 2006 Finder (finite domain enumerator): Notes and guide J Slaney
Technical Report TR-ARP-1/92, Automated Reasoning Program, 1992
117 * 1992 A general logic J Slaney
Australasian Journal of Philosophy 68 (1), 74-88, 1990
103 1990 Abelian logic (from A to Z) RK Meyer, JK Slaney
Paraconsistent Logic, Essay on the Inconsistent, 245-288, 1989
98 1989 Estimating search tree size P Kilby, J Slaney, S Thiébaux, T Walsh
Proc. of the 21st National Conf. of Artificial Intelligence, AAAI, Menlo Park, 2006
86 2006 SCOTT: A Model-Guided Theorem Prover. J Slaney
IJCAI 93, 109-114, 1993
80 1993 Realistic belief revision. G Restall, JK Slaney
WOCFAI 95, 367-378, 1995
72 1995 The G12 project: Mapping solver independent models to efficient solutions PJ Stuckey, MG De La Banda, M Maher, K Marriott, J Slaney, Z Somogyi, ...
Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain …, 2005
69 2005 Incremental lower bounds for additive cost planning problems P Haslum
Proceedings of the International Conference on Automated Planning and …, 2012
66 2012 Reduced models for relevant logics without JK Slaney
Notre Dame Journal of Formal Logic 28 (3), 395-407, 1987
62 1987 A metacompleteness theorem for contraction-free relevant logics JK Slaney
Studia Logica 43, 159-168, 1984
62 1984 SCOTT: Semantically constrained Otter system description J Slaney, E Lusk, W McCune
International Conference on Automated Deduction, 764-768, 1994
54 1994 Solving power supply restoration problems with planning via symbolic model checking P Bertoli, A Cimatti, J Slaney, S Thiebaux
AIPS-02 Workshop on Planning via Model-Checking, 576-580, 2002
53 2002 