A wirelessly powered system with charge recovery logic.

Leo Filippini Emre Salman Baris Taskin

Published in: ICCD (2015)

Keyphrases

proof theory
logic programming
automated reasoning
recovery algorithm
knowledge representation
linear logic
classical logic
deductive reasoning
databases
failure recovery
image recovery
predicate logic
defeasible logic
logical framework
modal logic
multiscale
case study
decision trees