|
|
Fariñas del Cerro Luis
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
|
|