Action Language Hybrid AL

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.

• Algorithms and Theory

• Machine Intelligence