Lparse（L解析） swMATH ID: 4633 软件作者： 托米·西尔贾宁 描述： Lparse（L解析）Smodels使用的是无变量程序，手工生成这些程序非常麻烦。Lparse是一个前端，它将变量（和许多其他东西）添加到公认的语言中，并生成一个可以提供给smodels的无变量简单逻辑程序。Lparse还通过将一些其他语义（经典否定、部分稳定模型）转换为正常逻辑程序来实现它们。 主页： http://www.tcs.hut.fi/Software/smodels/ 编程语言： C类++ 操作系统： Windows 95/98 依赖项： Borland C++5.5版 关键词： 模样 相关软件： 格林戈；亚萨特；超小卫星；斯莫德尔斯；C模型；扣环；克林戈；Potassco公司；WASP公司；Clingcon公司；糠；无MoRe；DLV公司；接通DLV；辐条；国内流离失所者3；罗索·克林戈；萨特齐拉；o克林戈；DLV-EX公司 引用于： 42文件 更多出版物： http://www.tcs.hut.fi/Software/smodels/index.html#出版物 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Lparse程序重温：聚合的语义和表示。 Zbl 1185.68167号刘国华；你，嘉慧 2008 全部的 前5名74位作者引用 12 托尔斯滕·绍布（Torsten H.Schaub）。 10 马丁·格布瑟 7 你，嘉慧 4 罗兰·卡明斯基 4 本杰明·考夫曼 4 西蒙娜·佩里 4 沈一东 三 沃尔夫冈·费伯 三 尼古拉·利昂 三 王一松 三 袁丽燕 2 布莱恩，马丁 2 弗朗西斯科·卡利默里 2 玛丽娜·德沃斯 2 多达罗，胭脂红 2 约翰·克劳斯·费希特 2 约翰·惠誉 2 尤利亚·利勒 2 刘国华 2 奥昆特·萨布努克 2 斯文·蒂勒 2 特鲁什琴斯基，米洛斯奥 2 菲利普·韦伯 2 斯特凡·沃尔特兰 2 张明义 1 瓦罗尔·阿克曼 1 费尔达·努尔·阿尔帕斯兰 1 马里奥·阿尔维亚诺 1 愤怒，克里斯蒂安 1 罗伯托·比西亚尼 1 乔治·博恩 1 巴特·博加特 1 加泰拉诺、格尔索米纳 1 克里克，汤姆 1 伊曼纽尔·德·安吉利斯 1 沃尔夫·德·沃尔夫 1 黛尔·阿尔米，蒂娜 1 克里斯蒂安·德雷舍尔 1 史蒂夫·德沃沙克 1 托马斯·艾特 1 迈克尔·芬克 1 戴维·福斯卡 1 苏珊·格雷尔 1 马库斯·赫彻 1 朱塞佩·埃尔帕 1 汤米·詹胡宁 1 凯瑟琳·孔扎克 1 马丁·克罗内格 1 托马斯·林奇 1 马可·马拉提亚 1 V.Wiktor马雷克 1 大卫·梅里科 1 亚历山德拉·米利奥 1 大卫·G·M·米切尔（David G.M.Mitchell）。 1 Niemelä，Ilkka N.F。 1 维多利亚·J·尼基福罗娃。 1 埃米利亚·奥伊卡里宁 1 马克斯·奥斯特罗斯基 1 阿尔贝托·佩特罗西 1 杰拉尔德·菲弗 1 托拜厄斯·菲利普 1 毛里齐奥·普罗埃蒂 1 雅各布·拉特 1 弗朗西斯科·里卡 1 弗朗西斯科·斯卡切罗 1 施耐德，马里乌斯·托马斯 1 罗尔夫·施维特 1 约阿希姆·塞尔比格 1 尤金妮亚·特诺夫斯卡 1 比约恩乌萨德尔 1 王克文 1 王淑静 1 Jessica Zangari 1 张燕 全部的 前5名10篇连载文章中引用 10 逻辑程序设计理论与实践 4 数学与人工智能年鉴 三 约束条件 2 AI通信 2 计算机基础理论 1 人工智能 1 理论计算机科学 1 算法杂志 1 人工智能研究杂志 1 ACM计算逻辑事务 全部的 前5名在6个字段中引用 41 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文