ASEA LINK
The ASIA LINK project Computational Logic as a Foundation for Computer Science and Intelligent Systems was run from 2004 until 2007. It was funded by the EU.
Technische Universität Dresden
Universidade Nova de Lisboa
Hanoi University of Technology
University of Indonesia at Jakarta
