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
2852001
Automatic generation of some results in finite algebra
M Fujita, J Slaney, F Bennett
IJCAI 93, 52-57, 1993
1771993
Backbones and backdoors in satisfiability
P Kilby, J Slaney, S Thiébaux, T Walsh
AAAI 5, 1368-1373, 2005
1762005
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 enumerator system description
J Slaney
International Conference on Automated Deduction, 798-801, 1994
1211994
Finder (finite domain enumerator): Notes and guide
J Slaney
Technical Report TR-ARP-1/92, Automated Reasoning Program, 1992
109*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
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 (from A to Z)
RK Meyer, JK Slaney
Australian National University, 1980
881980
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
822006
SCOTT: A Model-Guided Theorem Prover.
J Slaney
IJCAI 93, 109-114, 1993
751993
The G12 project: Mapping solver independent models to efficient solutions
PJ Stuckey, MG Banda, M Maher, K Marriott, J Slaney, Z Somogyi, ...
International Conference on Logic Programming, 9-13, 2005
662005
Realistic belief revision.
G Restall, JK Slaney
WOCFAI 95, 367-378, 1995
661995
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 43 (1), 159-168, 1984
551984
Solving power supply restoration problems with planning via symbolic model checking
P Bertoli, A Cimatti, J Slaney, S Thiébaux
AIPS-02 Workshop on Planning via Model-Checking, 576-580, 2002
532002
Reduced models for relevant logics without .
JK Slaney
Notre Dame Journal of Formal Logic 28 (3), 395-407, 1987
531987
SCOTT: Semantically constrained Otter system description
J Slaney, E Lusk, W McCune
International Conference on Automated Deduction, 764-768, 1994
521994
The system can't perform the operation now. Try again later.
Articles 1–20