Searching for authors named Ricardo Caferra – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Model Building and Interactive Theory Discovery
- …Model Building and Interactive Theory Discovery Ricardo Caferra, Nicolas Peltier LIFIA-IMAG 46…
- Cited by 12 (8 self) – Add To MetaCart
-
Building Models By Using Tableaux Extended By Equational Problems
- …Building models by using tableaux extended by equational problems Ricardo Caferra Nicolas Zabel…
- Cited by 5 (2 self) – Add To MetaCart
-
Extending Semantic Resolution via Automated Model Building: applications
- …Extending Semantic Resolution via Automated Model Building: applications Ricardo Caferra LIFIA…
- Cited by 16 (9 self) – Add To MetaCart
-
A Method for simultaneous Search for Refutations and Models by Equational Constraint Solving
- … and Models by Equational Constraint Solving y RICARDO CAFERRA AND NICOLAS ZABEL LIFIA--IMAG--CNRS 46, Av. F…
- Cited by 44 (10 self) – Add To MetaCart
-
Cooperation between direct method and translation method in non classical logics: Some results in propositional S5
- … in Propositional S5 Ricardo Caferra Stephane Demri LIFIA-IMAG, 46 Av. Felix Viallet, 38031 Grenoble Cedex, France…
- Cited by 3 (0 self) – Add To MetaCart
-
Decision Procedures using Model Building techniques
- …Decision Procedures using Model Building techniques Ricardo Caferra and Nicolas Peltier LIFIA…
- Cited by 18 (4 self) – Add To MetaCart
-
A New Technique for Verifying and Correcting Logic Programs
- …A new technique for verifying and correcting logic programs Ricardo Caferra and Nicolas Peltier…
- Cited by 6 (4 self) – Add To MetaCart
-
Combining inference and disinference rules with enumeration for model building (Extended Abstract)
- …) Ricardo Caferra and Nicolas Peltier Laboratory LEIBNIZ-IMAG 46, Avenue F'elix Viallet 38031 Grenoble…
- Cited by 1 (1 self) – Add To MetaCart
-
A Significant Extension of Logic Programming By Adapting Model Building Rules
- …A significant extension of logic programming by adapting model building rules Ricardo Caferra…
- Cited by 5 (3 self) – Add To MetaCart
-
Model Building in the Cross-Roads of Consequence and Non-Consequence Relations
- …Model building in the cross-roads of consequence and non-consequence relations Ricardo Caferra…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
