ActHEX
From MaRDI portal
Software:42123
No author found.
Related Items (5)
Unnamed Item ⋮ Multi-shot ASP solving with clingo ⋮ The Hexlite solver. Lightweight and efficient evaluation of HEX programs ⋮ Reactive Policies with Planning for Action Languages ⋮ Translation of interactive Datalog programs for microcontrollers to finite state machines
This page was built for software: ActHEX
