paulsilm/PDDLtoDEL

Repository for my Bachelor's thesis of converting PDDL descriptions to DEL.

语言：Haskell · GitHub 星标：3 · Fork：1

话题：epistemic-logic · haskell · pddl · planning-algorithms · translation

在 GitHub 上查看原仓库