Defeasible Reasoning and Uncertainty Management Systems

Specification of Parallel Expert Systems

Validation Methods and Tools for Knowledge Based Systems

Self-Organization and Analogical Modelling using sub-symbolic Computing

Desarrollo de un sistema Inferencial en PROLOG

Intelligent Process Control by means of Expert Systems I

Relational and Equational Logic Programming Environment

Investigación de Alta Tecnología de Sistemas de Información

European External Research Agreement con la empresa DIGITAL EQUIPMENT CORPORATION

Desarrollo de sistemas de adquisición, representación y gestión del conocimiento incierto mediante técnicas de razonamiento apr

Knowledge Acquisition and Approximate Reasoning