Threshold Logic in a Flash.

Ankit Wagle Gian Singh Jinghua Yang Sunil P. Khatri Sarma B. K. Vrudhula

Published in: ICCD (2019)

Keyphrases

modal logic
classical logic
logic programming
threshold selection
artificial intelligence
case study
automated reasoning
multi valued
computational properties
set theory
nonmonotonic logics
predicate logic
deontic logic
dynamic logic
proof theory
propositional dynamic logic