id: 01281200
dt: j
an: 01281200
au: Ganter, Bernhard
ti: Attribute exploration with background knowledge.
so: Theor. Comput. Sci. 217, No.2, 215-233 (1999).
py: 1999
pu: Elsevier Science Publishers, Amsterdam
la: EN
cc: 
ut: knowledge acquisition; formal concept analysis; clause; closure system
ci: 
li: doi:10.1016/S0304-3975(98)00271-0
ab: Summary: We give the mathematical theory of a simple knowledge acquisition
    procedure based on implications and counter examples, and show examples
    of application.
rv: