Logic emulation in the megaLUT era - Moore's Law beats Rent's Rule.
Mike ButtsPublished in: FPT (2014)
Keyphrases
- autoepistemic logic
- rule engine
- modal logic
- classical logic
- active rules
- multi valued
- automated reasoning
- rule sets
- logic programming
- rule learning
- association rules
- artificial intelligence
- logical framework
- data sets
- formal theory
- predicate logic
- logical rules
- sound and complete axiomatization
- rule induction
- big data
- classification rules
- data analysis
- multi agent systems
- genetic algorithm