John K. Slaney

Publication Activity (10 Years)

Years Active: 1985-2013
Publications (10 Years): 0

Top Topics

Optimal Planning

Equivalence Relation

Power Distribution Systems

Top Venues

Electron. Notes Theor. Comput. Sci.

J. Philos. Log.

Publications

Sylvie Thiébaux, Froduald Kabanza, John K. Slaney
Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards CoRR (2013)
Sylvie Thiébaux, Carleton Coffrin, Hassan L. Hijazi, John K. Slaney
Planning with MIP for Supply Restoration in Power Distribution Systems. IJCAI (2013)
John K. Slaney
Visualising Reasoning: What ATP Can Learn From CP. Electron. Notes Theor. Comput. Sci. 285 (2012)
J. C. Beall, Ross T. Brady, J. Michael Dunn, Allen Hazen, Edwin D. Mares, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley, John K. Slaney, Richard Sylvan
On the Ternary Relation and Conditionality. J. Philos. Log. 41 (3) (2012)
Patrik Haslum, John K. Slaney, Sylvie Thiébaux
Minimal Landmarks for Optimal Delete-Free Planning. ICAPS (2012)
Charles Gretton, Froduald Kabanza, David Price, John K. Slaney, Sylvie Thiébaux
Decision-Theoretic Planning with non-Markovian Rewards CoRR (2011)
Andreas Bauer, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John K. Slaney
An Integrated Modelling, Debugging, and Visualisation Environment for G12. CP (2010)
Anbulagan, John K. Slaney
Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness. ICTAI (2009)
Tomasz Kowalski, John K. Slaney
A finite fragment of S3. Reports Math. Log. 43 (2008)
John K. Slaney
Constraint Modelling: A Challenge for First Order Automated Reasoning (Invited Talk). PAAR/ESHOL (2008)
Sylvie Thiébaux, Charles Gretton, John K. Slaney, David Price, Froduald Kabanza
Decision-Theoretic Planning with non-Markovian Rewards. J. Artif. Intell. Res. 25 (2006)
Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh
Estimating Search Tree Size. AAAI (2006)
Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar
Old Resolution Meets Modern SLS. AAAI (2005)
John K. Slaney
Relevant Logic and Paraconsistency. Inconsistency Tolerance (2005)
Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. CP (2005)
Philip Kilby, John K. Slaney, Toby Walsh
The Backbone of the Travelling Salesperson. IJCAI (2005)
John K. Slaney
Semipositive LTL with an Uninterpreted Past Operator. Log. J. IGPL 13 (2) (2005)
Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh
Backbones and Backdoors in Satisfiability. AAAI (2005)
Anbulagan, John K. Slaney
Lookahead Saturation with Restriction for SAT. CP (2005)
Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. ICLP (2005)
John K. Slaney, Arnold Binas, David Price
Guiding a Theorem Prover with Soft Constraints. ECAI (2004)
Arnold Binas, John K. Slaney
Semantically Guiding a First-Order Theorem Prover with a Soft Model. AAAI (2004)
Kahlil Hodgson, John K. Slaney
TPTP, CASC and the development of a semantically guided theorem prover. AI Commun. 15 (2-3) (2002)
Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. ECAI (2002)
John K. Slaney
More Proofs of an Axiom of Lukasiewicz. J. Autom. Reason. 29 (1) (2002)
Sylvie Thiébaux, Froduald Kabanza, John K. Slaney
Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards. UAI (2002)
Kahlil Hodgson, John K. Slaney
System Description: SCOTT-5. IJCAR (2001)
John K. Slaney, Toby Walsh
Backbones in Optimization and Approximation. IJCAI (2001)
John K. Slaney, Sylvie Thiébaux
Blocks World revisited. Artif. Intell. 125 (1-2) (2001)
John K. Slaney
Introduction. Inf. Comput. 162 (1-2) (2000)
John K. Slaney, Sylvie Thiébaux, Philip Kilby
Estimating the Hardness of Optimisation. ECAI (2000)
John K. Slaney
Is there a Constaintness Knife-edge? ECAI (2000)
Hongxue Wang, Vijay Varadharajan, John K. Slaney
Towards Perfect Objects. TOOLS (32) (1999)
John K. Slaney, Sylvie Thiébaux
On the Hardness of Decision and Optimisation Problems. ECAI (1998)
Hongxue Wang, John K. Slaney
GISM: A Language for Modelling and Developing Agent-Based Intelligent Systems. DAI (1998)
John K. Slaney
Minlog: A Minimal Logic Theorem Prover. CADE (1997)
John K. Slaney, Robert K. Meyer
Logic for Two: The Semantics of Distributive Substructural Logics. ECSQARU-FAPR (1997)
John K. Slaney, Sylvie Thiébaux
Linear Time Near-Optimal Planning in the Blocks World. AAAI/IAAI, Vol. 2 (1996)
John K. Slaney, Timothy J. Surendonk
Combining Finite Model Generation with Theorem Proving: Problems and Prospects. FroCoS (1996)
Greg Restall, John K. Slaney
Realistic Belief Revision. WOCFAI (1995)
John K. Slaney, Ewing L. Lusk, William McCune
SCOTT: Semantically Constrained Otter System Description. CADE (1994)
John K. Slaney
The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure. CADE (1994)
John K. Slaney
FINDER: Finite Domain Enumerator - System Description. CADE (1994)
John K. Slaney
Sentential constants in systems near R. Stud Logica 52 (3) (1993)
John K. Slaney
SCOTT: A Model-Guided Theorem Prover. IJCAI (1993)
Masayuki Fujita, John K. Slaney, Frank Bennett
Automatic Generation of Some Results in Finite Algebra. IJCAI (1993)
Ewing L. Lusk, William McCune, John K. Slaney
ROO: A Parallel Theorem Prover. CADE (1992)
John K. Slaney
The Ackermann Constant Theorem: A Computer-Assisted Investigation. J. Autom. Reason. 7 (4) (1991)
John K. Slaney
The Implications of Paraconsistency. IJCAI (1991)
Ewing L. Lusk, William McCune, John K. Slaney
Parallel Closure-Based Automated Reasoning. Dagstuhl Seminar on Parallelization in Inference Systems (1990)
Paul Pritchard, John K. Slaney
Tutorial on Computing Models of Propositional Logics. CADE (1990)
John K. Slaney, Ewing L. Lusk
Parallelizing the Closure Computation in Automated Deduction. CADE (1990)
John K. Slaney
On the Structure of De Morgan Monoids with Corollaries on Relevant Logic and Theories. Notre Dame J. Formal Log. 30 (1) (1989)
John K. Slaney
Reduced models for relevant logics without WI. Notre Dame J. Formal Log. 28 (3) (1987)
John K. Slaney
3088 Varieties A Solution to the Ackermann Constant Problem. J. Symb. Log. 50 (2) (1985)