1 citations · 1 across the 2 of their papers we have counts for
2 papers
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…