|
![](https://www.irit.fr/images/boite-outils/espaceur.gif) |
![](https://dbweb.irit.fr//appli-img/Photos/127.jpg) Fariñas del Cerro Luis
CNRS emeritus research director
Short biography
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
|
![](https://www.irit.fr/images/boite-outils/espaceur.gif) |