Hierarchical Abstractions and Reasoning for Neuro-Symbolic Systems

Rezatofighi, Hamid (Primary Chief Investigator (PCI))
Garcia De La Banda Garcia, Maria (Chief Investigator (CI))
Li, Yuan-Fang (Chief Investigator (CI))
Stuckey, Peter (Chief Investigator (CI))
Gasevic, Dragan (Chief Investigator (CI))
Gutierrez, Julian (Chief Investigator (CI))
Qu, Lizhen (Chief Investigator (CI))
Ignatiev , Alexey (Chief Investigator (CI))
Swiecki, Zachari (Chief Investigator (CI))
Vered, Mor (Chief Investigator (CI))
Chen, Guanliang (Chief Investigator (CI))
Haffari, Reza (Chief Investigator (CI))
Say, Buser (Chief Investigator (CI))

Project: Research

Short title	HARNESS
Acronym	HARNESS
Status	Active
Effective start/end date	20/06/23 → 20/02/27

High-performance Computing (M3/MASSIVE)
Powell, D. (Manager) & Tan, G. (Manager)
Office of the Vice-Provost (Research and Research Infrastructure)
Facility/equipment: Facility