Fariñas del Cerro Luis

Status :	Permanent
Service/Team :	Logique, Interaction, Langue et Calcul
Contact :	Luis.Farinas@irit.fr
Localization :	UPS / IRIT2 / 168
Phone :	+33 (0)5 61 55 6345
Publications :

 

 

CNRS emeritus research director

 Short biography

• Can be found here

 Research topics

• 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

 Other scientific activities

• Founding editor of the Journal of Applied Non-Classical Logics