Reasoning agents in dynamic domains (1994)

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