Home /Research /ASP Solving for Expanding Universes
OTHER

ASP Solving for Expanding Universes

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

Year
2015
Citations
7

Keywords

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

Related papers

Browse all OTHER papers