首页 /研究 /ASP Solving for Expanding Universes
OTHER

ASP Solving for Expanding Universes

Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub

发表年份
2015
引用次数
7

关键词

SoundnessComputer scienceModularity (biology)Simple (philosophy)Set (abstract data type)Completeness (order theory)Artificial intelligenceAnswer set programmingTheoretical computer scienceProcess (computing)

相关论文

查看 OTHER 分类全部论文