S. Ben-david and R. Ben-eliyahu-zohary, A modal logic for subjective default reasoning, Artificial Intelligence, vol.116, issue.1-2, pp.217-236, 2000.
DOI : 10.1016/S0004-3702(99)00081-8

B. Bollobás, Combinatorics: set systems, hypergraphs, families of vectors, and combinatorial probability, 1986.

P. Brézellec and H. Soldano, Tabata: a learning algorithm performing a bidirectional search in a reduced search space using a tabu stratégie, Eur. Conf. in Art. Int., ECAI-98, pp.420-424, 1998.

N. Caspard and B. Monjardet, The lattices of closure systems, closure operators, and implicational systems on a finite set: a survey, Discrete Applied Mathematics, vol.127, issue.2, pp.241-269, 2003.
DOI : 10.1016/S0166-218X(02)00209-3
URL : https://hal.archives-ouvertes.fr/hal-00095569

G. Cattaneo and D. Ciucci, Lattices with interior and closure operators and abstract approximation spaces. T. Rough Sets, pp.67-116, 2009.

L. Chaudron and N. Maille, Generalized Formal Concept Analysis, ICCS, pp.357-370, 2000.
DOI : 10.1007/10722280_25

F. Brian and . Chellas, Modal Logic: an introduction, 1980.

B. Davvaz and M. Mahdavipour, Rough approximations in a general approximation space and their fundamental properties, International Journal of General Systems, vol.16, issue.3, pp.373-386, 2008.
DOI : 10.1016/S0020-0255(03)00056-2

E. Diday and R. Emilion, Maximal and stochastic Galois lattices, Discrete Applied Mathematics, vol.127, issue.2, pp.271-284, 2003.
DOI : 10.1016/S0166-218X(02)00210-X

R. Dionne, E. Mays, and F. J. Oles, The equivalence of model-theoretic and structural subsumption in description logics, Int. Joint Conf. on Art. Int. (IJCAI), pp.710-717, 1993.

M. Erné, J. Koslowski, A. Melton, and G. E. Strecker, A Primer on Galois Connections, Annals of the New York Academy of Sciences, vol.12, issue.1 Papers on Gen, pp.103-125, 1993.
DOI : 10.1016/0304-3975(78)90040-3

S. Ferré, Negation, Opposition, and Possibility in Logical Concept Analysis, Int. Conf. Formal Concept Analysis, pp.130-145, 2006.
DOI : 10.1007/11671404_9

S. Ferré and O. Ridoux, Introduction to logical information systems, Information Processing & Management, vol.40, issue.3, pp.383-419, 2004.
DOI : 10.1016/S0306-4573(03)00018-9

J. Ganascia, TDIS: an algebraic formalization, Int. Joint Conf. on Art. Int. (IJCAI), pp.1008-1013, 1993.

B. Ganter and R. Wille, Formal Concept Analysis: Mathematical Foundations, 1999.

B. Ganter and S. O. Kuznetsov, Pattern Structures and Their Projections, ICCS-01, pp.129-142, 2001.
DOI : 10.1007/3-540-44583-8_10

J. L. Guigues and V. Duquenne, Famille non redondante d'implications informatives résultant d'un tableau de données binaires, Mathématiques et Sciences humaines, vol.95, pp.5-18, 1986.

J. Michelliquì-ere and . Sallantin, Structural machine learning with galois lattice and graphs, ICML '98: Proceedings of the Fifteenth International Conference on Machine Learning, pp.305-313, 1998.

N. Pasquier, R. Taouil, Y. Bastide, G. Stumme, and L. Lakhal, Generating a Condensed Representation for Association Rules, Journal of Intelligent Information Systems, vol.8, issue.6, pp.29-60, 2005.
DOI : 10.1007/s10844-005-0266-z
URL : https://hal.archives-ouvertes.fr/hal-00363015

N. Pernelle, M. Rousset, H. Soldano, and V. Ventos, ZooM: a nested Galois lattices-based system for conceptual clustering, Journal of Experimental & Theoretical Artificial Intelligence, vol.5, issue.2-3, pp.157-187, 2002.
DOI : 10.1023/A:1022611825350

L. Saitta and J. Zucker, A model of abstraction in visual perception, Applied Artificial Intelligence, vol.19, issue.8, pp.761-776, 2001.
DOI : 10.1023/A:1022622132310
URL : https://hal.archives-ouvertes.fr/hal-01184259

H. Soldano and . Umr-cnrs, A modal view on abstract learning and reasoning, 2010.

H. Soldano, V. Ventos, M. Champesme, and D. Forge, Incremental Construction of Alpha Lattices and Association Rules, Knowledge-Based and Intelligent Information and Engineering Systems, pp.351-360, 2010.
DOI : 10.1007/978-3-642-15390-7_36

P. Valtchev, D. Grosser, C. Roume, and M. R. Hacene, Galicia: An open platform for lattices, Using Conceptual Structures: Contributions to the 11th Intl. Conference on Conceptual Structures (ICCS'03, pp.241-254, 2003.

P. Valtchev, R. Missaoui, and R. Godin, Formal Concept Analysis for Knowledge Discovery and Data Mining: The New Challenges, Lecture Notes in Computer Science, vol.2961, pp.352-371, 2004.
DOI : 10.1007/978-3-540-24651-0_30

P. Valtchev, R. Missaoui, R. Godin, and M. Meridji, Generating frequent itemsets incrementally: two novel approaches based on Galois lattice theory, Journal of Experimental & Theoretical Artificial Intelligence, vol.29, issue.2-3, pp.115-142, 2002.
DOI : 10.1016/S0012-365X(02)00349-7

V. Ventos, A deductive study of the c-classicde description logic, Description Logics, volume WS-96-05 of AAAI Technical Report, pp.192-196, 1996.

V. Ventos and H. Soldano, Alpha Galois Lattices: An Overview, Proceedings of ICFCA'05, pp.298-313, 2005.
DOI : 10.1007/978-3-540-32262-7_21
URL : https://hal.archives-ouvertes.fr/hal-00077387

Y. Y. Yao and T. Y. Lin, Generalization of rough sets using modal logics. Intelligent Automation and Soft Computing, an International Journal, vol.2, pp.103-120, 1996.