The Research and Application of Diagnosis Reasoning Based-on Forgetting in Logic Programs

Funding Source: The Stadholder Fund of Guizhou Province
Project Number: (2012)62
Amount: 55,000 Yuan
Duration: 2013.01 - 2015.12

Project Description

The research and application of diagnosis reasoning based-on forgetting in logic programs.