A Hierarchical Associative Memory Architecture for Logic Programming Unification.
Subash ShankarPublished in: ICLP/SLP (1988)
Keyphrases
- associative memory
- logic programming
- logic programs
- nonmonotonic reasoning
- deductive databases
- logic programming language
- knowledge representation language
- programming language
- answer set programming
- knowledge representation
- kohonen feature map
- inductive logic programming
- answer sets
- knowledge base
- neural network
- propositional variables
- default logic
- classical logic
- function symbols
- probabilistic reasoning
- artificial neural networks
- stable models
- neural network model
- computational logic
- background knowledge
- theorem prover
- classical first order logic
- linear logic
- defeasible argumentation
- database