Sistemas Multi-agente y su aplicación en servicios hospitalarios

Analysis of spatial restrictions and their application to mechanical design and to the simulation of robot tasks

The IIIA-CSIC is a node of the Network of Excellence in Computational Logic

Intelligent Mould Design

Mobile Robot prototypes for manufacturing and services environments

Many-valued Logics for Computer Science Applications

Incremental Description of Systems based on the Calculus of Refinements (COR) and Executable Modal Logics (LMex)

Management of Uncertainty in Medicine

A Virtual Multicomputer

Cooperative Problem Solving Tools

Foundations of Analogical Inference and their Applications to Symbolic Reasoning and Learning

Defeasible Reasoning and Uncertainty Management Systems II

Partial Deductive Systems and Local Logics in Approximate Reasoning

Reflective Architecture: Logical Foundations and Applications

Network of Excellence in Machine Learning

Theory and Development of Distributed Expert Systems. Medical Applications

Expert system for assisting care of child with congenital cardiopathies

A Learning System Based on a Massive Memory Architecture

Disseny i implementacio d'un meta-llenguatge per a la validació de sistemes experts

Intelligent Process Control by means of Expert Systems