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:
£40,000br>
Funding source:
City, University of London
Duration:
2008-2011
Overview:
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.