Formalisation of a Production System Modelling Language The operational semantics of c Core.

Victor Bos J. J. T. Kleijn

Published in: Fundam. Informaticae (2000)

Keyphrases

production system
operational semantics
modelling language
formal semantics
multistage
multiprocessor architecture
first order logic
expert systems
theorem prover
modeling language
certainty factor
data model
production rules
multi agent
database
learning design
case study
artificial intelligence
databases