Michel Herment

Publication Activity (10 Years)

Years Active: 1991-1995
Publications (10 Years): 0

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Ricardo Caferra, Michel Herment
A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae. J. Symb. Comput. 19 (1-3) (1995)
Michel Herment, Ewa Orlowska
Handling Information Logics in a Graphical Proof Editor. Comput. Intell. 11 (1995)
Ricardo Caferra, Stéphane Demri, Michel Herment
A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics. Stud Logica 52 (2) (1993)
Ricardo Caferra, Michel Herment
GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics. DISCO (1993)
Ricardo Caferra, Stéphane Demri, Michel Herment
Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics. AAAI (1991)
Ricardo Caferra, Michel Herment, Nicolas Zabel
User-oriented theorem proving with the ATINF graphic proof editor. FAIR (1991)