Keyphrases
- multi valued
- logic programming
- modal logic
- classical logic
- website
- predicate logic
- defeasible logic
- computational properties
- logical framework
- content analysis
- sound and complete axiomatization
- delay insensitive
- proof theory
- epistemic logic
- digital circuits
- database
- expert systems
- natural language
- bayesian networks
- case study
- e learning
- genetic algorithm
- data sets