Logic Versus Sequential and Concurrent Net Behaviour.

Published in: J. Inf. Process. Cybern. (1990)

Keyphrases

logic programming
classical logic
logical framework
predicate logic
data structure
multi agent systems
modal logic
multi valued
database
bayesian networks
automated reasoning
probabilistic logic
defeasible logic
set theory
deontic logic
concurrent execution