Login / Signup

Rules for Translating Interaction Protocols into a B Formal Representation.

Hind FadilJean-Luc Koning
Published in: IAT (2005)
Keyphrases
  • formal representation
  • knowledge representation
  • interaction protocols
  • knowledge base
  • association rules
  • agent systems
  • multiagent systems
  • conceptual graphs
  • artificial intelligence
  • general purpose