A bisimulation-based semantic theory of Safe Ambients.
Massimo MerroMatthew HennessyPublished in: ACM Trans. Program. Lang. Syst. (2006)
Keyphrases
- natural language
- semantic representation
- theoretical basis
- semantic web
- semantic description
- semantic concepts
- theoretical framework
- databases
- case study
- expert systems
- rough sets
- social networks
- artificial intelligence
- rough set theory
- semantic similarity
- semantic network
- context dependent
- semantic analysis
- information retrieval
- neural network
- data sets