DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.
Samson AbramskyDominic HorsmanPublished in: QPL (2015)
Keyphrases
- formal semantics
- logical language
- formal language
- programming language
- operational semantics
- modelling language
- modeling language
- speech acts
- programming environment
- er model
- object oriented programming
- logical reasoning
- database
- game theory
- ontology languages
- high level
- theorem prover
- situation calculus
- expert systems
- database systems
- knowledge base
- artificial intelligence