4 citations · 5 across the 6 of their papers we have counts for
Showing 2024 · cs.LOShow all
2 papers · 2 filters
cs.LO2024
Static Analysis of Logic Programs via Boolean Networks
Van-Giang Trinh, Belaid Benhamou
Answer Set Programming (ASP) is a declarative problem solving paradigm that can be used to encode a combinatorial problem as a logic program whose stable models correspond to the s…
cs.LO2024★ 1 cited
mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks
Van-Giang Trinh, Belaid Benhamou, Loïc Paulevé
The tool mpbn offers a Python programming interface for an easy interactive editing of Boolean networks and the efficient computation of elementary properties of their dynamics, in…