1995 |
6 | | Michel Herment,
Ewa Orlowska:
Handling Information Logics in a Graphical Proof Editor.
Computational Intelligence 11: 297-322 (1995) |
5 | | Ricardo Caferra,
Michel Herment:
A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae.
J. Symb. Comput. 19(1-3): 217-243 (1995) |
1993 |
4 | | Ricardo Caferra,
Michel Herment:
GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics.
DISCO 1993: 229-240 |
3 | | Ricardo Caferra,
Stéphane Demri,
Michel Herment:
A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics.
Studia Logica 52(2): 197-232 (1993) |
1991 |
2 | | 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: 421-426 |
1 | | Ricardo Caferra,
Michel Herment,
Nicolas Zabel:
User-oriented theorem proving with the ATINF graphic proof editor.
FAIR 1991: 2-10 |