Skip navigation
Skip navigation

Browsing by Author Price, David

Or enter first few letters:  
Showing results 2 to 5 of 5

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

Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards

Author(s)Gretton, Charles; Price, David; Thiebaux, Sylvie
TypeConference paper
Date Published2003
Date CreatedAugust 7 2003

NMRDPP: A System for Decision-theoretic Planning with Non-Markovian Rewards

Author(s)Gretton, Charles; Price, David; Thiebaux, Sylvie
TypeConference paper
Date Published2003
Date CreatedJune 9 2003

Short course montelukast for intermittent asthma in children: a randomised controlled trial

Author(s)Robertson, Colin F; Price, David; Henry, Richard, et al
TypeJournal article
Date Published2007
Date Created-

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