Search Results for author:
Found 9 papers, 0 papers with code
An ASP Framework for the Refinement of Authorization and Obligation Policies
We propose a framework that detects the statements that make a policy inconsistent, underspecified, or ambiguous with respect to an action being executed in a given state.
Proceedings 35th International Conference on Logic Programming (Technical Communications)
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.
An Application of ASP Theories of Intentions to Understanding Restaurant Scenarios: Insights and Narrative Corpus
This paper presents a practical application of Answer Set Programming to the understanding of narratives about restaurants.
An ASP Methodology for Understanding Narratives about Stereotypical Activities
We exemplify the application of this methodology by answering questions about a number of restaurant stories.
COREALMLIB: An ALM Library Translated from the Component Library
The library was obtained by translating part of the COMPONENT LIBRARY (CLIB) into the modular action language ALM.
Modular Action Language ALM
It is based on the approach of Gelfond and Lifschitz (1993; 1998) in which a high-level action language is used as a front end for a logic programming system description.
An Application of Answer Set Programming to the Field of Second Language Acquisition
This paper explores the contributions of Answer Set Programming (ASP) to the study of an established theory from the field of Second Language Acquisition: Input Processing.
