考拉 swMATH ID: 8842 软件作者： 马丁·格布瑟（Martin Gebser）；托尔斯滕·格罗特；托尔斯滕·绍布 描述： Coala：从动作语言到ASP的编译器。动作语言允许紧凑地描述动态域。它们通常通过编译来实现，例如，到应答集编程。为此，我们开发了一个名为Coala的工具，为几种动作语言提供多种编译技术。我们概述了Coala的显著和独特特征，并对其进行了实验比较。 主页： http://link.springer.com/chapter/10.1007/978-3642-15675-5_32 相关软件： CCalc公司;f2低压;Cplus2ASP;o克林戈;PDDL公司;超小卫星;Potassco公司;STeLP公司;社会可视化者;岛国;NuSMV公司;图规划;扣;SATIRE（饱和）;概念网 引用于： 10出版物 全部的 前5名24位作者引用 三 Lee，Joohyng先生 2 马丁·格布瑟 2 弗拉基米尔·利夫希茨 2 托尔斯滕·绍布（Torsten H.Schaub）。 2 杨芳凯 1 费利西达·阿瓜多 1 亚历山大·阿提基斯 1 约瑟夫·巴伯 1 佩德罗·卡巴拉尔 1 迈克尔·卡索拉里 1 马丁·迪盖兹 1 埃斯拉·埃尔登 1 保罗·费拉里斯 1 阿尔弗雷多·加巴登 1 里卡多·贡萨阿尔维斯 1 托尔斯滕·格罗特 1 罗兰·考夫曼 1 马蒂亚斯·克诺尔 1 约昂·莱特 1 尤利亚·利勒 1 沃尔坎州帕托格鲁 1 吉尔伯托·佩雷斯 1 马丁·斯洛塔 1 康塞普西翁·维达尔 3篇连载文章中引用 1 逻辑与计算杂志 1 应用非经典逻辑杂志 1 逻辑程序设计理论与实践 在2个字段中引用 10 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的引文