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

R. Caruana, Y. Lou, J. Gehrke, P. Koch, M. Sturm et al., Intelligible models for healthcare: Predicting pneumonia risk and hospital 30-day readmission, Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, ser. KDD '15, pp.1721-1730, 2015.

,

B. Letham, C. Rudin, T. H. Mccormick, and D. Madigan, An interpretable stroke prediction model using rules and bayesian analysis, Proceedings of the 17th AAAI Conference on Late-Breaking Developments in the Field of Artificial Intelligence, ser. AAAIWS'13-17, pp.65-67, 2013.

B. Ustun and C. Rudin, Supersparse linear integer models for optimized medical scoring systems, Mach. Learn, vol.102, issue.3, pp.349-391, 2016.

A. Karpathy and L. Fei-fei, Deep visual-semantic alignments for generating image descriptions, IEEE Trans. Pattern Anal. Mach. Intell, vol.39, issue.4, pp.664-676, 2017.

K. Xu, J. L. Ba, R. Kiros, K. Cho, A. Courville et al., Show, attend and tell: Neural image caption generation with visual attention, Proceedings of the 32Nd International Conference on International Conference on Machine Learning, vol.37, pp.2048-2057, 2015.

D. Baehrens, T. Schroeter, S. Harmeling, M. Kawanabe, K. Hansen et al., How to explain individual classification decisions, J. Mach. Learn. Res, vol.11, pp.1803-1831, 2010.

M. W. Craven and J. W. Shavlik, Extracting tree-structured representations of trained networks, Proceedings of the 8th International Conference on Neural Information Processing Systems, ser. NIPS'95, pp.24-30, 1995.

M. T. Ribeiro, S. Singh, and C. Guestrin, why should I trust you?": Explaining the predictions of any classifier, Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pp.1135-1144, 2016.

S. M. Lundberg and S. Lee, A unified approach to interpreting model predictions, Proceedings of the 31st International Conference on Neural Information Processing Systems, ser. NIPS'17, pp.4768-4777, 2017.

S. O. Kuznetsov, Machine learning on the basis of formal concept analysis, Automation and Remote Control, vol.62, issue.10, pp.1543-1564, 2001.

J. Poelmans, D. I. Ignatov, S. O. Kuznetsov, and G. Dedene, Review: Formal concept analysis in knowledge processing: A survey on applications, Expert Syst. Appl, vol.40, issue.16, pp.6538-6560, 2013.

B. References-references-galitsky and . Gabor-dobrocsi, Inferring the semantic properties of sentences by mining syntactic parse trees, Data & Knowledge Engineering, pp.81-82, 2012.

B. Galitsky, Matching parse thickets for open domain question answering. Data & Knowledge Engineering, vol.107, pp.24-50, 2017.

J. A. Robinson, A machine-oriented logic based on the resolution principle, Journal of the Association for Computing Machinery, vol.12, pp.23-41, 1965.

G. D. Plotkin, A note on inductive generalization, Machine Intelligence, vol.5, pp.153-163, 1970.

R. Khardon and M. Arias, The subsumption lattice and query learning, Journal of Computer and System Sciences. v 72, vol.1, pp.72-94, 2006.

T. Mikolov, K. Chen, ;. G. Corrado, ;. Dean, and . Jeffrey, Computing numeric representations of words in a high-dimensional space, US Patent, vol.9, p.37, 2015.

D. Marcu, Rhetorical Parsing of Unrestricted Texts, Computational Linguistics V, vol.2, p.3, 2000.

A. Ettinger, S. Rao, H. Daumé, I. , and E. Bender, Towards Linguistically Generalizable NLP Systems: A Workshop and Shared Task, EMNLP, 2017.

. Kovalerchuk and M. Kovalerchuk, Toward Virtual Data Scientist with Visual Means, 2017.

T. Makhalova, D. Ilvovsky, and B. Galitsky, Pattern Structures for News Clustering. FCA4AI@ IJCAI, pp.35-42

