Ricardo Caferra

48 papers A* 4A 9B 5C 4Misc 3Journal 13Unranked 7

Year	Rank	Type	Title / Venue / Authors
2020	—	`ch.`	Automated Deduction. A Guided Tour of Artificial Intelligence Research (2) (II) Thierry Boy de la Tour, Ricardo Caferra, Nicola Olivetti, Nicolas Peltier, Camilla Schwind
2014	J	`jnl`	Decidability and Undecidability Results for Propositional Schemata. CoRR Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
2011	J	`jnl`	Decidability and Undecidability Results for Propositional Schemata. J. Artif. Intell. Res. Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
2011	J	`jnl`	Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version) CoRR Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
2011	C	`conf`	Linear Temporal Logic and Propositional Schemata, Back and Forth. TIME Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
2010	J	`jnl`	A Decidable Class of Nested Iterated Schemata (extended version) CoRR Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
2010	A	`conf`	A Decidable Class of Nested Iterated Schemata. IJCAR Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
2010	C	`conf`	Complexity of the Satisfiability Problem for a Class of Propositional Schemata. LATA Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
2010	A	`conf`	Perfect Discrimination Graphs: Indexing Terms with Integer Exponents. IJCAR Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
2010	A	`conf`	RegSTAB: A SAT Solver for Propositional Schemata. IJCAR Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
2010	J	`jnl`	Simplified handling of iterated term schemata. Ann. Math. Artif. Intell. Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
2009	B	`conf`	A Schemata Calculus for Propositional Logic. TABLEAUX Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
2009	A	`conf`	Dei: A Theorem Prover for Terms with Integer Exponents. CADE Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
2008	J	`jnl`	Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview. Int. J. Intell. Syst. Ricardo Caferra, Nicolas Peltier
2008	Misc	`conf`	More Flexible Term Schematisations via Extended Primal Grammars. ISAIM Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
2007	C	`conf`	Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps. WoLLIC Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
2006	C	`conf`	Rewriting term-graphs with priority. PPDP Ricardo Caferra, Rachid Echahed, Nicolas Peltier
2000	—	`ed.`	Automated Deduction in Classical and Non-Classical Logics, Selected Papers FTP (LNCS Selection) Ricardo Caferra, Gernot Salzer
2000	J	`jnl`	Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite Models. J. Symb. Comput. Ricardo Caferra, Nicolas Peltier
2000	—	`conf`	Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization. Automated Deduction in Geometry Ricardo Caferra, Nicolas Peltier, François Puitg
2000	—	`conf`	The Connection Method, Constraints and Model Building. Intellectics and Computational Logic Ricardo Caferra, Nicolas Peltier
1997	J	`jnl`	A New Technique for Verifying and Correcting Logic Programs. J. Autom. Reason. Ricardo Caferra, Nicolas Peltier
1996	—	`conf`	A Significant Extension of Logic Programming by Adapting Model Building Rules. ELP Ricardo Caferra, Nicolas Peltier
1996	J	`jnl`	Review of Witold Marciszewski and Roman Murawski: Mechanization of Reasoning in a Historical Perspective. J. Appl. Non Class. Logics Ricardo Caferra
1995	J	`jnl`	A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae. J. Symb. Comput. Ricardo Caferra, Michel Herment
1995	B	`conf`	Decision Procedures Using Model Building Techniques. CSL Ricardo Caferra, Nicolas Peltier
1995	A*	`conf`	Extending Semantic Resolution via Automated Model Building: Applications. IJCAI Ricardo Caferra, Nicolas Peltier
1995	B	`conf`	Model Building and Interactive Theory Discovery. TABLEAUX Ricardo Caferra, Nicolas Peltier
1994	A	`conf`	A Method for Building Models Automatically. Experiments with an Extension of OTTER. CADE Christophe Bourely, Ricardo Caferra, Nicolas Peltier
1993	J	`jnl`	A Tableaux Method for Systematic Simultaneous Search for Refutationas and Models Using Equational Problems. J. Log. Comput. Ricardo Caferra
1993	J	`jnl`	A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics. Stud Logica Ricardo Caferra, Stéphane Demri, Michel Herment
1993	A*	`conf`	Cooperation between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5. IJCAI Ricardo Caferra, Stéphane Demri
1993	—	`conf`	GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics. DISCO Ricardo Caferra, Michel Herment
1992	J	`jnl`	A Method for Simultanous Search for Refutations and Models by Equational Constraint Solving. J. Symb. Comput. Ricardo Caferra, Nicolas Zabel
1992	A	`conf`	Semantic Entailment in Non Classical Logics Based on Proofs Found in Classical Logic. CADE Ricardo Caferra, Stéphane Demri
1991	A*	`conf`	Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics. AAAI Ricardo Caferra, Stéphane Demri, Michel Herment
1991	—	`conf`	User-oriented theorem proving with the ATINF graphic proof editor. FAIR Ricardo Caferra, Michel Herment, Nicolas Zabel
1990	Misc	`conf`	An Application of Many-Valued Logic to Decide Propositional S5 Formulae: A Strategy Designed for a Parameterized Tableaux-Based Theorem Prover. AIMSA Ricardo Caferra, Nicolas Zabel
1990	B	`conf`	Extending Resolution for Model Construction. JELIA Ricardo Caferra, Nicolas Zabel
1988	B	`conf`	A Formal Approach to some Usually Informal Techniques Used in Mathematical Reasoning. ISSAC Thierry Boy de la Tour, Ricardo Caferra
1988	A	`conf`	Some Tools for an Inference Laboratory (ATINF). CADE Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade
1988	A	`conf`	Some Tools for an Inference Laboratory (ATINF). STACS Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade
1987	A*	`conf`	Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching. AAAI Thierry Boy de la Tour, Ricardo Caferra
1985	—	`conf`	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) Ricardo Caferra, Philippe Jorrand
1984	—	`conf`	Improvement of Recursive Programs from a Logic Programming Point of View. GWAI Bertram Fronhöfer, Ricardo Caferra, Philippe Jacquet
1984	Misc	`conf`	Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. AIMSA Ramón F. Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet
1982	—	`—`	Abstraction, partage de structure et retour arrière non aveugle dans la méthode de réduction matricielle en démonstration automatique de théorèmes. (Abstraction, sharing of structure, and non-blind back to acking in the matrix reduction method in the automatic demonstration of theorems). Ricardo Caferra
1982	A	`conf`	Proof by Matrix Reduction as Plan + Validation. CADE Ricardo Caferra