Error Injection & Correction: An efficient formal logic restructuring algorithm.

Ching-Yi Huang Daw-Ming Lee Chun-Chi Lin Chun-Yao Wang

Published in: ISOCC (2012)

Keyphrases

artificial intelligence
object oriented
general purpose
formal logic
online learning