LoRea Group 

                          

Computer Sciences Faculty

University of the Basque Country (UPV/EHU) 

Department of Computer Language and Systems (LSI)

       ■        ■    ■  

 

Logic and Reasoning Group

Our main areas of interest are:

  • Logical Systems (Classical, Three-valued, Intuitionistic, Temporal, Modal, etc) and their Application to Computer Science

  • Specification, Transformation and Verification of Programs

  • Functional and (Constraint) Logic Programming

  • Graph Transformation

  • Automated Reasoning with Large-scale Ontologies

  • Computational Complexity

  • Computational Learning Theory 
     

 

 

05-06-2015