Formalising commitments using the event calculus

Joost de Kruijff*, Hans Weigand

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Original languageEnglish
Title of host publicationVMBO 2020
PublisherCEUR
Pages179-190
Volume2574
Publication statusPublished - 2020

Cite this