14 citations · 15 across the 2 of their papers we have counts for
3 papers
cs.LO2016
Conflict Resolution: a First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning
John Slaney, Bruno Woltzenlogel Paleo
This paper defines the (first-order) conflict resolution calculus: an extension of the resolution calculus inspired by techniques used in modern SAT-solvers. The resolution inferen…
cs.CY2015★ 1 cited
Logic considered fun
John Slaney
This report describes the development and use of an online teaching tool giving students exercises in logical modelling, or \emph{formalisation} as it is called in the older litera…
cs.AI2012★ 14 cited
Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards
Sylvie Thiebaux, Froduald Kabanza, John Slanley
A popular approach to solving a decision process with non-Markovian rewards (NMRDP) is to exploit a compact representation of the reward function to automatically translate the NMR…