Compliance verification of agent interaction: a logic-based software tool (2006)

by M Alberti, M Gavanelli, E Lamma, F Chesani, P Mello, P Torroni
Venue:Applied Artificial Intelligence