Keyphrases
- classical logic
- logic programming
- proof theory
- information systems
- multi valued
- programming language
- propositional dynamic logic
- deductive reasoning
- predicate logic
- nonmonotonic logics
- defeasible logic
- automated reasoning
- real time
- data structure
- similarity measure
- case study
- search engine
- artificial intelligence
- information retrieval
- neural network
- data sets