Formal Concept Analysis, Mathematical Foundations, 1999. ,
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. ,
,
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. ,
Supersparse linear integer models for optimized medical scoring systems, Mach. Learn, vol.102, issue.3, pp.349-391, 2016. ,
Deep visual-semantic alignments for generating image descriptions, IEEE Trans. Pattern Anal. Mach. Intell, vol.39, issue.4, pp.664-676, 2017. ,
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. ,
How to explain individual classification decisions, J. Mach. Learn. Res, vol.11, pp.1803-1831, 2010. ,
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. ,
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. ,
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. ,
Machine learning on the basis of formal concept analysis, Automation and Remote Control, vol.62, issue.10, pp.1543-1564, 2001. ,
Review: Formal concept analysis in knowledge processing: A survey on applications, Expert Syst. Appl, vol.40, issue.16, pp.6538-6560, 2013. ,
Inferring the semantic properties of sentences by mining syntactic parse trees, Data & Knowledge Engineering, pp.81-82, 2012. ,
Matching parse thickets for open domain question answering. Data & Knowledge Engineering, vol.107, pp.24-50, 2017. ,
A machine-oriented logic based on the resolution principle, Journal of the Association for Computing Machinery, vol.12, pp.23-41, 1965. ,
A note on inductive generalization, Machine Intelligence, vol.5, pp.153-163, 1970. ,
The subsumption lattice and query learning, Journal of Computer and System Sciences. v 72, vol.1, pp.72-94, 2006. ,
Computing numeric representations of words in a high-dimensional space, US Patent, vol.9, p.37, 2015. ,
Rhetorical Parsing of Unrestricted Texts, Computational Linguistics V, vol.2, p.3, 2000. ,
Towards Linguistically Generalizable NLP Systems: A Workshop and Shared Task, EMNLP, 2017. ,
Toward Virtual Data Scientist with Visual Means, 2017. ,
, Pattern Structures for News Clustering. FCA4AI@ IJCAI, pp.35-42
, Pattern Structures and Their Projections. ICCS 2001, vol.2120, pp.129-142
Fitting Pattern Structures to Knowledge Discovery in Big Data, ICFCA, vol.7880, pp.254-266, 2013. ,
References 1. Ichikawa, Scalable Knowledge Discovery in Complex Data with Pattern Structures. PReMI'2013, vol.8251, pp.30-41, 2013. ,
Is Justified True Belief Knowledge?, Analysis, vol.23, issue.6, p.121123, 1963. ,
URL : https://hal.archives-ouvertes.fr/halshs-01439314
Knowing How and Knowing That: The Presidential Address, Proceedings of the Aristotelian Society, vol.46, pp.1945-1991 ,
An Introduction to Logic and Scientific Method, 1934. ,
, Concepts, Ontologies and Knowledge Representation, 2013.
Intelligent Systems : A Modern Approach, 2011. ,
, Foundations of Knowledge Representation and Reasoning, 1994.
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. ,
, Knowledge as a Power Game, 2018.
The Neglect of Epistemic Considerations in Logic: the Case of Epistemic Assumptions, Topoi, vol.38, issue.3, pp.551-559, 2018. ,
On the Idea of the General Proof Theory, Synthese, vol.27, issue.1-2, pp.63-77, 1974. ,
On the Concept of Logical Consequence, Logic, Semantics, Metamathematics, pp.409-420, 1983. ,
Truthmaker realism, Australasian Journal of Philosophy, vol.77, issue.3, pp.274-291, 1999. ,
, Justification Logic: Reasoning with Reasons, 2019.
, Advances in Proof-Theoretic Semantics, 2015.
Intuitionistic Type Theory, BIBLIOPOLIS, 1984. ,
, Univalent Foundations Program: Homotopy Type Theory, IAS Princeton, 2013.
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. ,
Modern Classical Homotopy Theory, 2011. ,
Venus Homotopically, IfCoLog Journal of Logics and their Applications, vol.4, issue.4, pp.1427-1446, 2017. ,
An introduction to univalent foundations for mathematicians, Bulletin of the American Mathematical Society, vol.55, 2017. ,
Intriguing Properties of Neural Networks, p.6199, 2013. ,
Formal Concept Analysis: Mathematical Foundations, 1999. ,
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. ,
Complexity of Learning in Concept Lattices from Positive and Negative Examples, Discrete Applied Mathematics, issue.142, pp.111-125, 2004. ,
Machine Learning and Formal Concept Analysis, Proc. 2nd International Conference on Formal Concept Analysis: Springer LNAI, vol.2961, pp.287-312 ,
On Overfitting of Classifiers Making a Lattice, Proc. 14th International Conference on Formal Concept Analysis: Springer LNAI, vol.10308, pp.184-197 ,
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 ,
Accidental Formal Concepts in the Presence of Counterexamples, Proceedings of International Workshop on Formal Concept Analysis for Knowledge Discovery, pp.104-112, 1921. ,
Tight Combinatorial Generalization Bounds for Threshold Conjunction Rules, Proceedings of 4th International Conference on Pattern Recognition and Machine Intelligence, pp.66-73, 2011. ,
Formal Concept Analysis, 1999. ,
, , 2000.
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
A Greedy Clustering Algorithm Based on Interval Pattern Concepts and the Problem of Optimal Box Positioning, Journal of Applied Mathematics, 2017. ,
An original device for intraoperative detection of small indeterminate nodules, European Journal of Cardio-thoracic Surgery, vol.46, issue.6, pp.1027-1031, 2014. ,
The Cancer Cell Line Encyclopedia enables predictive modelling of anticancer drug sensitivity, Nature, vol.483, issue.7391, pp.603-607, 2012. ,
, R: A language and environment for statistical computing. R Foundation for Statistical Computing, 2018.
Molecular genetics of small cell lung carcinoma, Seminars in Oncology, vol.28, issue.2, pp.3-13, 2001. ,
P-selectin mediates adhesion of platelets to neuroblastoma and small cell lung cancer, The Journal of Clinical Investigation, vol.92, issue.2, 1993. ,
Classifying packets with hierarchical intelligent cuttings, Ieee Micro, vol.20, issue.1, pp.34-41, 2000. ,
Packet classification using multidimensional cutting, Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications, pp.213-224, 2003. ,
Exploiting order independence for scalable and expressive packet classification, IEEE/ACM Transactions on Networking, vol.24, issue.2, pp.1251-1264, 2015. ,
Strategies for mitigating TCAM space bottlenecks, IEEE 22nd Annual Symposium on High-Performance Interconnects, pp.25-32, 2014. ,
Pattern Structures and Their Projections, Proc. 9th Int. Conf. on Conceptual Structures, vol.2120, pp.129-142, 2001. ,
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
Learning of simple conceptual graphs from positive and negative examples, European Conference on Principles of Data Mining and Knowledge Discovery ,
, , pp.384-391, 1999.
Machine learning on the basis of formal concept analysis, Automation and Remote Control, vol.62, issue.10, pp.1543-1564, 2001. ,
Plausible reasoning in systems of JSM type, Itogi Nauki i Tekhniki, Seriya Informatika, 1991. ,
Classification and regression trees, p.432, 1984. ,
, ClassBench: A packet classification benchmark