swMATH30409MaRDI QIDQ42123FDOQ42123
Author name not available (Why is that?)
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
- Title not available (Why is that?)
- LUPS
- DLVHEX
- oClingo
- ROSoClingo
- Multi-shot ASP solving with clingo
- D*Lite
- Moviola
- Hexlite
This page was built for software: ActHEX
