Blocks world revisited J Slaney, S Thiébaux Artificial Intelligence 125 (1-2), 119-153, 2001 | 320 | 2001 |
Backbones and backdoors in satisfiability P Kilby, J Slaney, S Thiébaux, T Walsh AAAI 5, 1368-1373, 2005 | 189 | 2005 |
Automatic generation of some results in finite algebra M Fujita, J Slaney, F Bennett IJCAI 93, 52-57, 1993 | 175 | 1993 |
Backbones in optimization and approximation J Slaney, T Walsh IJCAI, 254-259, 2001 | 142 | 2001 |
Automated reasoning and exhaustive search: Quasigroup existence problems J Slaney, M Fujita, M Stickel Computers & mathematics with applications 29 (2), 115-132, 1995 | 132 | 1995 |
FINDER: Finite domain enumerator system description J Slaney International Conference on Automated Deduction, 798-801, 1994 | 126 | 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 | 118 | 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 | 116 | 2006 |
Finder (finite domain enumerator): Notes and guide J Slaney Technical Report TR-ARP-1/92, Automated Reasoning Program, 1992 | 113* | 1992 |
A general logic J Slaney Australasian Journal of Philosophy 68 (1), 74-88, 1990 | 97 | 1990 |
Abelian logic (from A to Z) RK Meyer, JK Slaney Paraconsistent Logic, Essay on the Inconsistent, 245-288, 1989 | 97 | 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 | 85 | 2006 |
SCOTT: A Model-Guided Theorem Prover. J Slaney IJCAI 93, 109-114, 1993 | 81 | 1993 |
Realistic belief revision. G Restall, JK Slaney WOCFAI 95, 367-378, 1995 | 71 | 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 | 68 | 2005 |
Incremental lower bounds for additive cost planning problems P Haslum Proceedings of the International Conference on Automated Planning and …, 2012 | 66 | 2012 |
A metacompleteness theorem for contraction-free relevant logics JK Slaney Studia Logica 43, 159-168, 1984 | 61 | 1984 |
Reduced models for relevant logics without . JK Slaney Notre Dame Journal of Formal Logic 28 (3), 395-407, 1987 | 60 | 1987 |
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 |