FuzzyDES or how DES Met Bousi-Prolog.
Pascual Julián IranzoFernando Sáenz-PérezPublished in: FUZZ-IEEE (2017)
Keyphrases
- logic programming
- prolog programs
- programming language
- expert systems
- knowledge representation
- abstract machine
- inference engine
- knowledge base
- neural network
- logic programs
- constraint logic programming
- functional programming
- feature space
- theorem proving
- machine learning
- semantically equivalent
- explanation based generalization
- databases