IIIA-CSIC node of CompulogNet
The IIIA-CSIC node of CompulogNet
The IIIA-CSIC is a node of CompulogNet, the Network of Excellence in Computational Logic
Supported by: European Union
Project no: COMPULOG-NET No III.
Period: 24-6-96 / 24-6-99
The Networks of Excellence have been created under founds of the European
Union. The scientific scope of this Network is very broad and comprehend
all topics under the general theme of Computational Logic. This wide area
is split in several areas to which belong a certain set of node members,
called groups. The Network organizes Workshops for groups members and
General Meetings for the whole community. The EU economical support aims at
establishing a suitable setting to easily exchange knowledge and to favours
cooperations among members.
Research activities at IIIA-CSIC concerning CompulogNet
Requirements Capture, Formal Specification, Theorem Proving, Declarative Programming, Human-Computer Interaction:
We are interested in the difficult process of creation of adequate
formal specifications from informal requirements. Our approach is that of
rapid prototyping, the creation of tools enabling non-programmers to build
executable models in the framework of computational logic. In collaboration
with D. Robertson from the Department of Artificial Intelligence of the
University of Edinburgh we are designing a system GRASP for high level
description of logic programs based on a functional language with types as
values and inclusions instead of equalities for incremental specification.
We have developed an original extension of Rewrite Techniques to do
deduction with inclusions. GRASP specifications are presented in
diagrammatic form and can be built from a small library of diagram
schemata. This has open our interest in thinking with diagrams.
Sequential and Parallel Logic Programming, Fuzzy Logic Programing,
Temporal Constraint Logic Programming:
Since 1991, we are working in designing an interpreter quicker than
classical SLD-resolution based on Intelligent Backtracking. Our interpreter
makes an original and efficient scanning of the search space by combining
adequately the first-depth and the breath-first searches. The method has
been designed for sequential Prolog and for the three more standard
parallel models: And-Or, And-Independent-Or and pure Or.
A second topic focus on non-classical, but applied languages for Logic
Programming. Thus, we consider First-Order Multivalued Logics. This area is
of special interest for problems that have fuzzy attributes encountered for
example in Fuzzy Data Bases.
Our third research line concerns Constraint Logic Programming. In a first
step, we have begun considering restrictions of temporal metric type
integrated in a first-order many-sorted language. We have developed a
bottom-up method and proved pertinent properties. On this research line, we
plan to design a correct top-down and afterwards, we will study more
temporal primitives as new constraints of our language.
Researchers of IIIA-CSIC involved in CompulogNet:
Here is a list of our publications concerning
the research activities discribed above.