Knowledge Tree

researcher / Ricardo Caferra

Ricardo Caferra

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Utilisation des schématisations de termes en déduction automatique

Schémas de formules et de preuves en logique propositionnelle

Construction de modèles pour des ensembles de clauses gardées

Découverte et utilisation d'analogies pour la construction de preuves et contre-exemples

Nouvelles techniques pour la construction de modèles finis et infinis en déduction automatique

E-unification en démonstration automatique

Approches directe et par traduction en logiques modales : nouvelles stratégies et traduction inverse de preuves

Glef atinf : un cadre générique pour la connexion d'outils d'inférence et l'édition graphique de preuves

Nouvelles techniques de déduction automatiques en logiques polyvalentes finies et infinies du premier ordre

Optimisations par renommage dans la méthode de résolution

Intégration et implémentation de mécanismes de déduction naturelle dans les démonstrateurs utilisant la résolution