Artificial Intelligence and constraint programing find in the formal description of cell's
interactions a field of inquiry well suited. Particularly, the questions concerning the …

This article we present an intelligent and adaptive system for an autonomous motor-glider
based on non-monotonic logic. Piloting is an activity with many constraints. It could have …

Cell Signaling Pathway Simulation is a very useful tool in the drug discovery process. These
simulation programs can be divided into dynamic simulation and Knowledge-Based …

Emerging Trends in Computational Biology, Bioinformatics, and Systems Biology discusses
the latest developments in all aspects of computational biology, bioinformatics, and systems …

Le raisonnement diagnostique (abductif) et le raisonnement de prédiction (inductif) sont
deux des méthodes de raisonnement qui permettent la découverte de connaissances …

This thesis presents a resilient model to pilot an Unmanned Aerial Vehicle (UAV) based on a
non-monotonic logic. This model is capable of handling solutions from incomplete and …

Dans la vie réelle et pour nombre d'applications on est emmené à travailler avec des
connaissances incomplètes, incertaines, révisables ou partiellement fausses. La logique …

Résumé Le pilotage d'un avion consiste à faire divers choix d'actions pour réaliser une
trajectoire. Mais les différentes phases de vol ont un environnement changeant, en …

In this article we study the case of an autonomous motor-glider. The aims of the aircraft is to
maintain its flight as long as possible, taking advantage of the rising air from the ground …

Le pilotage d'un avion à différentes étapes de vol est un problème de logique non
monotone. Parce que les règles de pilotage peuvent changer en fonction des circonstances …