ActHEX

swMATH30409MaRDI QIDQ42123FDOQ42123

Author name not available (Why is that?)

Cited In (5)

• The Hexlite solver. Lightweight and efficient evaluation of HEX programs
• Translation of interactive Datalog programs for microcontrollers to finite state machines
• Title not available (Why is that?)
• Multi-shot ASP solving with clingo
• Reactive Policies with Planning for Action Languages

This page was built for software: ActHEX