Simone Caruso

A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms

Languages for Knowledge Representation and Reasoning, such as ASP, CP, and SMT, excel at solving some complex problems, but encoding them into a higher-level language may be more profitable, leaving these formalisms as targets for solving. Recent studies aim to convert controlled natural languages i