Abductive Reasoning over Temporal Specifications of Objects.

Paula Gouveia, Cristina Sernadas

Browse the full AiML paper archive.