Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments.
Danny De SchreyeRobert GlückJesper JørgensenMichael LeuschelBern MartensMorten Heine SørensenPublished in: J. Log. Program. (1999)
Keyphrases
- computational complexity
- computationally efficient
- control method
- orders of magnitude
- information retrieval
- learning algorithm
- artificial intelligence
- image processing
- significant improvement
- machine learning algorithms
- data mining algorithms
- times faster
- partial deduction
- databases
- optimal control
- graph theory
- theoretical analysis
- information systems