Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Luis Fariñas del Cerro
Luis Fariñas del Cerro
at_id:
orcid_id:
Disciplines:
Applied sciences
Chemistry
Common sciences and techniques
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Déduction automatique en calcul des durées basée sur la méthode des tableaux
Problemes de satisfaction de contraintes : algorithmes et complexite
Criteres de comparaison et de construction de theories axiomatiques pour la representation de la connaissance : ontologies de l'espace et du temps
Mise-à-jour des bases de croyances logiques et changement minimal
Modeles logiques pour le raisonnement sur les actions
Sur les fondements de la notion de dépendance et de son application à la théorie de l'action
Modélisation et vérification orientées objet pour les systèmes réactifs
Déduction automatique en géométrie par réduction de figures
Fondements logiques du raisonnement contextuel
De l'action à l'intention : vers une caractérisation formelle des agents
De la connaissance à la paraconsistance : un modèle d'application pour la résolution des conflits aériens
Etude des raisonnements non-monotones : apports des logiques des conditionnels et des logiques modales
TARSKI, une machine parallèle pour implanter des extensions de PROLOG
Une caracterisation modale de la semantique des programmes logiques avec negation
Raisonnement automatique en logique modale et algorithmes d'unification
Aspects epistemiques des protocoles cryptographiques
Une methode de deduction automatique en logique modale