The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Ricardo Caferra: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  32. I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness. [Citation Graph (, )][DBLP]


  33. Dei: A Theorem Prover for Terms with Integer Exponents. [Citation Graph (, )][DBLP]


  34. Perfect Discrimination Graphs: Indexing Terms with Integer Exponents. [Citation Graph (, )][DBLP]


  35. RegSTAB: A SAT Solver for Propositional Schemata. [Citation Graph (, )][DBLP]


  36. A Decidable Class of Nested Iterated Schemata. [Citation Graph (, )][DBLP]


  37. A Schemata Calculus for Propositional Logic. [Citation Graph (, )][DBLP]


  38. Complexity of the Satisfiability Problem for a Class of Propositional Schemata. [Citation Graph (, )][DBLP]


  39. A Decidable Class of Nested Iterated Schemata (extended version) [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002