Merged Logic and Memory Fabrics for AI Workloads.
Brian CraftonSamuel SpetalnickArijit RaychowdhuryPublished in: ASP-DAC (2021)
Keyphrases
- computational logic
- artificial intelligence
- formal logic
- case based reasoning
- logic programming
- database systems
- expert systems
- knowledge based systems
- memory requirements
- ai systems
- memory usage
- random access memory
- predicate logic
- logical framework
- main memory
- machine learning
- computer systems
- multi valued
- intelligent systems
- knowledge representation
- ai community
- databases
- memory space
- classical logic
- knowledge representation and reasoning
- computational intelligence
- intelligent behavior
- truth maintenance systems
- knowledge base