A Completeness Result for E-unification Algorithms Based on Conditional Narrowing.
Elio GiovannettiCorrado MoisoPublished in: Foundations of Logic and Functional Programming (1986)
Keyphrases
- significant improvement
- learning algorithm
- recently developed
- computationally expensive
- social networks
- computational complexity
- computational efficiency
- theoretical analysis
- worst case
- computational cost
- conditional probabilities
- combinatorial optimization
- computationally efficient
- probabilistic model
- data sets
- evolutionary algorithm
- data structure
- search engine
- machine learning