黄蜂

此软件的关键字
zbMATH中的参考文献(参考文献 56条 , 1标准件 )
Hecher,Markus:Treewidth-aware reduced of normal\textscSAT-是否normal\textscap比\textscSAT更危险? (2022年) 阿蒙多拉,乔凡尼; 多达罗,胭脂红; 费伯,沃尔夫冈; Ricca,Francesco:次相干答案集计算(2021) 贝托鲁奇,里卡多; 卡皮塔内利,阿莱西奥; 多达罗,胭脂红; 利昂,尼古拉; 马拉提亚,马可; 马斯特罗乔瓦尼,富尔维奥; Vallati,Mauro:通过答案集编程使用双臂机器人操纵关节物体(2021) 卡利梅里,弗朗西斯科; 卡特鲁乔,弗朗西斯科; 西内利,卢卡; 马尔祖罗,阿尔多; 雄蕊,克劳迪奥; 泰拉契纳,乔治; 杜兰德杜比夫,弗朗索瓦; Sappey Marinier,Dominique:利用神经网络研究神经疾病进化的逻辑框架(2021) 利勒,尤利娅; Robbins,Justin:DualGrounder:通过clingo multi-shot框架延迟实例化(2021) 阿尔维亚诺,马里奥; Dodaro,Carmine:不满意的核心分析和最佳稳定模型搜索的聚集(2020) 阿蒙多拉,乔凡尼; 里卡,弗朗西斯科; Truszczynski,Miroslaw:生成硬随机布尔公式和析取逻辑程序的新模型(2020) 比奇勒,曼努埃尔; 莫拉克,迈克尔; 沃尔特兰,斯特凡:selp:一个一次性的认知逻辑程序求解器(2020) 波曼森,乔里; Janhunen,Tomi:用加权比较器网络促进答案集优化(2020) 卡利梅里,弗朗西斯科; 多达罗,胭脂红; 达斯卡,戴维德; 佩里,西蒙娜; Zangari,Jessica:技术说明。 高效耦合(\mathscrI)-DLV地滚球与ASP解算器(2020) 德沃夫,狼; Bogaerts,Bart:\ textscp2pb:将答案集程序转换为伪布尔理论(2020) 多达罗,胭脂红; 艾特,托马斯; 奥格里斯,保罗; Schekotihin,Konstantin:用强化学习管理流推理的缓存策略(2020) 多达罗,胭脂红; Ricca,Francesco:扩展WASP的外部接口(2020) 格布瑟,马丁; 马拉提亚,马可; Ricca,Francesco:第七届答案集编程竞赛:设计与结果(2020) 伊安尼,乔瓦姆巴蒂斯塔; 帕森扎,弗朗西斯科; Zangari,Jessica:用定制简化对过度接地逻辑程序进行增量维护(2020) 温齐尔,安东尼乌斯; 灰褐色,理查德; Friedrich,Gerhard:推进惰性接地ASP解决技术——重新启动、阶段节省、启发式等(2020) 阿尔维亚诺,马里奥; 阿蒙多拉,乔凡尼; 多达罗,胭脂红; 利昂,尼古拉; 马拉提亚,马可; Ricca,Francesco:WASP中析取程序的评估(2019) 阿尔维亚诺,马里奥; 多达罗,胭脂红; 费希特,约翰尼斯K。; 赫彻,马库斯; 菲利浦,托比亚斯; Rath,Jakob:ASP的不一致性证明:ASP-DRUPE格式(2019) 阿尔维亚诺,马里奥; Faber,Wolfgang:广义原子逻辑程序的链答案集(2019) 阿尔维亚诺,马里奥; 利昂,尼古拉; 维尔特里,皮尔弗兰切斯科; Zangari,Jessica:增强魔术集与本体论推理的应用(2019)