Keyphrases
- wordnet
- modal logic
- classical logic
- epistemic logic
- predicate logic
- multi valued
- defeasible logic
- computational properties
- logic synthesis
- proof theory
- asynchronous circuits
- deontic logic
- abductive reasoning
- multiword
- data sets
- probabilistic logic
- distinctive features
- probability theory
- artificial intelligence
- neural network