Follow
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
3162001
Backbones and backdoors in satisfiability
P Kilby, J Slaney, S Thiébaux, T Walsh
AAAI 5, 1368-1373, 2005
1882005
Automatic generation of some results in finite algebra
M Fujita, J Slaney, F Bennett
IJCAI 93, 52-57, 1993
1751993
Backbones in optimization and approximation
J Slaney, T Walsh
IJCAI, 254-259, 2001
1422001
Automated reasoning and exhaustive search: Quasigroup existence problems
J Slaney, M Fujita, M Stickel
Computers & mathematics with applications 29 (2), 115-132, 1995
1321995
FINDER: Finite domain enumerator system description
J Slaney
International Conference on Automated Deduction, 798-801, 1994
1261994
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
1162012
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
1142006
Finder (finite domain enumerator): Notes and guide
J Slaney
Technical Report TR-ARP-1/92, Automated Reasoning Program, 1992
112*1992
A general logic
J Slaney
Australasian Journal of Philosophy 68 (1), 74-88, 1990
971990
Abelian logic (from A to Z)
RK Meyer, JK Slaney
Paraconsistent Logic, Essay on the Inconsistent, 245-288, 1989
951989
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
842006
SCOTT: A Model-Guided Theorem Prover.
J Slaney
IJCAI 93, 109-114, 1993
811993
Realistic belief revision.
G Restall, JK Slaney
WOCFAI 95, 367-378, 1995
711995
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
682005
Incremental lower bounds for additive cost planning problems
P Haslum
Proceedings of the International Conference on Automated Planning and …, 2012
662012
A metacompleteness theorem for contraction-free relevant logics
JK Slaney
Studia Logica 43, 159-168, 1984
601984
Reduced models for relevant logics without .
JK Slaney
Notre Dame Journal of Formal Logic 28 (3), 395-407, 1987
591987
SCOTT: Semantically constrained Otter system description
J Slaney, E Lusk, W McCune
International Conference on Automated Deduction, 764-768, 1994
541994
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
532002
The system can't perform the operation now. Try again later.
Articles 1–20