Automatic Verification of Partial Correctness of Golog Programs.

Naiqi Li Yongmei Liu

Published in: IJCAI (2015)

Keyphrases

provably correct
agent programming
situation calculus
decision theoretic
computer programs
ai planning
automatic programming
data mining
genetic algorithm
learning algorithm
decision trees
data structure
programming language
fixpoint