Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque. On the Semantics of Deliberation in Indigolog - from Theory to Implementation. Annals of Mathematics and Artificial Intelligence, 41(2-4):259-299, 2004. [doi]
Abstract is missing.