Sign in

Specialization of Interaction Protocols in a Temporal Action Logic.

Laura GiordanoAlberto MartelliCamilla Schwind
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
  • interaction protocols
  • communicative acts
  • multiagent systems
  • reasoning about actions
  • agent systems
  • data model
  • platform independent