A Formal Account of Planning with Flexible Timelines.

Marta Cialdea Mayer Andrea Orlandini Alessandro Umbrico

Published in: TIME (2014)

Keyphrases

goal oriented
decision support
formal methods
ai planning
heuristic search
planning problems
blocks world
database
mixed initiative
motion planning
formal model
neural network
lightweight
e learning
decision theoretic
decision making
search engine
artificial intelligence
real world
plan generation