Code
All code written as part of this project's activities in the various workstreams is being released with an open-source license in the following gitHub repositories:
SOFAI Instance for Grid Navigation: https://github.com/aloreggia/sofai
SOFAI Instance for Classical and Epistemic Planning: https://github.com/FrancescoFabiano/MetacognitiveEpistemicPlanning
Plansformer - Large-language Models Trained for Planning Tasks (to be used as a fast solver in SOFAI): https://github.com/VishalPallagani/plansformer
EPDDL - A General Language for Modelling Planning Domains/Problems (to be used in SOFAI to deal with both classical and epistemic planning): https://github.com/FrancescoFabiano/E-PDDL