Reasoning agents in dynamic domains. (2000)

by C Baral, M Gelfond
Venue:Logic-Based Artificial Intelligence.