STEM: A Scheme for Two-phase Evaluation of Majority Logic.

Meghna G. Mankalale Zhaoxin Liang Sachin S. Sapatnekar

Published in: CoRR (2016)

Keyphrases

automated reasoning
logic programming
evaluation model
evaluation process
knowledge base
learning scheme
information retrieval
artificial intelligence
multiscale
expert systems
modal logic
evaluation method
classification scheme