B. Ganter and S. O. Kuznetsov, Pattern Structures and Their Projections. ICCS 2001, vol.2120, pp.129-142

S. O. Kuznetsov, Fitting Pattern Structures to Knowledge Discovery in Big Data, ICFCA, vol.7880, pp.254-266, 2013.

S. O. Kuznetsov, ;. J. Steup, and M. , References 1. Ichikawa, Scalable Knowledge Discovery in Complex Data with Pattern Structures. PReMI'2013, vol.8251, pp.30-41, 2013.

E. L. Gettier, Is Justified True Belief Knowledge?, Analysis, vol.23, issue.6, p.121123, 1963.
URL : https://hal.archives-ouvertes.fr/halshs-01439314

G. Ryle, Knowing How and Knowing That: The Presidential Address, Proceedings of the Aristotelian Society, vol.46, pp.1945-1991

E. Nagel and M. R. Cohen, An Introduction to Logic and Scientific Method, 1934.

G. Jakus, Concepts, Ontologies and Knowledge Representation, 2013.

A. Abraham and C. Grosan, Intelligent Systems : A Modern Approach, 2011.

, Foundations of Knowledge Representation and Reasoning, 1994.

T. R. Gruber, Toward principles for the design of ontologies used for knowledge sharing?, International Journal of Human-Computer Studies, vol.43, issue.5-6, pp.907-928, 1995.

S. Fuller and . Post-truth, Knowledge as a Power Game, 2018.

G. Sundholm, The Neglect of Epistemic Considerations in Logic: the Case of Epistemic Assumptions, Topoi, vol.38, issue.3, pp.551-559, 2018.

D. Prawitz, On the Idea of the General Proof Theory, Synthese, vol.27, issue.1-2, pp.63-77, 1974.

A. Tarski, On the Concept of Logical Consequence, Logic, Semantics, Metamathematics, pp.409-420, 1983.

B. Smith, Truthmaker realism, Australasian Journal of Philosophy, vol.77, issue.3, pp.274-291, 1999.

S. Artemov and . Fitting, Justification Logic: Reasoning with Reasons, 2019.

, Advances in Proof-Theoretic Semantics, 2015.

P. Martin-löf, Intuitionistic Type Theory, BIBLIOPOLIS, 1984.

, Univalent Foundations Program: Homotopy Type Theory, IAS Princeton, 2013.

A. Rodin, Models of HoTT and the Constructive View of Theories, Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts, pp.189-220, 2019.

J. Strom, Modern Classical Homotopy Theory, 2011.

A. Rodin, Venus Homotopically, IfCoLog Journal of Logics and their Applications, vol.4, issue.4, pp.1427-1446, 2017.

D. R. Grayson, An introduction to univalent foundations for mathematicians, Bulletin of the American Mathematical Society, vol.55, 2017.

C. Szegedy, Intriguing Properties of Neural Networks, p.6199, 2013.

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

S. O. Kuznetsov, A Fast Algorithm for Computing all Intersections of Objects in a Finite Semi-Lattice, Autom. Doc. Math. Linguist, vol.27, issue.5, pp.11-21, 1993.

S. O. Kuznetsov, Complexity of Learning in Concept Lattices from Positive and Negative Examples, Discrete Applied Mathematics, issue.142, pp.111-125, 2004.

S. O. Kuznetsov, Machine Learning and Formal Concept Analysis, Proc. 2nd International Conference on Formal Concept Analysis: Springer LNAI, vol.2961, pp.287-312

T. P. Makhalova and S. O. Kuznetsov, On Overfitting of Classifiers Making a Lattice, Proc. 14th International Conference on Formal Concept Analysis: Springer LNAI, vol.10308, pp.184-197

D. V. Vinogradov and . Markov, Chain Approach to Random Generation of Formal Concepts, Proceedings of the Workshop Formal Concept Analysis Meets Information Retrieval (FCAIR 2013): CEUR Workshop Proceedings, vol.977, pp.127-133

