• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A deidealisation semantics for KAOS.

Richard Banach
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