Metric Pomset Semantics for a Concurrnt Language with Recursion.
J. W. de BakkerJ. H. A. WarmerdamPublished in: Semantics of Systems of Concurrent Processes (1990)
Keyphrases
- logical language
- intended meaning
- specification language
- programming language
- highly expressive
- definition language
- operational semantics
- metric space
- logic programming language
- model theoretic
- denotational semantics
- formal language
- conditional logic
- action language
- conceptual graphs
- semantic information
- formal semantics
- metric learning
- logic programming
- natural language
- deductive databases
- complex objects
- semantic representations
- default reasoning
- fixed point semantics
- multiple inheritance
- database query languages
- proof theory
- distance function
- semantically equivalent
- language learning
- evaluation metrics
- disjunctive logic programming
- speech acts
- rule language
- modal operators
- distance metric
- rule engine
- distance measure
- description logics