LILaC

Luis Fariñas del Cerro

• RESEARCH TOPICS:
  • knowledge and database updates
  • conditional logics
  • belief revision and nonmonotonic reasoning
  • theories of uncertainty (qualitative possibility theory)
  • automated theorem proving for non-classical logics
  • non-classical logic programming (the MOLOG inference engine)
  • proof theory and foundations of non-classical logics
  • geometries and models of movement

• PAPERS

• OTHER SCIENTIFIC ACTIVITIES:
  • editor-in-chief of the Journal of Applied Non-Classical Logics

voice:  +33 56155-6345			IRIT - Université Paul Sabatier     
secr.:		 -6764			118 route de Narbonne  
Fax: 		 -8325			F-31062 Toulouse Cedex 4 (France) 

Email:  farinas at irit.fr   
WWW:    http://www.irit.fr/~Luis.Farinas_del_Cerro