Login / Signup
Inductive Assertions for Analyzing Reachability Sets.
Horst Müller
Published in:
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)
Keyphrases
</>
inductive learning
state space
databases
knowledge base
face recognition
inductive inference
inductive concept learning
database
inductive reasoning
version spaces
rule learning
domain knowledge
artificial neural networks
expert systems
objective function
reinforcement learning
machine learning
neural network