NCL+: Return-to-one Null Convention Logic.
Matheus T. MoreiraCarlos Henrique Menezes OliveiraRicardo C. PortoNey Laert Vilar CalazansPublished in: MWSCAS (2013)
Keyphrases
- modal logic
- multi valued
- classical logic
- predicate logic
- asynchronous circuits
- defeasible logic
- automated reasoning
- probabilistic logic
- sound and complete axiomatization
- data sets
- delay insensitive
- proof theory
- epistemic logic
- set theory
- logic programming
- query language
- artificial neural networks
- artificial intelligence
- databases