A Logical Framework for Modeling and Reasoning About the Evolution of Requirements.

Didar Zowghi Ray Offen

Published in: RE (1997)

Keyphrases

logical framework
inference rules
reasoning tasks
normative systems
linear logic
supervised learning
belief revision
epistemic logic
higher order logic
argumentation frameworks