Coding tree languages based on lattice-valued logic.
Maryam GhoraniMohammad Mehdi ZahediPublished in: Soft Comput. (2017)
Keyphrases
- valued logic
- tree languages
- propositional logic
- classical logic
- fuzzy logic
- fuzzy sets
- first order logic
- multi valued
- logic programs
- truth values
- context free
- tree automata
- datalog programs
- automated reasoning
- genetic algorithm
- stable models
- pattern matching
- control system
- expert systems
- pattern recognition
- modal logic
- query language
- hidden markov models
- positive data
- query processing
- neural network