Examples used to test the axioms described in the paper:
Nicoletta Fornara and Marco Colombetti, Specifying Artificial Institutions in the Event Calculus (Chapter XIV).
In V. Dignum editor, Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models,
IGI Global, pages 335-366 ISBN: 1-60566-256-9, March 2009.

  1. Examples with temporal proposition (mode Exist), evaluated temporal proposition, and commitment axioms:
    TPExist.e(save the file and change exstension from ''.txt'' to ''.e'') TPExist_output.txt
    TPExistComm.e(save the file and change exstension from ''.txt'' to ''.e'') TPExistComm_output.txt
  2. Example that uses the Agent Communication Language:
    ACL.e(save the file and change from ''.txt'' to ''.e'') ACL_output.txt

  3. Running example in the paper (the English Auction):
    Auction.e(save the file and change from ''.txt'' to ''.e'') Auction_output.txt