11 links
(Czech Republic) Charles University
kti.ms.mff.cuni.cz
Constraint and Logic Programming research group. People, research projects, publications and resources.
(Italy) Istituto di Elaborazione della Informazione
isti.cnr.it
Information and news on research activities.
(Russia) St. Petersburg
logic.pdmi.ras.ru
Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.
(Spain) Universidad Politécnica de Madrid
clip.dia.fi.upm.es
Computational Logic, Implementation, and Parallelism Lab.
ECOR: European centre for ontological research
ecor.uni-saarland.de
The European Center for Ontological Research represents a new approach in applying ontology to a variety of problems in information science and related areas. The Center draws on t…