Keyphrases
- positive and negative
- high level
- modal logic
- positively correlated
- classical logic
- delay insensitive
- real time
- logic programming
- multi valued
- set theory
- abductive reasoning
- machine learning
- probabilistic logic
- artificial intelligence
- computational properties
- defeasible logic
- nonmonotonic logics
- predicate logic
- asynchronous circuits
- natural language descriptions
- neural network