Capacitive-Based Adiabatic Logic.
Ayrat GalisultanovYann PerrinHervé FanetGaël PillonnetPublished in: RC (2017)
Keyphrases
- multi valued
- sound and complete axiomatization
- logic programming
- computer vision
- modal logic
- automated reasoning
- artificial intelligence
- set theory
- bayesian networks
- search algorithm
- relational databases
- probabilistic logic
- computational properties
- nonmonotonic logics
- predicate logic
- asynchronous circuits
- intuitionistic logic
- data sets