Knowledge Equivalence in Combined Action Theories.

Ronald P. A. Petrick, Hector J. Levesque

Browse the full KR paper archive.