A cognitive approach of collaborative requirements validation based on action theory.

Sourour Maalem Nacereddine Zarour

Published in: Int. J. Inf. Commun. Technol. (2019)

Keyphrases

action theories
situation calculus
collaborative learning
reasoning about actions
initial state
database systems
integrity constraints