Partial logic knowledge representation door Thysse