Arrow Research search

Author name cluster

Jean-Marc Alliot

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

4 papers
2 author rows

Possible papers

4

JELIA Conference 2016 Conference Paper

Metabolic Pathways as Temporal Logic Programs

  • Jean-Marc Alliot
  • Martín Diéguez
  • Luis Fariñas del Cerro

Abstract Metabolic Networks, formed by series of metabolic pathways, are made of intracellular and extracellular reactions that determine the biochemical properties of a cell and by a set of interactions that guide and regulate the activity of these reactions. Cancers, for example, can sometimes appear in a cell as a result of some pathology in a metabolic pathway. Most of these pathways are formed by an intricate and complex network of chain reactions, and they can be represented in a human readable form using graphs which describe the cell signaling pathways. In this paper we present a logic, called Molecular Equilibrium Logic, a nonmonotonic logic which allows representing metabolic pathways. We also show how this logic can be presented in terms of a syntactical subset of Temporal Equilibrium Logic, the temporal extension of Equilibrium Logic, called Splittable Temporal Logic Programs.

Details

ECAI Conference 2012 Conference Paper

Finding and Proving the Optimum: Cooperative Stochastic and Deterministic Search

  • Jean-Marc Alliot
  • Nicolas Durand 0002
  • David Gianazza
  • Jean-Baptiste Gotteland

In this article, we introduce a global cooperative approach between an Interval Branch and Bound Algorithm and an Evolutionary Algorithm, that takes advantage of both methods to optimize a function for which an inclusion function can be expressed. The Branch and Bound algorithm deletes whole blocks of the search space whereas the Evolutionary Algorithm looks for the optimum in the remaining space and sends to the IBBA the best evaluation found in order to improve its Bound. The two algorithms run independently and update common information through shared memory.

Details
v2026.09.13