Irfan Kareem

Towards Automatic Composition of ASP Programs from Natural Language Specifications

This paper moves the first step towards automating the composition of Answer Set Programming (ASP) specifications. In particular, the following contributions are provided: (i) A dataset focused on graph-related problem specifications, designed to develop and assess tools for ASP automatic coding;…