21 citations · 109 across the 23 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2011
Normative design using inductive learning
Domenico Corapi, Alessandra Russo, Marina De Vos +2
In this paper we propose a use-case-driven iterative design methodology for normative frameworks, also called virtual institutions, which are used to govern open systems. Our compu…