Intelligence Modelling Computation

General Information

• 

• The Intelligence, Modelling & Computation (IMC) research group is concerned with research in the general area of artificial intelligence. In particular the group is concerned with (but not only) the formal aspects of modelling agent and multi-agent systems, as well as semantic web services; constraint logic programming and its application to novel areas such as formal modelling and verification; modelling and computation of biological systems

  The Intelligence, Modelling & Computation (IMC) research group is concerned with research in the general area of artificial intelligence. In particular the group is concerned with (but not only) the formal aspects of modelling agent and multi-agent systems, as well as semantic web services; constraint logic programming and its application to novel areas such as formal modelling and verification; modelling and computation of biological systems

Video