Proving Correctness of Plans Considered as Procedural Programs.

Manny Rayner Åsa Hugosson Annika Wærn

Published in: AIMSA (1988)

Keyphrases

provably correct
procedural knowledge
computer vision
database
machine learning
genetic algorithm
learning algorithm
information technology
object oriented
plan recognition
automated planning