Weka-SAT: A Hierarchical Context-Based Inference Engine to Enrich Trajectories with Semantics.
Bruno MorenoAmílcar Soares JúniorValéria Cesário TimesPatrícia C. A. R. TedescoStan MatwinPublished in: Canadian Conference on AI (2014)
Keyphrases
- inference engine
- knowledge representation language
- rule base
- knowledge base
- expert systems
- knowledge representation
- knowledge based systems
- logic programming
- backward chaining
- satisfiability problem
- naive bayes
- artificial neural networks
- sat solvers
- information retrieval
- knowledge structures
- blackboard architecture
- formal semantics
- decision trees
- learning algorithm