Generating Plans from Proofs.

Michael Benedikt Balder ten Cate Efthymia Tsamoura

Published in: ACM Trans. Database Syst. (2016)

Keyphrases

theorem prover
theorem proving
data sets
social networks
plan recognition
partially ordered
generation process
decision procedures
plan generation
natural deduction
formal proofs