| Blocks world revisited J Slaney, S Thiébaux Artificial Intelligence 125 (1-2), 119-153, 2001 | 266 | 2001 |
| Automatic generation of some results in finite algebra M Fujita, J Slaney, F Bennett IJCAI 93, 52-57, 1993 | 163 | 1993 |
| Backbones and backdoors in satisfiability P Kilby, J Slaney, S Thiébaux, T Walsh AAAI 5, 1368-1373, 2005 | 158 | 2005 |
| Backbones in optimization and approximation T Walsh, J Slaney Proceedings of the Seventeenth International Joint Conference on Artificial …, 2001 | 134 | 2001 |
| Automated reasoning and exhaustive search: Quasigroup existence problems J Slaney, M Fujita, M Stickel Computers & mathematics with applications 29 (2), 115-132, 1995 | 125 | 1995 |
| FINDER: Finite domain enumerator system description J Slaney International Conference on Automated Deduction, 798-801, 1994 | 120 | 1994 |
| Finder (finite domain enumerator): Notes and guide J Slaney Technical Report TR-ARP-1/92, Automated Reasoning Program, 1992 | 116* | 1992 |
| 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 (3), 595-612, 2012 | 85 | 2012 |
| A general logic J Slaney Australasian Journal of Philosophy 68 (1), 74-88, 1990 | 79 | 1990 |
| SCOTT: A Model-Guided Theorem Prover. J Slaney IJCAI 93, 109-114, 1993 | 78 | 1993 |
| 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 | 74 | 2006 |
| Abelian logic RK Meyer, JK Slaney JOURNAL OF SYMBOLIC LOGIC 46 (2), 425-426, 1981 | 72 | 1981 |
| 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 | 71 | 2006 |
| The G12 project: Mapping solver independent models to efficient solutions PJ Stuckey, MG De La Banda, M Maher, K Marriott, J Slaney, Z Somogyi, ... International Conference on Logic Programming, 9-13, 2005 | 63 | 2005 |
| Realistic belief revision. G Restall, JK Slaney WOCFAI 95, 367-378, 1995 | 62 | 1995 |
| 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, 23, 2002 | 53 | 2002 |
| Incremental lower bounds for additive cost planning problems P Haslum Proceedings of the International Conference on Automated Planning and …, 2012 | 52 | 2012 |
| A metacompleteness theorem for contraction-free relevant logics JK Slaney Studia Logica 43 (1-2), 159-168, 1984 | 50 | 1984 |
| SCOTT: Semantically constrained Otter system description J Slaney, E Lusk, W McCune International Conference on Automated Deduction, 764-768, 1994 | 48 | 1994 |
| The backbone of the travelling salesperson P Kilby, J Slaney, T Walsh IJCAI, 175-180, 2005 | 44 | 2005 |
