activity
20122016
most citedAnytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards

14 citations · 15 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

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…