Reactive Answer Set Programming

Krysia Broda, Fariba Sadri, Stephen Butler

Logic Production System (LPS) is a logic-based framework for modelling reactive behaviour. Based on abductive logic programming, it combines reactive rules with logic programs, a d…