Class GroundedReasoner


  • public class GroundedReasoner
    extends java.lang.Object
    the grounded extension of bbase is the least fixed point of the characteristic function.
    Author:
    Lars Bengel