A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations.

Yuichi Goto, Takahiro Koh, Jingde Cheng

Browse the full KES paper archive.