Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye
A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification
ICLP, 1996.
@inproceedings{JICSLP-1996-DeneckerBDPS,
author = "Marc Denecker and Kristof Van Belleghem and Guy Duchatelet and Frank Piessens and Danny De Schreye",
booktitle = "{Proceedings of the Joint International 13th Conference and Symposium on Logic Programming}",
isbn = "0-262-63173-3",
pages = "170--184",
publisher = "{MIT Press}",
title = "{A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification}",
year = 1996,
}