Google Research

Action Language Hybrid AL

Logic Programming and Nonmonotonic Reasoning, LPNMR, 14th International Conference, 2017

Abstract

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.

Learn more about how we do research

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work