A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification.

Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye

Browse the full ICLP paper archive.