A logic for nonterminating Golog programs. (2008)

by J Claßen, G Lakemeyer
Venue:In Proc. of KR’08,