- Alex Brik
- Jeffrey Remmel
Logic Programming and Nonmonotonic Reasoning, LPNMR, 14th International Conference, 2017
This paper introduces Hybrid AL, an extension of the action language AL that allows to reason about actions and their consequences for the domains where such consequences can be described practically only as results of the computations by exetrnal algorithms. While the semantics of the action language AL is defined using ASP, the semantics of the action language Hybrid AL is defined using Hybrid ASP - an extension of ASP allowing rules to control sequential processing of arbitrary binary data by external algorithms.
We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work