A Proof System in PADS.

Xinghua Yao Min Zhang Yixiang Chen

Published in: ICTAC (2013)

Keyphrases

evolutionary algorithm
modal logic
intuitionistic logic
genetic algorithm
clause learning
neural network
machine learning
decision making
image processing
expert systems
classical logic