A fast logic simulator using a look up table cascade emulator.
Hiroki NakaharaTsutomu SasaoMunehiro MatsuuraPublished in: ASP-DAC (2006)
Keyphrases
- logic programming
- multi valued
- databases
- predicate logic
- modal logic
- database
- machine learning
- asynchronous circuits
- computer vision
- nonmonotonic logics
- hardware implementation
- logical framework
- classical logic
- computational properties
- sound and complete axiomatization
- epistemic logic
- defeasible logic
- knowledge representation
- image sequences
- case study
- genetic algorithm
- data sets