Programs allowing one to explore a concept lattice and its data.
Based on Rudolph et al.'s Membership Constraints in Formal Concept Analysis.
Implementation of the logic program described by Rudolph et al. in Membership Constraints in Formal Concept Analysis.
Alternative implementation, much more simple.
Implementation of algorithms described in Rudolph et al., using pyasp to call ASP for verification of concept existance.
navigation_classic.py, but with concept search function is implemented as a coroutine
allowing client code to easily plug any interface on the search.
navigation.py's coroutine to implement the search and concept, using a tkinter gui to
inform and request user about the constraints.