| 2008 |
|---|
| 33 | EE | Ricardo Caferra,
Nicolas Peltier:
Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview.
Int. J. Intell. Syst. 23(10): 999-1020 (2008) |
| 2007 |
|---|
| 32 | EE | Hicham Bensaid,
Ricardo Caferra,
Nicolas Peltier:
Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps.
WoLLIC 2007: 38-52 |
| 2006 |
|---|
| 31 | EE | Ricardo Caferra,
Rachid Echahed,
Nicolas Peltier:
Rewriting term-graphs with priority.
PPDP 2006: 109-120 |
| 2000 |
|---|
| 30 | | Ricardo Caferra,
Gernot Salzer:
Automated Deduction in Classical and Non-Classical Logics, Selected Papers
Springer 2000 |
| 29 | EE | Ricardo Caferra,
Nicolas Peltier,
François Puitg:
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization.
Automated Deduction in Geometry 2000: 268-305 |
| 28 | | Ricardo Caferra,
Nicolas Peltier:
The Connection Method, Constraints and Model Building.
Intellectics and Computational Logic 2000: 67-84 |
| 27 | | Ricardo Caferra,
Nicolas Peltier:
Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite Models.
J. Symb. Comput. 29(2): 177-211 (2000) |
| 1997 |
|---|
| 26 | | Ricardo Caferra,
Nicolas Peltier:
A New Technique for Verifying and Correcting Logic Programs.
J. Autom. Reasoning 19(3): 277-318 (1997) |
| 1996 |
|---|
| 25 | | Ricardo Caferra,
Nicolas Peltier:
A Significant Extension of Logic Programming by Adapting Model Building Rules.
ELP 1996: 51-65 |
| 24 | | Ricardo Caferra:
Review of Witold Marciszewski and Roman Murawski: Mechanization of Reasoning in a Historical Perspective.
Journal of Applied Non-Classical Logics 6(3): (1996) |
| 1995 |
|---|
| 23 | | Ricardo Caferra,
Nicolas Peltier:
Decision Procedures Using Model Building Techniques.
CSL 1995: 130-144 |
| 22 | | Ricardo Caferra,
Nicolas Peltier:
Extending Semantic Resolution via Automated Model Building: Applications.
IJCAI 1995: 328-334 |
| 21 | | Ricardo Caferra,
Nicolas Peltier:
Model Building and Interactive Theory Discovery.
TABLEAUX 1995: 154-168 |
| 20 | | 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) |
| 1994 |
|---|
| 19 | | Christophe Bourely,
Ricardo Caferra,
Nicolas Peltier:
A Method for Building Models Automatically. Experiments with an Extension of OTTER.
CADE 1994: 72-86 |
| 1993 |
|---|
| 18 | | Ricardo Caferra,
Michel Herment:
GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics.
DISCO 1993: 229-240 |
| 17 | | Ricardo Caferra,
Stéphane Demri:
Cooperation between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5.
IJCAI 1993: 74-79 |
| 16 | | Ricardo Caferra:
A Tableaux Method for Systematic Simultaneous Search for Refutationas and Models Using Equational Problems.
J. Log. Comput. 3(1): 3-25 (1993) |
| 15 | | 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) |
| 1992 |
|---|
| 14 | | Ricardo Caferra,
Stéphane Demri:
Semantic Entailment in Non Classical Logics Based on Proofs Found in Classical Logic.
CADE 1992: 385-399 |
| 13 | | Ricardo Caferra,
Nicolas Zabel:
A Method for Simultanous Search for Refutations and Models by Equational Constraint Solving.
J. Symb. Comput. 13(6): 613-642 (1992) |
| 1991 |
|---|
| 12 | | 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 |
| 11 | | Ricardo Caferra,
Michel Herment,
Nicolas Zabel:
User-oriented theorem proving with the ATINF graphic proof editor.
FAIR 1991: 2-10 |
| 1990 |
|---|
| 10 | | Ricardo Caferra,
Nicolas Zabel:
An Application of Many-Valued Logic to Decide Propositional S5 Formulae: A Strategy Designed for a Parameterized Tableaux-Based Theorem Prover.
AIMSA 1990: 23-32 |
| 9 | | Ricardo Caferra,
Nicolas Zabel:
Extending Resolution for Model Construction.
JELIA 1990: 153-169 |
| 1988 |
|---|
| 8 | | Thierry Boy de la Tour,
Ricardo Caferra,
Gilles Chaminade:
Some Tools for an Inference Laboratory (ATINF).
CADE 1988: 744-745 |
| 7 | | Thierry Boy de la Tour,
Ricardo Caferra:
A Formal Approach to some Usually Informal Techniques Used in Mathematical Reasoning.
ISSAC 1988: 402-406 |
| 6 | | Thierry Boy de la Tour,
Ricardo Caferra,
Gilles Chaminade:
Some Tools for an Inference Laboratory (ATINF).
STACS 1988: 395-396 |
| 1987 |
|---|
| 5 | | Thierry Boy de la Tour,
Ricardo Caferra:
Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching.
AAAI 1987: 95-99 |
| 1985 |
|---|
| 4 | | Ricardo Caferra,
Philippe Jorrand:
Unification in Parallel with Refined Linearity Test: An Example of Recursive Network Structure in FP2, A Functional Parallel Programming Language.
European Conference on Computer Algebra (2) 1985: 539-540 |
| 1984 |
|---|
| 3 | | Ramon Brena,
Ricardo Caferra,
Bertram Fronhöfer,
Christian Gresse,
Philippe Jacquet,
Marie-Laure Potet:
Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization.
AIMSA 1984: 113-120 |
| 2 | | Bertram Fronhöfer,
Ricardo Caferra,
Philippe Jacquet:
Improvement of Recursive Programs from a Logic Programming Point of View.
GWAI 1984: 229-237 |
| 1982 |
|---|
| 1 | | Ricardo Caferra:
Proof by Matrix Reduction as Plan + Validation.
CADE 1982: 309-325 |
