3 citations · 4 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021
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…
cs.LO2021★ 3 cited
PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics
David Tuckey, Alessandra Russo, Krysia Broda
The Credal semantics is a probabilistic extension of the answer set semantics which can be applied to programs that may or may not be stratified. It assigns to atoms a set of accep…