Law M, Russo A, Bertino A, Lobo J, Broda K. Representing and Learning Grammars in Answer Set Programming. The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI 2019)
List of results published directly linked with the projects co-funded by the Spanish Ministry of Economy and Competitiveness under the María de Maeztu Units of Excellence Program (MDM-2015-0502).
List of publications acknowledging the funding in Scopus.
The record for each publication will include access to postprints (following the Open Access policy of the program), as well as datasets and software used. Ongoing work with UPF Library and Informatics will improve the interface and automation of the retrieval of this information soon.
The MdM Strategic Research Program has its own community in Zenodo for material available in this repository as well as at the UPF e-repository
Law M, Russo A, Bertino A, Lobo J, Broda K. Representing and Learning Grammars in Answer Set Programming. The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI 2019)
Law M, Russo A, Bertino A, Lobo J, Broda K. Representing and Learning Grammars in Answer Set Programming. The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI 2019)
In this paper we introduce an extension of context-free gram-mars called answer set grammars (ASGs). These grammars allow annotations on production rules, written in the language of Answer Set Programming (ASP), which can express context-sensitive constraints. We investigate the complexity of various classes of ASG with respect to two decision problems: deciding whether a given string belongs to the language of an ASG and deciding whether the language of an ASG is non-empty. Specifically, we show that the complexity of these decision problems can be lowered by restricting the subset of the ASP language used in the annotations. To aid the applicability of these grammars to computational problems that re-quire context-sensitive parsers for partially known languages, we propose a learning task for inducing the annotations of an ASG. We characterise the complexity of this task and present an algorithm for solving it. An evaluation of a (prototype)implementation is also discussed.