Formal Concept Analysis with Many-sorted Attributes

Robert E. Kent, John Brady

This paper unites two problem-solving traditions in computer science: (1) constraint-based reasoning, and (2) formal concept analysis. For basic definitions and properties of netwo…