ActHEX

MaRDI QIDQ42123swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-642-40564-8_31

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