IRIT - UMR 5505

English
CNRS
INPT
UPS
UT1
UTM
  Bandeau IRIT
 

  Fariñas del Cerro Luis


  Statut : Permanent
  Service/Equipe :  Logique, Interaction, Langue et Calcul
  Contact : Luis.Farinas@irit.fr
  Localisation : UPS / IRIT2 / 168
  Téléphone : 05 61 55 6345
  Publications :

 

 

CNRS emeritus research director

 Courte biographie

 Thèmes de recherche

  • Answer Set Programming
  • Logical modelling of biological systems
  • Modal logics with non-deterministic semantics
  • Argumentation theory
  • knowledge and database updates
  • conditional logics
  • belief revision and nonmonotonic reasoning
  • theories of uncertainty
  • automated theorem proving for non-classical logics
  • non-classical logic programming
  • proof theory and foundations of non-classical logics
  • geometries and models of movement

 Collaborations

Concerning:

  • Answer Set Programming: with the Polytechnic University of Madrid And the Coruña University, Spain
  • Logical modelling of biological systems: with the CRCT Toulouse
  • Modal logics with non-deterministic semantics: wit the University of Campinas Brazil

 Autres activités scientifiques

 

Haut de page