Deductive Synthesis of Recursive Plans in Linear Logic.

Stephen Cresswell Alan Smaill Julian Richardson

Published in: ECP (1999)

Keyphrases

linear logic
functional programs
cut elimination
logical framework
logic programming
fixed point
desirable properties
sequent calculus
proof theoretic
proof search
plan execution
program synthesis
intuitionistic logic
logic programs
machine learning
inference rules
object oriented