Keyphrases
- logic programming
- variable selection
- modal logic
- multi valued
- real time
- predicate logic
- relevant variables
- case study
- random variables
- linear logic
- classical logic
- automated reasoning
- sound and complete axiomatization
- propositional variables
- proof theory
- truth values
- set theory
- logical framework
- conditional probabilities
- website
- information systems
- neural network
- data sets