Login / Signup
On the equivalence of state transformer semantics and predicate transformer semantics.
Klaus Keimel
Published in:
CoRR (2014)
Keyphrases
</>
formal semantics
fuzzy logic
high voltage
power system
logic programming
data sets
semantic representation
semantic information
hidden markov models
expert systems
natural language
fault diagnosis
default reasoning
knowledge base
neural network
model theoretic
database
partial discharge