001471633 000__ 04395nam\\2200685\i\4500 001471633 001__ 1471633 001471633 003__ OCoLC 001471633 005__ 20230908003307.0 001471633 006__ m\\\\\o\\d\\\\\\\\ 001471633 007__ cr\cn\nnnunnun 001471633 008__ 230712s2023\\\\sz\a\\\\o\\\\\101\0\eng\d 001471633 020__ $$a9783031359491$$q(electronic bk.) 001471633 020__ $$a3031359496$$q(electronic bk.) 001471633 020__ $$z9783031359484 001471633 0247_ $$a10.1007/978-3-031-35949-1$$2doi 001471633 035__ $$aSP(OCoLC)1390126551 001471633 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE 001471633 049__ $$aISEA 001471633 050_4 $$aQA76.9.M35 001471633 08204 $$a004.01/51$$223/eng/20230712 001471633 1112_ $$aInternational Conference on Formal Concept Analysis$$n(17th :$$d2023 :$$cKassel, Germany) 001471633 24510 $$aFormal concept analysis :$$b17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, proceedings /$$cDominik Dürrschnabel, Domingo López Rodríguez, editors. 001471633 24630 $$aICFCA 2023 001471633 264_1 $$aCham :$$bSpringer,$$c[2023] 001471633 264_4 $$c©2023 001471633 300__ $$a1 online resource (xxviii, 199 pages) :$$billustrations (some color). 001471633 336__ $$atext$$btxt$$2rdacontent 001471633 337__ $$acomputer$$bc$$2rdamedia 001471633 338__ $$aonline resource$$bcr$$2rdacarrier 001471633 4901_ $$aLecture notes in computer science. Lecture notes in artificial intelligence,$$x2945-9141 ;$$v13934 001471633 4901_ $$aLNCS sublibrary: SL7 - Artificial intelligence 001471633 500__ $$aInternational conference proceedings. 001471633 500__ $$aIncludes author index. 001471633 5050_ $$aTheory: Approximating fuzzy relation equations through concept lattices -- Doubly-Lexical Order Supports Standardisation and Recursive Partitioning of Formal Context -- Graph-FCA Meets Pattern Structures -- On the commutative diagrams among Galois connections involved in closure structures -- Scaling Dimension -- Three Views on Dependency Covers from an FCA Perspective -- A Triadic Generalisation of the Boolean Concept Lattice -- Applications and Visualization: Computing witnesses for centralising monoids on a three-element set -- Description Quivers for Compact Representation of Concept Lattices and Ensembles of Decision Trees -- Examples of clique closure systems -- On the maximal independence polynomial of the covering graph of the hypercube up to n=6 -- Relational Concept Analysis in Practice: Capitalizing on Data Modeling using Design Patterns -- Representing Concept Lattices with Euler Diagrams. 001471633 506__ $$aAccess limited to authorized users. 001471633 520__ $$aThis book constitutes the proceedings of the 17th International Conference on Formal Concept Analysis, ICFCA 2023, which took place in Kassel, Germany, in July 2023. The 13 full papers presented in this volume were carefully reviewed and selected from 19 submissions. The International Conference on Formal Concept Analysis serves as a platform for researchers from FCA and related disciplines to showcase and exchange their research findings. The papers are organized in two topical sections, first "Theory" and second "Applications and Visualization". 001471633 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed July 12, 2023). 001471633 650_0 $$aComputer science$$xMathematics$$vCongresses. 001471633 650_0 $$aLogic, Symbolic and mathematical$$vCongresses. 001471633 650_0 $$aFormal methods (Computer science)$$vCongresses. 001471633 655_0 $$aElectronic books. 001471633 7001_ $$aDürrschnabel, Dominik,$$eeditor. 001471633 7001_ $$aLópez Rodríguez, Domingo,$$eeditor. 001471633 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.$$x2945-9141 001471633 830_0 $$aLecture notes in computer science ;$$v13934. 001471633 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence. 001471633 852__ $$bebk 001471633 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-35949-1$$zOnline Access$$91397441.1 001471633 909CO $$ooai:library.usi.edu:1471633$$pGLOBAL_SET 001471633 980__ $$aBIB 001471633 980__ $$aEBOOK 001471633 982__ $$aEbook 001471633 983__ $$aOnline 001471633 994__ $$a92$$bISE