A new approach for selecting inputs of logic functions during debug.

Amir Masoud Gharehbaghi Masahiro Fujita

Published in: ISQED (2017)

Keyphrases

multi valued
predicate logic
artificial intelligence
logical framework
modal logic
database
real time
databases
social networks
information systems
website
logic programming
classical logic
epistemic logic