Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Browsing by Author Slaney, John K

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Or enter first few letters:  
Showing results 1 to 20 of 37

A finite fragment of S3

Author(s)Kowalski, Tomasz; Slaney, John K
TypeJournal article
Date Published2008
Date Created-

A Logic for Vagueness

Author(s)Slaney, John K
TypeJournal article
Date Published2010
Date Created-

A, still adorable

Author(s)Meyer, Robert; Slaney, John K
TypeConference paper
Date Published2002
Date CreatedMay 12 2002

Anytime state-based solution methods for decision processes with non-Markovian rewards

Author(s)Thiebaux, Sylvie; Kabanza, Froduald; Slaney, John K
TypeConference paper
Date Published2002
Date CreatedAugust 1 2002

Backbones and backdoors in satisfiability

Author(s)Kilby, Philip; Slaney, John K; Thiebaux, Sylvie, et al
TypeConference paper
Date Published2005
Date CreatedJuly 9 2005

Backbones in Optimization and Approximation

Author(s)Slaney, John K; Walsh, Toby
TypeConference paper
Date Published2001
Date CreatedJuly 4 2001

Blocks World Revisited

Author(s)Slaney, John K; Thiebaux, Sylvie
TypeJournal article
Date Published2001
Date Created-

Boosting SLS performance by incorporating resolution-based preprocessor

Author(s)Anbulagan, Anbu; Pham, Duc Nghia; Slaney, John K, et al
TypeConference paper
Date Published2006
Date CreatedSeptember 25 2006

Boosting SLS using resolution

Author(s)Anbulagan, Anbu; Pham, Duc Nghia; Slaney, John K, et al
TypeBook chapter
Date Published2007
Date Created-
01_Baumgartner_Constraint_Modelling:_A_2009.pdf.jpg

Constraint Modelling: A Challenge for First Order Automated Reasoning

Author(s)Baumgartner, Peter; Slaney, John K
TypeConference paper
Date Published2009
Date CreatedJuly 6-7 2009

Counting loops with the inverse property

Author(s)Ali, Asif; Slaney, John K
TypeJournal article
Date Published2008
Date Created-
Thiebaux_Decision2006.pdf.jpg

Decision-theoretic planning with non-Markovian rewards

Author(s)Thiebaux, Sylvie M; Gretton, Charles; Slaney, John K, et al
TypeJournal article
Date Published2006
Date Created-
03_Kilby_Estimating_search_tree_siz_2006.pdf.jpg

Estimating search tree size

Author(s)Kilby, Philip; Slaney, John K; Thiebaux, Sylvie, et al
TypeConference paper
Date Published2006
Date CreatedJuly 16-20 2006

Estimating the Hardness of Optimisation

Author(s)Thiebaux, Sylvie; Slaney, John K; Kilby, P
TypeConference paper
Date Published2000
Date CreatedAugust 20 2000

Generating loops with the inverse property

Author(s)Slaney, John K; Ali, Asif
TypeConference paper
Date Published2008
Date CreatedJuly 27 2008

Guiding a theorem prover with soft constraints

Author(s)Slaney, John K; Binas, Arnold; Price, David
TypeConference paper
Date Published2004
Date CreatedAugust 22-27 2004
01_Haslum_Incremental_Lower_Bounds_for_2011.pdf.jpg

Incremental Lower Bounds for Additive Cost Planning Problems

Author(s)Haslum, Patrik; Slaney, John K; Thiebaux, Sylvie
TypeConference paper
Date Published2011
Date CreatedJune 11-16 2011

Is There a Constrainedness Knife-edge?

Author(s)Slaney, John K
TypeConference paper
Date Published2000
Date CreatedAugust 20 2000

Lookahead saturation with restriction for SAT

Author(s)Anbulagan, Anbu; Slaney, John K
TypeConference paper
Date Published2005
Date CreatedOctober 1-5 2005

Minimal Landmarks for Optimal Delete-Free Planning

Author(s)Haslum, Patrik; Slaney, John K; Thiebaux, Sylvie
TypeConference paper
Date Published2012
Date CreatedJune 25-29 2012

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator