Cited in
(12)- The Hexlite solver. Lightweight and efficient evaluation of HEX programs
- Translation of interactive Datalog programs for microcontrollers to finite state machines
- Reactive policies with planning for action languages
- LUPS
- DLVHEX
- oClingo
- ROSoClingo
- D*Lite
- Moviola
- Hexlite
- scientific article; zbMATH DE number 7453147 (Why is no real title available?)
- Multi-shot ASP solving with clingo
This page was built for software: ActHEX
