Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic.

David Billington, Vladimir Estivill-Castro, Ren Hexel, Andrew Rock

Browse the full ENASE paper archive.