A Fully Abstract Symbolic Semantics for Psi-Calculi
Magnus JohanssonBjörn VictorJoachim ParrowPublished in: SOS (2009)
Keyphrases
- high level
- vague concepts
- formal semantics
- propositional dynamic logic
- logic programming
- graphical representation
- semantic information
- owl ontologies
- higher level
- spatial relations
- symbolic description
- domain knowledge
- low level
- fuzzy logic
- relational databases
- logical framework
- connectionist models
- database systems
- neural network