Ricardo Caferra Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

35EEHicham Bensaid, Ricardo Caferra, Nicolas Peltier: Dei: A Theorem Prover for Terms with Integer Exponents. CADE 2009: 146-150
34EEVincent Aravantinos, Ricardo Caferra, Nicolas Peltier: A Schemata Calculus for Propositional Logic. TABLEAUX 2009: 32-46
33EERicardo Caferra, Nicolas Peltier: Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview. Int. J. Intell. Syst. 23(10): 999-1020 (2008)
32EEHicham Bensaid, Ricardo Caferra, Nicolas Peltier: Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps. WoLLIC 2007: 38-52
31EERicardo Caferra, Rachid Echahed, Nicolas Peltier: Rewriting term-graphs with priority. PPDP 2006: 109-120
30 Ricardo Caferra, Gernot Salzer: Automated Deduction in Classical and Non-Classical Logics, Selected Papers Springer 2000
29EERicardo 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)
26 Ricardo Caferra, Nicolas Peltier: A New Technique for Verifying and Correcting Logic Programs. J. Autom. Reasoning 19(3): 277-318 (1997)
25EERicardo 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)
23EERicardo 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)
19EEChristophe Bourely, Ricardo Caferra, Nicolas Peltier: A Method for Building Models Automatically. Experiments with an Extension of OTTER. CADE 1994: 72-86
18EERicardo 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)
14EERicardo 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)
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
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
9EERicardo Caferra, Nicolas Zabel: Extending Resolution for Model Construction. JELIA 1990: 153-169
8EEThierry 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
6EEThierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade: Some Tools for an Inference Laboratory (ATINF). STACS 1988: 395-396
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
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
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
1EERicardo Caferra: Proof by Matrix Reduction as Plan + Validation. CADE 1982: 309-325

Coauthor Index

1Vincent Aravantinos [34]
2Hicham Bensaid [32] [35]
3Christophe Bourely [19]
4Ramon Brena [3]
5Gilles Chaminade [6] [8]
6Stéphane Demri [12] [14] [15] [17]
7Rachid Echahed [31]
8Bertram Fronhöfer [2] [3]
9Christian Gresse [3]
10Michel Herment [11] [12] [15] [18] [20]
11Philippe Jacquet [2] [3]
12Philippe Jorrand [4]
13Nicolas Peltier [19] [21] [22] [23] [25] [26] [27] [28] [29] [31] [32] [33] [34] [35]
14Marie-Laure Potet [3]
15François Puitg [29]
16Gernot Salzer [30]
17Thierry Boy de la Tour [5] [6] [7] [8]
18Nicolas Zabel [9] [10] [11] [13]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)