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
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.