Concepedia

Ricardo Caferra

RC

8

Publications

194

Citations

8

H-Index

1987

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Ricardo Caferra is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceVerificationFormal VerificationData ScienceSemanticsSemantic WebData Modeling

Publications per year

1987–2011

8

Publications

8

A method for simultaneous search for refutations and models by equational constraint solving

Ricardo Caferra, Nicolas Zabel · Journal of Symbolic Computation · 1992 · 56 citations

Mathematical Programming, Simultaneous Search, Equational Constraint +11

A Tableaux Method for Systematic Simultaneous Search for Refutations and Models using Equational Problems

Ricardo Caferra · Journal of Logic and Computation · 1993 · 27 citations

Engineering, Extended Semantic Tableaux, Standard Tableaux Rules +23

Decidability and Undecidability Results for Propositional Schemata

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier · Journal of Artificial Intelligence Research · 2011 · 25 citations · Full text

Bound-linear Schemata, Engineering, Automated Reasoning +14

Baghera Assessment Project, designing an hybrid and emergent educational society

Nicolas Balacheff, Ricardo Caferra, Michele Cerulli et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2003 · 23 citations · Full text

Extending semantic resolution via automated model building: applications

Ricardo Caferra, Nicolas Peltier · 1995 · 20 citations

Rows per page

1–5 of 8