Knowledge equivalence in combined action theories (2002)

by R P A Petrick, H Levesque
Venue:In Proc. of KR 2002