Constructive negation without subsidiary trees.
Edelmira PasarellaElvira PinoFernando OrejasPublished in: WFLP (2000)
Keyphrases
- logic programs
- logic programming
- decision trees
- deductive databases
- neural network
- databases
- computer vision
- tree models
- expressive power
- compact representations
- tree automata
- fixpoint
- classification trees
- tree structures
- integrity constraints
- first order logic
- tree structure
- hidden markov models
- multiresolution
- case study
- genetic algorithm