The Artificial Intelligence Lab. is affiliated to the Department of Computer Science of the University of Corunna. It is devoted to research in Artificial Intelligence from practical systems to theoretical foundations.

The main topics are related with knowledge representation and reasoning for dynamic domains. We developed expert systems in Medicine and other domains using our development environment. Knowledge representation and reasoning is based in a nonmonotonic causal logic (Pertinence Logic). We also have a system pal which implements pertinence wearing a more theoretical taste.

We work on nonmonotonic reasoning, planning, induction-based learning, dynamic diagnosis, temporal constraints and causal networks. Besides we work on the concurrent implementation of automated reasoning under nonmonotonic formalisms and the application of nonmonotonic formalisms to natural language understanding.

Another line of work deals with (nonmonotonic) logic-based information retrieval. And a wide topic around autonomous systems.

Medtool is an environment for the development of expert systems, with temporal representation and reasoning capabilities. Its first version dated 1988. Several expert systems have been developed with it. As far as new features are studied and better understood theoretically they are implemented in the environment. Medtool also includes tools needed for actual systems, though they are not AI-based.