About City
  1. Schools and departments
  2. Education
  3. Rector and President
  4. Governance and leadership
  5. Working at City
  6. History of City
  7. More about City
  8. Campus map
  9. Contact us
  10. Guidance on Coronavirus
  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 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.