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
2922001
Backbones and backdoors in satisfiability
P Kilby, J Slaney, S Thiébaux, T Walsh
AAAI 5, 1368-1373, 2005
1782005
Automatic generation of some results in finite algebra
M Fujita, J Slaney, F Bennett
IJCAI 93, 52-57, 1993
1761993
Backbones in optimization and approximation
J Slaney, T Walsh
IJCAI, 254-259, 2001
1362001
Automated reasoning and exhaustive search: Quasigroup existence problems
J Slaney, M Fujita, M Stickel
Computers & mathematics with applications 29 (2), 115-132, 1995
1331995
FINDER, finite domain enumeeeator system description
J Slaney
Proc. CADE-12, Nancy, France, 1994
1211994
Finder (finite domain enumerator): Notes and guide
J Slaney
Technical Report TR-ARP-1/92, Automated Reasoning Program, 1992
111*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, 595-612, 2012
1022012
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
942006
A general logic
J Slaney
Australasian Journal of Philosophy 68 (1), 74-88, 1990
901990
Abelian logic
RK Meyer, JK Slaney
JOURNAL OF SYMBOLIC LOGIC 46 (2), 425-426, 1981
881981
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
832006
SCOTT: A Model-Guided Theorem Prover.
J Slaney
IJCAI 93, 109-114, 1993
781993
Realistic belief revision.
G Restall, JK Slaney
WOCFAI 95, 67-378, 1995
671995
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
652005
Incremental lower bounds for additive cost planning problems
P Haslum
Twenty-Second International Conference on Automated Planning and Scheduling, 2012
612012
A metacompleteness theorem for contraction-free relevant logics
JK Slaney
Studia Logica, 159-168, 1984
561984
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
SCOTT: Semantically constrained Otter system description
J Slaney, E Lusk, W McCune
Automated Deduction—CADE-12: 12th International Conference on Automated …, 1994
531994
Reduced models for relevant logics without .
JK Slaney
Notre Dame Journal of Formal Logic 28 (3), 395-407, 1987
531987
The system can't perform the operation now. Try again later.
Articles 1–20