马丁·格布瑟;托尔斯滕·格罗特;托尔斯滕·绍布 Coala：从动作语言到ASP的编译器。 （英语） Zbl 1306.68014号 Janhunen，Tomi（编辑）等人，《人工智能中的逻辑》。第十二届欧洲会议，JELIA 2010，芬兰赫尔辛基，2010年9月13-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15674-8/pbk）。计算机科学课堂讲稿6341。人工智能课堂讲稿，360-364（2010）。 概要：动作语言允许紧凑地描述动态域。它们通常通过编译来实现，例如，到应答集编程。为此，我们开发了一个名为Coala的工具，为几种动作语言提供多种编译技术。我们概述了Coala的显著和独特特征，并对其进行了实验比较。关于整个系列，请参见[Zbl 1196.68010号]. 引用于4文件 MSC公司： 68N20型 编译与解释理论 68N17号 逻辑编程 软件：考拉;Potassco公司 PDF格式BibTeX公司 XML格式引用 \textit｛M.Gebser｝等人，Lect。注释计算。科学。6341360-364（2010年；兹比尔1306.68014） 全文： DOI程序 链接