Department of Computer Science
  1. Adaptive Computing Systems
  2. Machine Learning
  3. giCentre
  4. Human Computer Interaction Design
  5. Software Reliability
  6. Research Ethics
  7. Data Science
  1. Current Research Projects
Department of Computer Science

Current Research Projects

Autonomous Intelligent Systems Group (AIS)

A neural symbolic framework based on non-classical logics

Principal investigator: Rafael Borges supervised by Dr. Artur Garcez
Funding source:
City, University of London
To develop representation and learning strategies, through integration of neural networks and fragments non-classical logics, with focus on temporal representation. Besides the theoretical developments, the work is focused on the application of the proposed framework on representation and evolution of temporal model within different areas of Computer Science, such as the specification of systems in Software Engineering.

Find us

City, University of London

Northampton Square

London EC1V 0HB

United Kingdom

Back to top

City, University of London is an independent member institution of the University of London. Established by Royal Charter in 1836, the University of London consists of 18 independent member institutions with outstanding global reputations and several prestigious central academic bodies and activities.