conftrace_

plan existence

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

hierarchical task network planning (1) dynamic epistemic logic (1) epistemic planning (1) privacy-preserving computation (1) plan-existence problem (1) hierarchical task network (1) task insertion (1) state constraint (1) classical planning (1) cryptographic protocol (1)

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