Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs.

Erik Sandewall

Browse the full IJCAI paper archive.