Assessing situation models with a lightweight formal method.

Vinicius M. Sobral, Joo Paulo A. Almeida, Patricia Dockhorn Costa

Browse the full CogSIMA paper archive.