阿萨德

此软件的关键字
zbMATH中的参考文献(参考
168篇文章, 1标准件 )
Fandinno,Jorge;Schulz,Claudia:回答集编程中的“为什么”——解释方法调查(2019) Gelfond,Michael;Zhang,Yuanlin:基于ASP的语言中的恶性循环原理、聚合和集合的形成(2019) Lifschitz,Vladimir:答案集编程(2019) Sharma,Arpit:在Winograd schema challenge中使用答案集编程进行常识推理(2019) Müller,Peter(编辑);Schaefer,Ina(编辑):原则性软件开发。 在海夫特60岁生日之际为他写的文章。 2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文 Alviano,Mario:通过不满足核心分析在命题限制中的模型枚举(2017) Lefèvre,Claire;Béatrix,Christopher;Stéphan,Igor;Garcia,Laurent:《答案集计算的一阶前向链接方法》(2017) Lierer,Yuliya:什么是命题满足性的答案集编程(2017) 张衡;张燕:一般稳定模型语义下逻辑程序的表现性(2017) 周毅;张燕:一阶逻辑程序的递进语义学(2017) 阿利奥特,让-马克;德莫洛贝,罗伯特;迪盖兹,马丁尼;法里尼亚斯·德尔塞罗,路易斯;法夫尔,吉勒;法耶,让-查尔斯;奥贝德,纳吉;索德特,奥利维尔:《生物系统的时间逻辑建模》(2016) Alliot,Jean-Marc;Diéguez,Martín;Fariñas del Cerro,Luis:代谢途径作为时间逻辑程序(2016) Calimeri,Francesco;Gebser,Martin;Marco Maratea;Ricca,Francesco:第五届答案集编程竞赛的设计和结果(2016) Patrick Doherty;Kvarnström,Jonas;Szałas,Andrzej:Kleene答案集程序的迭代支持公式和强支持模型(扩展摘要)(2016) Adrian Balint;Anton Belov;Matti Järvisalo;Carsten Sinz:2012年SAT挑战赛解算器竞赛概述与分析(2015) ioport公司 Bogaerts,Bart;Van den Broeck,Guy:使用近似不动点理论进行逻辑程序的知识编译(2015) Fichte,Johannes Klaus;Szeider,Stefan:可处理答案集编程的后门(2015) Fichte,Johannes K.;Szeider,Stefan:《析取逻辑程序的正常性后门》(2015) Daan Fierens;Guy;Renkens,Joris;Shterionov,Dimitar;Gutmann,Bernd;Thon,Ingo;Janssens,Gerda;De Raedt,Luc:使用加权布尔公式在概率逻辑程序中的推理和学习(2015) Gebser,Martin;Janhunen,Tomi;Jost,Holger;Kaminski,Roland;Schaub,Torsten:扩展宇宙的ASP解决方案(2015)