Keyphrases
- symbolic representation
- high level
- modal logic
- proof theory
- predicate logic
- classical logic
- binary decision diagrams
- digital circuits
- multi valued
- logical framework
- machine learning
- defeasible logic
- automated reasoning
- probability theory
- multi party
- formal theory
- connectionist models
- inference rules
- logic synthesis
- sound and complete axiomatization