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
|