AI-Planning / AI-Planning/macq
D-VAL (arXiv'21)
Aperta
enhancement
- Lingua principale
- Python
- Stelle
- 25
- Fork
- 6
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
## 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
- [ ] [D-VAL: An automatic functional equivalence validation tool for planning domain models](https://arxiv.org/abs/2104.14602)
Guida per i contributori
Apri la guida per i contributori
Valutazione
Questa issue non è ancora stata valutata.