Login / Signup

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

Chiara Di FrancescomarinoChiara GhidiniSergio TessarisItzel Vázquez Sandoval
Published in: ICSOC Workshops (2014)
Keyphrases