A Kleene-Presburgerian Approach to Linear Production Systems.

Jürgen Schäfer

Published in: ICALP (1988)

Keyphrases

production system
multistage
production process
propositional logic
multiprocessor architecture
expert systems
production rules
markov decision
control structure
certainty factor
production line
scheduling jobs
bayesian networks
knowledge base
pattern matching
first order logic
neural network