Propositional dynamic logic for reasoning about first-class agent interaction protocols (2010)

by Tim Miller , Peter Mcburney
Venue:Computational Intelligence
Citations:2 - 2 self