The state context property formalism: from concept theory to the semantics of music.
Tomas VelozPablo RazetoPublished in: Soft Comput. (2017)
Keyphrases
- conceptual model
- formal theory
- speech acts
- logical framework
- theoretical framework
- action theories
- formal semantics
- conceptual graphs
- closed world assumption
- abstract argumentation frameworks
- logical language
- situation calculus
- context sensitive
- formal model
- mathematical theory
- music retrieval
- context aware
- desirable properties
- conceptual framework
- computational properties
- general theory
- set theory
- contextual information
- highly expressive
- formal logic
- logic programming
- description logics