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.
- 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
- Example that uses the Agent Communication Language:
ACL.e(save the file and change from ''.txt'' to ''.e'')
ACL_output.txt
- Running example in the paper (the English Auction):
Auction.e(save the file and change from ''.txt'' to ''.e'')
Auction_output.txt