Proof-Carrying Plans.

Christopher Schwaab Ekaterina Komendantskaya Alasdair Hill Frantisek Farka Ronald P. A. Petrick Joe B. Wells Kevin Hammond

Published in: PADL (2019)

Keyphrases

plan recognition
theorem proving
theorem prover
geometry theorem proving
genetic algorithm
artificial intelligence
decision making
partially ordered
plan generation
automated theorem proving
real world
planning problems
linear logic