Giters

AI-Planning / macq

Library for action model acquisition from state trace data.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

D-VAL (arXiv'21)

haz opened this issue · comments

commented

Notes

  • Not really an action model acquisition technique
  • Technique for aligning action theories (uses SMT and planner)
  • Might be useful to try and match pre-existing typical action models

References