Vol-2573⫷ Vol-2574 ⫸Vol-2575
urn:nbn:de:0074-2574-0


Vol-2574/short17⫷Vol-2574/paper4⫸Vol-2574/paper5
Hans WeigandJoost T. de Kruijff

Formalising Commitments Using the Event Calculus (full paper)