Research Projects

Finished

MENTAL	ACROPOLE
REAP	RELING
Previous Network of Excellence in Computational Logic -- Compulog-Net	BMFT/JNICT
PROLOPPE	PADIPRO
ESPRIT KIT with AIT	Next Network of Excellence in Computational Logic -- CoLogNet
FLUX	IQN Rational Mobile Agents and Systems of Agents
Network of Excellence in Inductive Logic Programming  ILPnet2	TARDE
European Asia-Link Program Project Asia-Link/VN/001   (2004-07) TU Dresden  and Universidade Nova de Lisboa with Hanoi University of Technology and The University of Indonesia at Jakarta Asia-Link VN001 Final Technical Report	REWERSE - Reasoning on the Web with Rules and Semantics   (2004-08) - brief description - 27 member European consortium
Knowledge Representation with Negative Information (KRENI)   (2006-07) UNL and UP Madrid
AutoDynAgents (2007-10) Autonomic Agents with Self-Managing Capabilities for Dynamic Scheduling Support in a Cooperative Manufacturing System	European Union's Erasmus Mundus program supported International MSc in Computational Logic 5 member consortium since 2004
IBM-SUR (2007- ) Parallel and Distributed Computational Models for Scientific Applications on Cell Processor Clusters	COPSRO (2007-11) Computational Approach to Ontology Profiling of Scientific Research Organisations
DiFoS (2008-11) Dialogical Foundations of Semantics	FLI project on AI Race (2018-20) Incentives for safety agreement compliance in AI Race