HEX Programs with Action Atoms

Selen Basol, Ozan Erdem, Michael Fink & Giovambattista Ianni
HEX programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectionally accessing external sources of knowledge and/or computation. The original framework, however, does not deal satisfactorily with stateful external environments: the possibility of predictably influencing external environments has thus not yet been considered explicitly. This paper lifts HEX programs to ACTHEX programs: ACTHEX programs introduce the notion of action atoms, which are...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.