亚历克斯·布里克;杰弗里·雷梅尔 动作语言混合AL。 （英语） Zbl 1491.68225号 Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10377, 322-335 (2017). 摘要：本文介绍了动作语言（mathcal{AL}）到Hybrid的扩展。Hybrid\（\mathcal{AL}\）中的程序指定了一个转换图和相关的计算，用于观察fluents和执行动作。\（\mathcal{AL}\）的语义是根据答案集编程（ASP）定义的。类似地，Hybrid（\mathcal{AL}）的语义是使用HybridASP定义的，它是ASP的扩展，允许规则控制任意算法的顺序执行。关于整个系列，请参见[Zbl 1367.68005号]. 引用于1审查引用于1文件 MSC公司： 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 68N17号 逻辑编程 PDF格式BibTeX公司 XML格式引用 \textit{A.Brik}和\textit{J.Remmel}，莱克特。注释计算。科学。10377、322--335（2017；Zbl 1491.68225） 全文： 内政部