John Slaney
John Slaney
Professor of Computer Science, Australian National University
Verified email at anu.edu.au
Title
Cited by
Cited by
Year
Blocks world revisited
J Slaney, S Thiébaux
Artificial Intelligence 125 (1-2), 119-153, 2001
2662001
Automatic generation of some results in finite algebra
M Fujita, J Slaney, F Bennett
IJCAI 93, 52-57, 1993
1631993
Backbones and backdoors in satisfiability
P Kilby, J Slaney, S Thiébaux, T Walsh
AAAI 5, 1368-1373, 2005
1582005
Backbones in optimization and approximation
T Walsh, J Slaney
Proceedings of the Seventeenth International Joint Conference on Artificial …, 2001
1342001
Automated reasoning and exhaustive search: Quasigroup existence problems
J Slaney, M Fujita, M Stickel
Computers & mathematics with applications 29 (2), 115-132, 1995
1251995
FINDER: Finite domain enumerator system description
J Slaney
International Conference on Automated Deduction, 798-801, 1994
1201994
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
852012
A general logic
J Slaney
Australasian Journal of Philosophy 68 (1), 74-88, 1990
791990
SCOTT: A Model-Guided Theorem Prover.
J Slaney
IJCAI 93, 109-114, 1993
781993
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
742006
Abelian logic
RK Meyer, JK Slaney
JOURNAL OF SYMBOLIC LOGIC 46 (2), 425-426, 1981
721981
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
712006
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
632005
Realistic belief revision.
G Restall, JK Slaney
WOCFAI 95, 367-378, 1995
621995
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
532002
Incremental lower bounds for additive cost planning problems
P Haslum
Proceedings of the International Conference on Automated Planning and …, 2012
522012
A metacompleteness theorem for contraction-free relevant logics
JK Slaney
Studia Logica 43 (1-2), 159-168, 1984
501984
SCOTT: Semantically constrained Otter system description
J Slaney, E Lusk, W McCune
International Conference on Automated Deduction, 764-768, 1994
481994
The backbone of the travelling salesperson
P Kilby, J Slaney, T Walsh
IJCAI, 175-180, 2005
442005
The system can't perform the operation now. Try again later.
Articles 1–20