Linear logic as a tool for planning under temporal uncertainty.

Max I. Kanovich Jacqueline Vauzeilles

Published in: Theor. Comput. Sci. (2011)

Keyphrases

linear logic
planning problems
intuitionistic logic
desirable properties
proof search
proof theoretic
programming language
fixed point
temporal information
temporal constraints
logical framework
object oriented
conditional probabilities
temporal reasoning
sequent calculus