Jean-Luc Dormoy

According to our database, Jean-Luc Dormoy authored at least 6 papers between 1988 and 2022.

Collaborative distances:

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

2022

La collaboration d'EDF avec l'équipe Pitrat, des années 1980 à 2000. Financer la recherche sur les grandes questions ?

Jean-Luc Dormoy

Rev. Ouverte Intell. Artif., 2022

2011

Foreseeable Trends in the Development of a Society of Humans and Agent.

Jean-Luc Dormoy

Proceedings of the 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2011

1998

DESCARTES: An Automatic Programming System for Algorithmically Simple Programs.

Bruno Ginoux, Jean-Luc Dormoy, Claudia Jimenez-Dominguez, Jean-Yves Lucas, Laurent Pierre

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

How to Reconcile Formal Specifications and Automatic Programming: The Descartes System.

Jean-Yves Lucas, Jean-Luc Dormoy, Bruno Ginoux, Claudia Jimenez-Dominguez, Laurent Pierre

Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1988

Assembling a device.

Jean-Luc Dormoy, Olivier Raiman

Artif. Intell. Eng., 1988

Controlling Qualitative Resolution.

Jean-Luc Dormoy

Proceedings of the 7th National Conference on Artificial Intelligence, 1988