About City
  1. Rector and President
  2. Schools and departments
  3. Governance and leadership
  4. Education
  5. Working at City
  6. History of City
  7. More about City
  8. Campus map
  1. Mathematics, Computer Science and Engineering
  2. Computer Science
  3. Current Research Projects
About City

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.