Spatial Reasoning about String Loops and Holes in Temporal ASP.

Pedro Cabalar, Paulo E. Santos

Browse the full KR paper archive.