ICAPS 2023 Best System Demonstration Award Runner–UpPubblicazione: NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) FormulasPremiato: Francesco Fuggitti anno: 2023Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
