Ricardo Caferra

Publication Activity (10 Years)

Years Active: 1982-2014
Publications (10 Years): 0

Top Venues

CoRR

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
Decidability and Undecidability Results for Propositional Schemata. CoRR (2014)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
Linear Temporal Logic and Propositional Schemata, Back and Forth. TIME (2011)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version) CoRR (2011)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
Decidability and Undecidability Results for Propositional Schemata. J. Artif. Intell. Res. 40 (2011)
Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness. AISC/MKM/Calculemus (2010)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
Complexity of the Satisfiability Problem for a Class of Propositional Schemata. LATA (2010)
Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
Perfect Discrimination Graphs: Indexing Terms with Integer Exponents. IJCAR (2010)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
Simplified handling of iterated term schemata. Ann. Math. Artif. Intell. 58 (3-4) (2010)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
RegSTAB: A SAT Solver for Propositional Schemata. IJCAR (2010)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
A Decidable Class of Nested Iterated Schemata. IJCAR (2010)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
A Decidable Class of Nested Iterated Schemata (extended version) CoRR (2010)
Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
Dei: A Theorem Prover for Terms with Integer Exponents. CADE (2009)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
A Schemata Calculus for Propositional Logic. TABLEAUX (2009)
Ricardo Caferra, Nicolas Peltier
Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview. Int. J. Intell. Syst. 23 (10) (2008)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
More Flexible Term Schematisations via Extended Primal Grammars. ISAIM (2008)
Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps. WoLLIC (2007)
Ricardo Caferra, Rachid Echahed, Nicolas Peltier
Rewriting term-graphs with priority. PPDP (2006)
Ricardo Caferra, Nicolas Peltier
Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite Models. J. Symb. Comput. 29 (2) (2000)
Ricardo Caferra, Nicolas Peltier, François Puitg
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization. Automated Deduction in Geometry (2000)
Ricardo Caferra, Nicolas Peltier
The Connection Method, Constraints and Model Building. Intellectics and Computational Logic (2000)
Ricardo Caferra, Nicolas Peltier
A New Technique for Verifying and Correcting Logic Programs. J. Autom. Reason. 19 (3) (1997)
Ricardo Caferra
Review of Witold Marciszewski and Roman Murawski: Mechanization of Reasoning in a Historical Perspective. J. Appl. Non Class. Logics 6 (3) (1996)
Ricardo Caferra, Nicolas Peltier
A Significant Extension of Logic Programming by Adapting Model Building Rules. ELP (1996)
Ricardo Caferra, Nicolas Peltier
Extending Semantic Resolution via Automated Model Building: Applications. IJCAI (1995)
Ricardo Caferra, Nicolas Peltier
Decision Procedures Using Model Building Techniques. CSL (1995)
Ricardo Caferra, Nicolas Peltier
Model Building and Interactive Theory Discovery. TABLEAUX (1995)
Ricardo Caferra, Michel Herment
A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae. J. Symb. Comput. 19 (1-3) (1995)
Christophe Bourely, Ricardo Caferra, Nicolas Peltier
A Method for Building Models Automatically. Experiments with an Extension of OTTER. CADE (1994)
Ricardo Caferra
A Tableaux Method for Systematic Simultaneous Search for Refutationas and Models Using Equational Problems. J. Log. Comput. 3 (1) (1993)
Ricardo Caferra, Stéphane Demri
Cooperation between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5. IJCAI (1993)
Ricardo Caferra, Stéphane Demri, Michel Herment
A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics. Stud Logica 52 (2) (1993)
Ricardo Caferra, Michel Herment
GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics. DISCO (1993)
Ricardo Caferra, Stéphane Demri
Semantic Entailment in Non Classical Logics Based on Proofs Found in Classical Logic. CADE (1992)
Ricardo Caferra, Nicolas Zabel
A Method for Simultanous Search for Refutations and Models by Equational Constraint Solving. J. Symb. Comput. 13 (6) (1992)
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)
Ricardo Caferra, Michel Herment, Nicolas Zabel
User-oriented theorem proving with the ATINF graphic proof editor. FAIR (1991)
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)
Ricardo Caferra, Nicolas Zabel
Extending Resolution for Model Construction. JELIA (1990)
Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade
Some Tools for an Inference Laboratory (ATINF). STACS (1988)
Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade
Some Tools for an Inference Laboratory (ATINF). CADE (1988)
Thierry Boy de la Tour, Ricardo Caferra
A Formal Approach to some Usually Informal Techniques Used in Mathematical Reasoning. ISSAC (1988)
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)
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)
Bertram Fronhöfer, Ricardo Caferra, Philippe Jacquet
Improvement of Recursive Programs from a Logic Programming Point of View. GWAI (1984)
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)
Ricardo Caferra
Proof by Matrix Reduction as Plan + Validation. CADE (1982)

Ricardo Caferra.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ricardo Caferra