D. V. Vinogradov, Accidental Formal Concepts in the Presence of Counterexamples, Proceedings of International Workshop on Formal Concept Analysis for Knowledge Discovery, pp.104-112, 1921.

K. V. Vorontsov and A. Ivahnenko, Tight Combinatorial Generalization Bounds for Threshold Conjunction Rules, Proceedings of 4th International Conference on Pattern Recognition and Machine Intelligence, pp.66-73, 2011.

B. Ganter and R. Wille, Formal Concept Analysis, 1999.

B. Ganter and S. Kuznetsov, , 2000.

M. Kaytoue, S. Duplessis, S. O. Kuznetsov, and A. Napoli, Two FCA-Based Methods for Mining Gene Expression Data, ICFCA 2009, vol.5548, pp.2511-266, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00600200

S. A. Nersisyan, V. V. Pankratieva, V. M. Staroverov, and V. E. Podolskii, A Greedy Clustering Algorithm Based on Interval Pattern Concepts and the Problem of Optimal Box Positioning, Journal of Applied Mathematics, 2017.

V. Barmin, ,. Sadovnichy, M. Sokolov, A. Amiraliev, and O. Pikin, An original device for intraoperative detection of small indeterminate nodules, European Journal of Cardio-thoracic Surgery, vol.46, issue.6, pp.1027-1031, 2014.

J. Barretina, G. Caponigro, and N. Stransky, The Cancer Cell Line Encyclopedia enables predictive modelling of anticancer drug sensitivity, Nature, vol.483, issue.7391, pp.603-607, 2012.

. R-core-team, R: A language and environment for statistical computing. R Foundation for Statistical Computing, 2018.

I. I. Wistuba, A. F. Gazdar, and J. D. Minna, Molecular genetics of small cell lung carcinoma, Seminars in Oncology, vol.28, issue.2, pp.3-13, 2001.

J. P. Stone and D. D. Wagner, P-selectin mediates adhesion of platelets to neuroblastoma and small cell lung cancer, The Journal of Clinical Investigation, vol.92, issue.2, 1993.

P. Gupta and N. Mckeown, Classifying packets with hierarchical intelligent cuttings, Ieee Micro, vol.20, issue.1, pp.34-41, 2000.

S. Singh, F. Baboescu, G. Varghese, and J. Wang, Packet classification using multidimensional cutting, Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications, pp.213-224, 2003.

K. Kogan, S. I. Nikolenko, O. Rottenstreich, W. Culhane, and P. Eugster, Exploiting order independence for scalable and expressive packet classification, IEEE/ACM Transactions on Networking, vol.24, issue.2, pp.1251-1264, 2015.

K. Kogan, S. Nikolenko, P. Eugster, and E. Ruan, Strategies for mitigating TCAM space bottlenecks, IEEE 22nd Annual Symposium on High-Performance Interconnects, pp.25-32, 2014.

B. Ganter and S. Kuznetsov, Pattern Structures and Their Projections, Proc. 9th Int. Conf. on Conceptual Structures, vol.2120, pp.129-142, 2001.

M. Kaytoue, S. O. Kuznetsov, A. Napoli, and S. Duplessis, Mining gene expression data with pattern structures in formal concept analysis, Information Sciences, vol.181, issue.10, pp.1989-2001, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00541100

S. O. Kuznetsov, Learning of simple conceptual graphs from positive and negative examples, European Conference on Principles of Data Mining and Knowledge Discovery

. Springer, , pp.384-391, 1999.

S. O. Kuznetsov, Machine learning on the basis of formal concept analysis, Automation and Remote Control, vol.62, issue.10, pp.1543-1564, 2001.

V. K. Finn, Plausible reasoning in systems of JSM type, Itogi Nauki i Tekhniki, Seriya Informatika, 1991.

L. Breiman, J. H. Friedman, R. A. Olshen, and C. J. Stone, Classification and regression trees, p.432, 1984.

, ClassBench: A packet classification benchmark