Structural Operational Semantics for Kernel Andorra Prolog.
Seif HaridiCatuscia PalamidessiPublished in: PARLE (2) (1991)
Keyphrases
- operational semantics
- formal semantics
- mental states
- denotational semantics
- expert systems
- model theoretic
- declarative semantics
- programming language
- feature space
- data model
- logic programming
- activity diagrams
- kernel function
- speech acts
- constraint logic programming
- support vector
- case study
- artificial intelligence