Hardware Implementation of Temporal Nonmonotonic Logics.
Insu SongGuido GovernatoriPublished in: Australian Conference on Artificial Intelligence (2006)
Keyphrases
- hardware implementation
- nonmonotonic logics
- default logic
- signal processing
- modal logic
- efficient implementation
- fpga implementation
- propositional logic
- image processing algorithms
- nonmonotonic reasoning
- temporal information
- software implementation
- dedicated hardware
- default theories
- hardware architecture
- temporal reasoning
- field programmable gate array
- hardware design
- inference rules
- formal specification
- case based reasoning
- defeasible logic
- parallel architecture
- first order logic