The objective of this Ph.D. project is to develop research in the field of neuro-symbolic integration, with particular applications in embodied Artificial Intelligence, planning, and learning world models. The research will combine machine learning and reinforcement learning techniques with symbolic representation and logic-based reasoning methods to address problems involving the semantic interpretation of high-throughput perceptual data, long-horizon high-level symbolic planning, and plan execution in simulated environments.
