Towards a Formal Model of Narratives.

Louis Castricato Stella Biderman Rogelio E. Cardona-Rivera David Thue

Published in: CoRR (2021)

Keyphrases

formal model
formal models
predicate calculus
security properties
security patterns
machine learning
knowledge base
low cost
software engineering
goal oriented
probabilistic knowledge
requirements analysis