Hard and Soft Logic Trade-offs for Multipliers in VTR.

Georgiy Krylov Jean-Philippe Legault Kenneth B. Kent

Published in: DSD (2020)

Keyphrases

trade off
logic programming
multi valued
classical logic
modal logic
predicate logic
automated reasoning
proof theory
data sets
search engine
lower bound
computational properties
defeasible logic
nonmonotonic logics
epistemic logic
class probability estimation