conftrace_

plan existence

3 papers

Explore in graph

Co-occurring keywords

hierarchical task network (26) task insertion (2) state constraint (4) hierarchical task network planning (7) dynamic epistemic logic (16) epistemic planning (10) privacy-preserving computation (5) plan-existence problem (1) classical planning (57) cryptographic protocol (4)

Papers

Zero-Knowledge Proofs for Classical Planning Problems AAAI 2023
Decidability Results in First-Order Epistemic Planning IJCAI 2020
Hierarchical Task Network Planning with Task Insertion and State Constraints IJCAI 2017