Reasoning on Incomplete Execution Traces Using Action Languages - A First Report.

Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris, Itzel Vzquez Sandoval

Browse the full ICSOC paper archive.