Tabular Techniques for MV Logic.
Dragan JankovicRadomir S. StankovicRolf DrechslerPublished in: ACS (2001)
Keyphrases
- classical logic
- multi valued
- artificial intelligence
- social networks
- logic programming
- motion vectors
- linear logic
- asynchronous circuits
- defeasible logic
- delay insensitive
- natural deduction
- dynamic logic
- deontic logic
- epistemic logic
- formal theory
- predicate logic
- neural network
- automated reasoning
- modal logic
- machine learning