Constructive Action Semantics for Core ML.
Jørgen IversenPeter D. MossesPublished in: IEE Proc. Softw. (2005)
Keyphrases
- maximum likelihood
- action descriptions
- action language
- logic programming
- formal semantics
- operational semantics
- databases
- object oriented data models
- semantic information
- human actions
- speech acts
- fluent calculus
- logical language
- model theoretic
- initial state
- specification language
- conceptual graphs
- deductive databases
- action recognition
- domain knowledge
- case study
- information systems