Fast evaluations in product logic various pruning techniques.

Raed Basbous Tibor Tajti Benedek Nagy

Published in: FUZZ-IEEE (2016)

Keyphrases

predicate logic
classical logic
modal logic
multi valued
proof theory
computational properties
search space
automated reasoning
life cycle
genetic algorithm
production planning
data mining
logical framework
digital circuits
case study
epistemic logic
asynchronous circuits