Ricardo Caferra

	2011
46		Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: Linear Temporal Logic and Propositional Schemata, Back and Forth. TIME 2011: 80-87
45		Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version) CoRR abs/1102.2174: (2011)
44		Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: Decidability and Undecidability Results for Propositional Schemata. J. Artif. Intell. Res. (JAIR) 40: 599-656 (2011)
	2010
43		Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness. AISC/MKM/Calculemus 2010: 19-33
42		Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: A Decidable Class of Nested Iterated Schemata. IJCAR 2010: 293-308
41		Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: RegSTAB: A SAT Solver for Propositional Schemata. IJCAR 2010: 309-315
40		Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: Perfect Discrimination Graphs: Indexing Terms with Integer Exponents. IJCAR 2010: 369-383
39		Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: Complexity of the Satisfiability Problem for a Class of Propositional Schemata. LATA 2010: 58-69
38		Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: Simplified handling of iterated term schemata. Ann. Math. Artif. Intell. 58(3-4): 155-183 (2010)
37		Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: A Decidable Class of Nested Iterated Schemata (extended version) CoRR abs/1001.4251: (2010)
	2009
36		Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: Dei: A Theorem Prover for Terms with Integer Exponents. CADE 2009: 146-150
35		Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: A Schemata Calculus for Propositional Logic. TABLEAUX 2009: 32-46
	2008
34		Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier: More Flexible Term Schematisations via Extended Primal Grammars. ISAIM 2008
33		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		Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps. WoLLIC 2007: 38-52
	2006
31		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		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

Coauthor Index

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

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page