The following pages link to Reactive Answer Set Programming (Q3003243):
Displaying 9 items.
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments (Q1748467) (← links)
- Gearing Up for Effective ASP Planning (Q2900527) (← links)
- Online Action Language $$o\mathcal {BC}$$+ (Q3449194) (← links)
- Modular action language (Q4593024) (← links)
- Module theorem for the general theory of stable models (Q4911145) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)
- Reactive Concurrent Programming Revisited (Q5262951) (← links)
- Reactive Answer Set Programming (Q6063885) (← links)
