On the semantics of deliberation in IndiGolog – From theory to implementation (2004)

by S Sardina, G De Giacomo, Y Lespérance, H J Levesque
Venue:Annals of Mathematics and Artificial Intelligence