Login / Signup
A short proof that adding some permutation rules to beta preserves SN
René David
Published in:
CoRR (2009)
Keyphrases
</>
logical rules
association rules
theorem proving
rule based systems
background knowledge
rule sets
artificial intelligence
website
learning classifier systems
domain knowledge
database
classification rules
theorem prover
domain specific
search algorithm
machine learning
real world