Michel Herment

According to our database, Michel Herment authored at least 7 papers between 1991 and 1995.

Collaborative distances:

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

1995

A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae.

Ricardo Caferra, Michel Herment

J. Symb. Comput., 1995

Handling Information Logics in a Graphical Proof Editor.

Michel Herment, Ewa Orlowska

Comput. Intell., 1995

1994

GLEF ATINF, un cadre générique pour la connexion d'outils d'inférence et l'édition graphique de preuves. (GLEFATINF, a generic graphic framework for combining inference tools and editing proofs and formulae).

Michel Herment

PhD thesis, 1994

1993

A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics.

Ricardo Caferra, Stéphane Demri, Michel Herment

Stud Logica, 1993

GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics.

Ricardo Caferra, Michel Herment

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

1991

User-oriented theorem proving with the ATINF graphic proof editor.

Ricardo Caferra, Michel Herment, Nicolas Zabel

Proceedings of the Fundamentals of Artificial Intelligence Research, 1991

Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics.

Ricardo Caferra, Stéphane Demri, Michel Herment

Proceedings of the 9th National Conference on Artificial Intelligence, 1991