Naji Obeid

According to our database, Naji Obeid authored at least 3 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Temporal Logic Modeling of Biological Systems.

Jean-Marc Alliot, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro, Gilles Favre, Jean-Charles Faye, Naji Obeid, Olivier Sordet

Proceedings of the Towards Paraconsistent Engineering, 2016

Translation of first order formulas into ground formulas via a completion theory.

Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid

J. Appl. Log., 2016

2013

Automated Reasoning in Metabolic Networks with Inhibition.

Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013