Login / Signup
Executing Specifications using Conditional Axioms.
Klaus Drosten
Published in:
ADT (1983)
Keyphrases
</>
formal specification
knowledge base
nonmonotonic inference
random field model
neural network
high level
delay insensitive
specification language
control flow
databases
written in natural language
multiscale
first order logic
modal logic
data flow
set theory
conditional logic
reactive systems
social networks