Caferra, Ricardo

5 publications

JAIR 2011 Decidability and Undecidability Results for Propositional Schemata Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

IJCAI 1995 Extending Semantic Resolution via Automated Model Building: Applications Ricardo Caferra, Nicolas Peltier

IJCAI 1993 Cooperation Between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5 Ricardo Caferra, Stéphane Demri

AAAI 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

AAAI 1987 Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching Thierry Boy de la Tour, Ricardo Caferra