@inproceedings{ferre00logical,
  abstract = {We propose a generalization of Formal Concept Analysis (FCA) in which
    sets of attributes are replaced by expressions of an almost arbitrary
    logic. We prove that all FCA can be reconstructed on this basis.
    We show that from any logic that is used in place of sets of attributes
    can be derived a contextualized logic that takes into account the
    formal context and that is isomorphic to the concept lattice. We
    then justify the generalization of FCA compared with existing extensions
    and in the perspective of its application to information systems.},
  author = {Ferr�, S. and Ridoux, O.},
  booktitle = {Int. Conf. Conceptual Structures},
  editor = {Mineau, G. and Ganter, B.},
  file = {iccs2000.pdf:http\://www.irisa.fr/lande/ferre/papers/iccs2000.pdf:PDF;iccs2000.ps.gz:http\://www.irisa.fr/lande/ferre/papers/iccs2000.ps.gz:PostScript},
  interhash = {8406cbdc6482927408148155ed6d7546},
  intrahash = {cdfe9d0e687cdc0103ad6a97d110a094},
  langue = {anglais},
  pages = {371--384},
  publisher = {Springer},
  refperso = {200009B},
  series = {LNCS 1867},
  title = {A Logical Generalization of Formal Concept Analysis},
  year = 2000
}

@article{stumme98knowledge,
  author = {Stumme, Gerd},
  comment = {alpha},
  interhash = {528149d6363f6c28046830cd1b8bb3e3},
  intrahash = {d03755fc571c2b7c0d2d6f6e600368f0},
  journal = {Zeitschrift für Semiotik},
  number = {3-4},
  pages = 424,
  title = {Knowledge, {L}ogic, {I}nformation. {C}onference {R}eport.},
  volume = 20,
  year = 1998
}

@inproceedings{ganter99contextual,
  author = {Ganter, Bernhard and Wille, Rudolf},
  booktitle = {ICCS},
  crossref = {conf/iccs/1999},
  date = {2002-01-03},
  editor = {Tepfenhart, William M. and Cyre, Walling R.},
  interhash = {5dd895985c69bee3cfa75237f271a5f2},
  intrahash = {b0378eeecd6e9969390303763eefa678},
  isbn = {3-540-66223-5},
  pages = {377-388},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Contextual Attribute Logic},
  url = {http://dblp.uni-trier.de/db/conf/iccs/iccs99.html#GanterW99},
  volume = 1640,
  year = 1999
}

@inproceedings{baader95computing,
  address = {Santa Cruz, USA},
  author = {Baader, Franz},
  booktitle = {Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, {KRUSE} 95},
  interhash = {5e293c4c3ef56d37a85ef222c14be3d6},
  intrahash = {5b19d5b4c170ca819c25d4e4e3379fa8},
  pages = {168--178},
  title = {Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology},
  url = {citeseer.ist.psu.edu/baader95computing.html},
  year = 1995
}

@book{boole1853investigation,
  author = {Boole, George},
  interhash = {d78d8dd7b5cb42f86e7cab4601301aed},
  intrahash = {1c8c27c217ba7d78579b7d6297fe2e48},
  note = {Also available from Dover, New York 1958, ISBN 0-486-60028-9.},
  title = {Investigation of The Laws of Thought On Which Are Founded the
Mathematical Theories of Logic and Probabilities},
  url = {http://www.gutenberg.org/etext/15114},
  year = 1853
}