, Steps towards interactive formal concept analysis with latviz, vol.4, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01420753
, In-close, a fast algorithm for computing formal concepts, 2009.
, A tool for creating and visualising formal concept trees, CEUR Workshop Proceedings, vol.1637, pp.1-9, 2016.
, TULIP 5, pp.1-28, 2017.
DOI : 10.1007/978-1-4614-7163-9_315-1
URL : https://hal.archives-ouvertes.fr/hal-01654518
, FCA in a Logical Programming Setting for Visualization-Oriented Graph Compression, pp.89-105, 2017.
DOI : 10.1007/978-3-319-59271-8_6
URL : https://hal.archives-ouvertes.fr/hal-01558302
, An open graph visualization system and its applications to software engineering, Softw. Pract. Exper, vol.30, issue.11, pp.1203-1233, 2000.
DOI : 10.1002/1097-024x(200009)30:11<1203::aid-spe338>3.3.co;2-e
URL : http://www.graphviz.org/Documentation/GN99.pdf
, Pattern structures and their projections, International Conference on Conceptual Structures, pp.129-142, 2001.
DOI : 10.1007/3-540-44583-8_10
URL : http://www.math.tu-dresden.de/~ganter/psfiles/kuznet.ps
, , 2015.
, Potassco: The Potsdam answer set solving collection, AI Communications, vol.24, issue.2, pp.107-124, 2011.
, Theory Solving Made Easy with Clingo 5, Technical Communications of the 32nd International Conference on Logic Programming, vol.52, pp.1-2, 2016.
, Logic programs with classical negation, Proc. of the 7th International Conf. on Logic Programming (ICLP), pp.579-97, 1990.
, Querying formal contexts with answer set programs, Proc. of the 14th Int. Conf. on Conceptual Structures: Inspiration and Application, ICCS'06, pp.260-273, 2006.
,
, Mining gene expression data with pattern structures in formal concept analysis, Information Sciences, vol.181, issue.10, 1989.
URL : https://hal.archives-ouvertes.fr/hal-00541100
, Fca tools bundle-a tool that enables dyadic and triadic conceptual navigation, Proc. of FCA4AI, 2015.
, Lattice miner: a tool for concept lattice construction and exploration, Suplementary Proceeding of International Conference on Formal concept analysis (ICFCA'10), 2010.
, A triadic approach to formal concept analysis, Conceptual structures: applications, implementation and theory, number 954 in Lecture Notes in Artificial Intelligence, pp.32-43, 1995.
, What is answer set programming?, Proc. of the 23rd National Conf. on Artificial Intelligence, vol.3, pp.1594-97, 2008.
, Answer set programming via mixed integer programming, KR, pp.32-42, 2012.
, Formal concept analysis in knowledge processing: A survey on applications, Expert Systems with Applications, vol.40, issue.16, pp.6538-6560, 2013.
, Membership constraints in formal concept analysis, Proc.of the 24th Int. Conf. on Artificial Intelligence, IJCAI'15, pp.3186-3192, 2015.
, Cytoscape: A software environment for integrated models of biomolecular interaction networks, Genome Research, vol.13, issue.11, pp.2498-2504, 2003.
, Conceptual clustering with iceberg concept lattices, In: Proc. of GI-Fachgruppentreffen Maschinelles Lernen'01, 2001.
, Concept lattices in rough set theory, IEEE Annual Meeting of the, vol.2, pp.796-801, 2004.
, Mining definitions from RDF annotations using formal concept analysis, IJCAI, pp.823-829, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01186204
, The Description Logic Handbook, 2003.
, Graph-FCA in Practice, Proceedings of 22nd ICCS, pp.107-121, 2016.
, Fast rule mining in ontological knowledge bases with AMIE+, VLDB Journal, vol.24, issue.6, pp.707-730, 2015.
, From Black and White to Full Color: Extending Redescription Mining Outside the Boolean World, Statistical Analysis and Data Mining, vol.5, issue.4, pp.284-303, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01399211
, Formal concept analysis-mathematical foundations, 1999.
, Data mining: concepts and techniques, 2011.
, Turning CARTwheels: an Alternating Algorithm for Mining Redescriptions, KDD'04, pp.266-275, 2004.
, A survey on how description logic ontologies benefit from formal concept analysis, 2011.
, Association Discovery in Two-View Data, TKDE, vol.27, issue.12, pp.3190-3202, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01242988
, Scalable algorithms for association mining, TKDE, vol.12, issue.3, pp.372-390, 2000.
, De l'analogie rendant compte de la commutation en linguistique, Université Joseph Fourier, 2001.
URL : https://hal.archives-ouvertes.fr/tel-00004372
, Handling Analogical Proportions in Classical Logic and Fuzzy Logics Settings, 10th Eur. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, pp.638-650, 2009.
, Duquatrì eme de proportion comme principe inductif : une proposition et son applicationàapplication`applicationà l'apprentissage de la morphologie, Traitement Automatique des Langues, vol.47, issue.2, pp.1-27, 2006.
, From Analogical Proportions in Lattices to Proportional Analogies in Formal Contexts, 21st of Eur. Conf. on Artificial Intelligence, 2014.
, Introduction to formal concept analysis, 2008.
, Formal Concept Analysis: Mathematical Foundations, 1998.
, From formal concepts to analogical complexes, 12th Int. Conf. on Concept Lattices and their App, pp.159-170, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01198943
, , 2013.
, Multiple-valued extensions of analogical proportions, Fuzzy Sets and Systems v, vol.292, pp.193-202, 2016.
, Analogy between concepts
URL : https://hal.archives-ouvertes.fr/hal-02186292
, Relational concept analysis: mining concept lattices from multi-relational data, Annals of Mathematics and Artificial Intelligence, vol.67, pp.81-108, 2013.
URL : https://hal.archives-ouvertes.fr/lirmm-00816300
, Formal independence analysis, 17th Int. Conf. Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations, vol.853, pp.596-608, 2018.
, A model for analogical reasoning, Cognitive Psychol. v, vol.5, pp.1-28, 1973.
, Distributed representations of words and phrases and their compositionality, Advances in Neural Information Processing Systems, vol.26, 2013.
, Frequent pattern mining, 2014.
, The minimum description length principle in coding and modeling, IEEE Transactions on Information Theory, vol.44, issue.6, pp.2743-2760, 1998.
, From-below approximations in boolean matrix factorization: Geometry and new algorithm, Journal of Computer and System Sciences, vol.81, issue.8, pp.1678-1697, 2015.
, The lucs-kdd discretised/normalised arm and carm data library, 2003.
, Formal concept analysis: Logical foundations, 1999.
, The minimum description length principle, 2007.
, Model selection and the principle of minimum description length, Journal of the American Statistical Association, vol.96, issue.454, pp.746-774, 2001.
, On interestingness measures of formal concepts, Information Sciences, vol.442, issue.443, pp.202-219, 2018.
, Minimum description length principle: Generators are preferable to closed patterns, AAAI. pp, pp.409-414, 2006.
, Model order selection for boolean matrix factorization, Proceedings of the 17th ACM SIGKDD international conference on Knowledge discovery and data mining, pp.51-59, 2011.
, Mdl4bmf: Minimum description length for boolean matrix factorization, ACM Transactions on Knowledge Discovery from Data (TKDD), vol.8, issue.4, p.18, 2014.
, Mdl in pattern mining a brief introduction to krimp, Formal Concept Analysis, pp.37-43, 2014.
, Krimp: mining itemsets that compress, Data Mining and Knowledge Discovery, vol.23, issue.1, pp.169-214, 2011.
, Turning krimp into a triclustering technique on sets of attribute-condition pairs that compress, pp.558-569
, Discovery of optimal factors in binary data via a novel method of matrix decomposition, JCSS, vol.76, pp.3-20, 2010.
, Line-clique cover number of a graph, Indian Nat. Sci. Acad. Proc, vol.41, pp.289-293, 1975.
, Sums, products and negations of contexts and complete lattices, Algebra Universalis, vol.60, pp.469-496, 2009.
, Clique partitions and clique coverings, Discrete Mathematics, vol.72, pp.93-101, 1988.
, Formal Concept Analysis: Mathematical Foundations, 1997.
, Towards description logic on concept lattices. Proc. of the Tenth Int. Conf. CLA pp, pp.287-292, 2013.
, Blocks of the direct product of tolerance relations, pp.587-596, 2017.
, Rough sets determined by tolerances, International Journal of Approximate Reasoning, vol.55, pp.1419-1438, 2014.
, Rough sets determined by tolerances, Discrete Mathematics, vol.308, pp.5928-5936, 2008.
, Tolerance spaces: Origins, theoretical aspects and applications, Information Sciences, vol.195, pp.211-225, 2012.
, Introduction to Graph Theory, 1981.
, The rectangle covering number of random boolean matrices, The Electronic J. of Combinatorics, vol.24, 2017.
, Clique coverings of graphs-a survey, Casse L.R.A. Combinatorial Mathematics X, pp.72-85, 1983.
, On the dimension of the cartesian product of relations and orders, Order, vol.6, pp.277-293, 1989.
, From graphs to ortholattices and equivariant maps, Journal of Combinatorial Theory B, vol.35, pp.171-192, 1983.
, Foundations of Databases, 1995.
, Querying relational concept lattices, Proc. of the 8th Intl. Conf. on Concept Lattices and their Applications (CLA'11), pp.377-392, 2011.
URL : https://hal.archives-ouvertes.fr/lirmm-00646409
, Faceted document navigation using conceptual structures, Conceptual Structures in Practice, pp.245-271, 2009.
, Mathematical Logic, 1994.
, Formal concept analysis: mathematical foundations, 1999.
, Database and Expert Systems Applications, pp.1-15, 1999.
, Algorithms for creating relational power context families from conceptual graphs, Proceedings of ICCS 1999, pp.389-400, 1999.
, Relational scaling and databases, Proceedings of ICCS 2002. LNAI, vol.2393, pp.62-76, 2002.
, Relational concept discovery in structured datasets, Annals of Mathematics and Artificial Intelligence, vol.49, issue.1-4, pp.39-76, 2007.
URL : https://hal.archives-ouvertes.fr/lirmm-00183376
, When concepts point at other concepts: the case of UML diagram reconstruction, Proceedings of FCAKDD 2002, pp.32-43, 2002.
URL : https://hal.archives-ouvertes.fr/lirmm-00268457
, Object configuration browsing in relational databases, Proceedings of ICFCA 2011, vol.6628, pp.151-166
, , 2011.
, Concept lattices of a relational structure, Proceedings of ICCS 2013, vol.7735, pp.301-310, 2013.
, Intension graphs as patterns over power context families, Proceedings of CLA 2016. CEUR Workshop Proceedings, vol.1624, 2016.
, The lattice of concept graphs of a relationally scaled context, Proceedings of ICCS 1999. LNAI, vol.1640, pp.401-414, 1999.
, Lattice-based information retrieval, Knowledge Organization, vol.27, issue.3, pp.132-142, 2000.
, Conceptual graphs for a data base interface, IBM Journal of Research and Development, vol.20, issue.4, pp.336-357, 1976.
, Conceptual Structures: Information Processing in Mind and Machine, 1984.
, Conceptual graphs and formal concept analysis, Proceedings of ICCS 1997, 5th International Conference on Conceptual Structures, vol.1257, pp.290-303, 1997.
, Combinatorial Theory, pp.1-483, 1979.
, Lattice Theory, vol.25, 1967.
, Residuation Theory, pp.1-382, 1972.
, Concept Data Analysis: Theory and Applications, 2004.
, Introduction to Lattices and Order, 1990.
, Encyclopedia of Distances, 2009.
, Cones of weighted quasimetrics, weighted quasihypermetrics and of oriented cuts, Abstracts of the International Conference "Mathematics of Distances and Applications, 2012.
, Generalized metrics and their relevance for FCA and closure operators, CLA 2016. Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, pp.175-188, 2016.
, Formal Concept Analysis: Mathematical Foundations, 1999.
, Valuations and closure operators on finite lattices, vol.159, 2011.
, Formalisierungen von¨Ahnlichkeitvon¨ von¨Ahnlichkeit aus Sicht der Formalen Begriffsanalyse, 1996.
, Ordre et classication: algèbre et combinatoire. Hachette, 1970. Google-Books-ID: n3BpSgAACAAJ
, Inducing decision trees via concept lattices, International Journal of General Systems, vol.38, issue.4, p.455467, 2009.
, Classication and regression trees, 1984.
, Parsimonious cluster systems, Advances in Data Analysis and Classication, vol.3, issue.3, p.189204, 2009.
, Totally Balanced Formal Context Representation, Formal Concept Analysis, number 9113 in Lecture Notes in Computer Science, p.169182, 2015.
, Formal Concept Analysis-Mathematical Foundations, 1997.
, A characterization of totally balanced hypergraphs, Discrete Mathematics, vol.57, issue.12, p.5965, 1985.
, Toward the next generation of recommender systems: A survey of the state-of-the-art and possible extensions, IEEE transactions on knowledge and data engineering, vol.17, issue.6, pp.734-749, 2005.
, Context-aware recommender system based on boolean matrix factorisation, CLA. pp, pp.99-110, 2015.
, Biclustering neighborhood-based collaborative filtering method for top-n recommender systems, Knowledge and Information Systems, vol.44, issue.2, pp.475-491, 2015.
, Discovering local structure in gene expression data: the order-preserving submatrix problem, Journal of computational biology, vol.10, issue.3-4, pp.373-384, 2003.
, Collaborative recommending using formal concept analysis, Knowledge-Based Systems, vol.19, issue.5, pp.309-315, 2006.
, Lattice-based biclustering using partition pattern structures, Proceedings of the Twenty-first European Conference on Artificial Intelligence, pp.213-218, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01095865
, ContributionsàContributionsà l'indexation etàet`età la récupération d'information utilisant l'analyse formelle de concepts, 2015.
, Pattern structures and their projections, International Conference on Conceptual Structures, pp.129-142, 2001.
, FCA-based recommender models and data analysis for crowdsourcing platform Witology, International Conference on Conceptual Structures, pp.287-292
, , 2014.
, Concept-Based Biclustering for Internet Advertisement, 2012 IEEE 12th International Conference on Data Mining Workshops, pp.123-130, 2009.
, Recommender system based on algorithm of bicluster analysis RecBi, 2012.
, Towards a unified taxonomy of biclustering methods, 2017.
, Biclustering meets triadic concept analysis, Annals of Mathematics and Artificial Intelligence, vol.70, issue.1-2, pp.55-79, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01101143
, Biclustering algorithms for biological data analysis: a survey, IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), vol.1, issue.1, pp.24-45, 2004.
, BIDE: Efficient mining of frequent closed sequences, Proceedings. 20th International Conference on, pp.79-90, 2004.
, CloSpan: Mining: Closed sequential patterns in large datasets, Proceedings of the 2003 SIAM international conference on data mining, pp.166-177, 2003.
, Completing Description Logic Knowledge Bases Using Formal Concept Analysis, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp.230-235, 2007.
, Computing least common subsumers in description logics with existential restrictions, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, pp.96-103, 1999.
, Formal Concept Analysis: A Unified Framework for Building and Refining Ontologies, Knowledge Engineering: Practice and Patterns, 16th International Conference, pp.156-171, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00344051
,
, Using Pattern Structures for Analyzing Ontology-Based Annotations of Biomedical Data, Formal Concept Analysis, 11th International Conference, ICFCA 2013, pp.76-91, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00880643
, Ontology Matching, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00918122
, Conceptual Structures: Broadening the Base, 9th International Conference on Conceptual Structures, pp.129-142, 2001.
, Formal concept analysis-mathematical foundations, 1999.
, A translation approach to portable ontology specifications, vol.5, pp.199-220, 1993.
, Using Formal Concept Analysis for Checking the Structure of an Ontology in LOD: The Example of DBpedia, Foundations of Intelligent Systems-23rd International Symposium, pp.674-683, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01511909
,
, Understanding Collaborative Filtering with Galois Connections
,
, We compare the properties of these operators and their applicability in simple collaborative user-to-user and item-to-item setting. Moreover, we propose a new neighbourhood-forming operator based on pair-wise similarity ranking of users, which takes intermediate place between the studied closure operators and its relaxations in terms of neighbourhood size and demonstrates comparatively good Precision-Recall trade-off. In addition, we compare the studied neighbourhood-forming operators in the collaborative filtering setting against simple but strong benchmark, the SlopeOne algorithm, over bimodal cross-validation on MovieLens dataset, this paper, we explain how Galois connection and related operators between sets of users and items naturally arise in user-item data for forming neighbourhoods of a target user or item for Collaborative Filtering
,
,
,
, 2 U is called a kernel operator iff for X ? U : op(X) ? X (intensity). us discuss the meaning of several important properties of the introduced Galois operators in terms of Collaborative Filtering domain
,
,
,
,
,
,
,
,
, ·) is not idempotent
, Operator (·) is a kernel operator (antitone, extensive, and idempotent), Corollary, vol.1
, N k \ {u}) \ {u}
, Make a prediction of the rating for each items found in the previous step. Choose top n of them
, On over-specialization and concentration bias of recommendations: Probabilistic neighborhood selection in collaborative filtering systems, Proceedings of the 8th ACM Conference on Recommender Systems. pp. 153-160. RecSys '14, 2014.
, Fast algorithms for mining association rules in large databases, VLDB'94, Proceedings of 20th International Conference on Very Large Data Bases, pp.487-499, 1994.
, Context-aware recommender system based on boolean matrix factorisation, Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, vol.1466, pp.99-110, 2015.
, Utility Maximization, Choice and Preference, 2007.
URL : https://hal.archives-ouvertes.fr/halshs-00197186
, Biclustering neighborhoodbased collaborative filtering method for top-n recommender systems, Knowl. Inf. Syst, vol.44, issue.2, pp.475-491, 2015.
, Biclustering neighborhood-based collaborative filtering method for top-n recommender systems, Knowl. Inf. Syst, vol.44, issue.2, pp.475-491, 2015.
, From-below approximations in boolean matrix factorization: Geometry and new algorithm, J. Comput. Syst. Sci, vol.81, issue.8, pp.1678-1697, 2015.
, Discovery of optimal factors in binary data via a novel method of matrix decomposition, J. Comput. Syst. Sci, vol.76, issue.1, pp.3-20, 2010.
, Collaborative recommending using formal concept analysis, Knowl.-Based Syst, vol.19, issue.5, pp.309-315, 2006.
,
, Comparison of collaborative filtering algorithms: Limitations of current techniques and proposals for scalable, high-performance recommender systems, ACM Trans. Web, vol.5, issue.1, pp.1-2, 2011.
, Including Prestigious Applications of Intelligent Systems (PAIS 2014), ECAI 2014-21st European Conference on Artificial Intelligence, vol.263, pp.213-218, 2014.
, Formal concept analysis and information retrieval-A survey, Formal Concept Analysis-13th International Conference, ICFCA 2015, vol.9113, pp.61-77, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01186196
, , 2015.
, Galois connections and data mining, J. UCS, vol.6, issue.1, pp.60-73, 2000.
, Galois Connections and Applications, 2004.
, The cube of opposition: A structure underlying many knowledge representation formalisms, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, pp.2933-2939, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01192705
, Approximation operators in qualitative data analysis. In: Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers, pp.214-230, 2003.
, Conceptual Structures: Broadening the Base, vol.2120, pp.129-142, 2001.
, Formal Concept Analysis: Mathematical Foundations, 1999.
, A survey of accuracy evaluation metrics of recommendation tasks, J. Mach. Learn. Res, vol.10, pp.2935-2962, 2009.
, The movielens datasets: History and context, TiiS, vol.5, issue.4, p.19, 2016.
, Recommender System Based on Algorithm of Bicluster Analysis RecBi, CEUR Workshop proceedings, vol.757, pp.122-126, 2011.
, Information Retrieval-8th Russian Summer School, Introduction to formal concept analysis and its applications in information retrieval and related fields, vol.505, pp.42-141, 2014.
, Fca-based recommender models and data analysis for crowdsourcing platform witology, Graph-Based Representation and Reasoning-21st International Conference on Conceptual Structures, pp.287-292, 2014.
, RAPS: A recommender algorithm based on pattern structures, FCA4AI 2015, co-located with the International Joint Conference on Artificial Intelligence (IJCAI 2015), pp.87-98, 2015.
, Concept-based Recommendations for Internet Advertisement, Proc. CLA 2008. CEUR WS, vol.433, pp.157-166, 2008.
, Concept-based biclustering for internet advertisement, ICDM Workshops, pp.123-130, 2012.
, Recommendation of ideas and antagonists for crowdsourcing platform witology. In: Information Retrieval-8th Russian Summer School, pp.276-296, 2014.
, Boolean matrix factorisation for collaborative filtering: An fca-based approach, Artificial Intelligence: Methodology, Systems, and Applications-16th International Conference, pp.47-58, 2014.
DOI : 10.1007/978-3-319-10554-3_5
, A new cross-validation technique to evaluate quality of recommender systems, Lecture Notes in Computer Science, vol.7143, pp.195-202, 2012.
, Towards more targeted recommendations in folksonomies, Social Netw. Analys. Mining, vol.5, issue.1, p.18, 2015.
DOI : 10.1007/s13278-015-0307-8
URL : https://hal.archives-ouvertes.fr/hal-02134353
, Can fca-based recommender system suggest a proper classifier, co-located with the European Conference on Artificial Intelligence, vol.4, pp.17-26, 2014.
, Matrix factorization techniques for recommender systems, Computer, vol.42, issue.8, pp.30-37, 2009.
DOI : 10.1109/mc.2009.263
,
, Galois connections in data analysis: Contributions from the soviet era and modern russian research, Formal Concept Analysis, Foundations and Applications, pp.196-225, 2005.
, Slope one predictors for online rating-based collaborative filtering, Proceedings of the 2005 SIAM International Conference on Data Mining, pp.471-475, 2005.
, An fca-based boolean matrix factorisation for collaborative filtering, International Workshop FCA meets IR at ECIR 2013, vol.977, pp.57-73, 2013.
, A systematic comparison and evaluation of biclustering methods for gene expression data, Bioinformatics, vol.22, issue.9, pp.1122-1129, 2006.
, Nearestbiclusters collaborative filtering based on constant and coherent values, Inf. Retr, vol.11, issue.1, pp.51-75, 2008.
, Galois connections and data analysis, Fundam. Inform, vol.60, issue.1-4, pp.401-415, 2004.
, Data Mining and Analysis: Fundamental Concepts and Algorithms, 2014.
, Efficient algorithms for mining closed itemsets and their lattice structure, IEEE Trans. Knowl. Data Eng, vol.17, issue.4, pp.462-478, 2005.
, Spectral clustering of large advertiser datasets, Overture R&D, 2004.