Asynchronous two-level logic of reduced cost.

Igor Lemberski Petr Fiser

Published in: DDECS (2009)

Keyphrases

delay insensitive
asynchronous circuits
logic programming
data sets
online discussion
expected cost
automated reasoning
total cost
cost sensitive
multi valued
defeasible logic
cost reduction
epistemic logic
deontic logic
expressive power
proof theory
information systems