Unification associative dans le langage de programmation grammaticale logique AFFLOG.
Sadeph SaidiPublished in: JFPL (1992)
Keyphrases
- associative memory
- higher order
- spreading activation
- theorem proving
- associative search
- databases
- theorem prover
- artificial intelligence
- computer vision
- genetic algorithm
- human memory
- digital libraries
- probabilistic model
- management system
- information retrieval systems
- information retrieval
- machine learning
- data mining
- neural network
- equational theories
- data sets