Reasoning agents in dynamic domains (2000)

by C Baral, M Gelfond
Venue:In Workshop on Logic-Based Artificial Intelligence