A deidealisation semantics for KAOS.

Published in: SAC (2010)

Keyphrases

formal semantics
goal oriented
logic programming
data sets
semantic information
logical language
real time
semantic representation
search algorithm
object oriented