Generating Plans in Linear Logic.

M. Masseron Christophe Tollu Jacqueline Vauzeilles

Published in: FSTTCS (1990)

Keyphrases

linear logic
fixed point
sequent calculus
cut elimination
intuitionistic logic
logic programming
desirable properties
logical framework
proof theoretic
proof search
planning problems
inference rules
artificial intelligence
multi agent
expert systems
plan execution