Keyphrases
- logic programming
- modal logic
- multi valued
- deontic logic
- sound and complete axiomatization
- case study
- classical logic
- automated reasoning
- delay insensitive
- formal theory
- predicate logic
- information systems
- neural network
- data sets
- probabilistic logic
- logical framework
- probability theory
- inference rules
- bayesian networks
- proof theory
- machine learning