Keyphrases
- classical logic
- predicate logic
- logic programming
- multiple views
- modal logic
- decision trees
- asynchronous circuits
- data sets
- abductive reasoning
- formal theory
- digital circuits
- computational properties
- probabilistic logic
- multi valued
- evolutionary algorithm
- viewpoint
- similarity measure
- computer vision
- genetic algorithm
- machine learning
- data mining