Keyphrases
- logic programming
- real world
- artificial intelligence
- data mining
- real images are presented
- modal logic
- classical logic
- multi valued
- proof theory
- digital circuits
- data sets
- automated reasoning
- search engine
- computational properties
- defeasible logic
- logic programs
- predicate logic
- logic synthesis
- machine learning
- deductive reasoning