About

CompulogNet was Europe’s Network of Excellence in Computational Logic. The network linked over 100 nodes drawn from leading research centres, universities, and industrial companies. Its aim was to support all the phases of technological change associated with the research, development, and application of logic-based techniques and methods in all areas of computing. The network actively promoted scientific and educational exchanges between its nodes, including cooperative working, information dissemination, student mobility, and distance learning.

KMi was a multimedia and education node in CompulogNet, we brought together our applied logic programming research with innovative web presentation and multimedia facilities into a single forum.