Subsumer: A Prolog theta-subsumption engine.
Jose SantosStephen MuggletonPublished in: ICLP (Technical Communications) (2010)
Keyphrases
- inference engine
- description logics
- logic programming
- np complete
- knowledge representation
- programming language
- expert systems
- prolog programs
- abstract machine
- knowledge base
- worst case
- functional programming
- retrieval engine
- air fuel ratio
- machine learning
- semantically equivalent
- logic programming language
- rule base
- general purpose
- hidden markov models
- multiscale
- computer vision