2 papers
cs.AI2019
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming
Stéphanie Chevalier, Christine Froidevaux, Loïc Paulevé +1
Boolean networks model finite discrete dynamical systems with complex behaviours. The state of each component is determined by a Boolean function of the state of (a subset of) the…
cs.AI2013
Lattice-Based Graded Logic: a Multimodal Approach
Philippe Chatalic, Christine Froidevaux
Experts do not always feel very, comfortable when they have to give precise numerical estimations of certainty degrees. In this paper we present a qualitative approach which allows…