ConArg2公司 swMATH ID: 22084 软件作者: 比斯塔雷利,S。;罗西,F。;F.桑蒂尼。 描述: ConArg2:一种用于抽象论证的基于约束的工具。ConArg2是一个面向解决抽象论证中基于扩展的语义相关问题的约束编程工具。它利用了Gecode,这是一个用于开发基于约束的系统和应用程序的高效C++工具包。语义所需的属性被编码到约束中,如果参数属于该语义的有效扩展,则将其分配给1(即true)。搜索问题的解决方案(如枚举扩展或检查参数接受度)利用了众所周知的技术,如局部一致性、尝试为变量赋值的不同启发式,以及使用分支和界限完成搜索树。 主页: http://authousioncompetition.org/2015/pdf/paper_6.pdf 相关软件: 非洲渔业协会;超小卫星;Dungine公司;2百万吨;氩气2P;ANTLR公司;雅拉;PySpark公司;蟒蛇;ProbLog(问题日志);皮塔;CP逻辑;糠;葡萄糖;玲玲;ProGraph软件;CoQuiAAS公司;LamatzSolver公司;Argtools公司;崔弟 引用于: 8文件 全部的 前5名16位作者引用 5 斯蒂法诺·比斯塔雷利 三 弗朗西斯科·桑蒂尼 2 卡洛·塔蒂奇 1 罗伯塔·卡莱加里 1 格恩瑟·查瓦特 1 沃尔夫冈·德沃亚克 1 莎拉·爱丽丝·加格尔 1 曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos) 1 安德烈亚·奥米西尼 1 朱塞佩·皮萨诺 1 法比奥·罗西 1 乔瓦尼·萨托 1 马蒂亚斯·蒂姆 1 塞雷娜·维拉塔 1 约翰·彼得·沃纳 1 斯特凡·沃尔特兰 3篇连载文章中引用 2 人工智能 1 国际近似推理杂志 1 逻辑与计算杂志 在3个字段中引用 8 计算机科学(68至XX) 1 数理逻辑与基础(03-XX) 1 组合数学(05-XX) 按年份列出的引文