KROPS -- Knowledge Representation And Rules Synthesis
Abstract