Found 254 Documents (Results 1–100)

100
MathJax

Galois connections for patterns: an algebra of labelled graphs. (English)Zbl 1467.68176

Cochez, Michael (ed.) et al., Graph structures for knowledge representation and reasoning. 6th international workshop, GKR 2020, virtual event, September 5, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12640, 125-150 (2021).
Full Text:

Concept lattice on cubic sets. (English)Zbl 1474.06021

MSC:  06B23 06A15 68T30
Full Text:

Rough sets based on Galois connections. (English)Zbl 1477.68308

MSC:  68T37 06A15
Full Text:

Full Text:

Galois connections for recursive types. (English)Zbl 1440.68042

Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 105-131 (2020).
Full Text:

Some combinatorial characteristics of closure operations. (English)Zbl 1445.68080

MSC:  68P15 06A15 68R05
Full Text:

Evolution of objects and concepts. (English)Zbl 1430.06002

MSC:  06B23 06A15 68T30
Full Text:

An adjoint pair for intuitionistic $$L$$-fuzzy values. (English)Zbl 1430.68334

Cornejo, María Eugenia (ed.) et al., Trends in mathematics and computational intelligence. Selected papers based on the presentations at the 9th European symposium on computational intelligence and mathematics, ESCIM 2017, Faro, Portugal, October 4–7, 2017. Cham: Springer. Stud. Comput. Intell. 796, 167-173 (2019).
Full Text:

Learning unions of $$k$$-testable languages. (English)Zbl 1425.68150

Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 328-339 (2019).
MSC:  68Q32 06A15 68Q45
Full Text:

Full Text:

Algebraic methods for rough approximation spaces by lattice interior-closure operations. (English)Zbl 1437.03150

Mani, A. (ed.) et al., Algebraic methods in general rough sets. Cham: Birkhäuser. Trends Math., 13-156 (2018).
Full Text:

On constructivity of Galois connections. (English)Zbl 1446.68035

Dillig, Isil (ed.) et al., Verification, model checking, and abstract interpretation. 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7–9, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10747, 452-473 (2018).
MSC:  68N30 06A15 68Q55
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

On neural network architecture based on concept lattices. (English)Zbl 1461.68185

Kryszkiewicz, Marzena (ed.) et al., Foundations of intelligent systems. 23rd international symposium, ISMIS 2017, Warsaw, Poland, June 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10352, 653-663 (2017).
Full Text:

Description of sup- and inf-preserving aggregation functions via families of clusters in data tables. (English)Zbl 1429.68274

MSC:  68T30 06A15 06B99
Full Text:

Canonical dichotomous direct bases. (English)Zbl 1428.68291

MSC:  68T30 06A15
Full Text:

Full Text:

Closure structures parameterized by systems of isotone Galois connections. (English)Zbl 1419.68150

MSC:  68T30 03B52 06A15
Full Text:

Full Text:

Full Text:

Concurrency-preserving minimal process representation. (English)Zbl 06750826

Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10226, 242-257 (2017).
MSC:  68Q85 06A06 06A15
Full Text:

Learning definite Horn formulas from closure queries. (English)Zbl 1356.68114

MSC:  68Q32 03B70 06A15
Full Text:

Succinctness and tractability of closure operator representations. (English)Zbl 1418.06001

MSC:  06A15 68T30
Full Text:

Full Text:

Full Text:

Towards Galois connections over positive semifields. (English)Zbl 1455.68203

Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 81-92 (2016).
MSC:  68T30 06A15 12K10
Full Text:

Concept lattices with negative information: a characterization theorem. (English)Zbl 1428.68290

MSC:  68T30 06A15 06B23
Full Text:

Full Text:

On $$j$$-near closure operators induced from relations and its applications. (English)Zbl 1426.68260

MSC:  68T37 06A15 54A05
Full Text:

Full Text:

Lattice-theoretic contexts and their concept lattices via Galois ideals. (English)Zbl 1395.68258

MSC:  68T30 06A15 06D10
Full Text:

Full Text:

Causally consistent dynamic slicing. (English)Zbl 1392.68313

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 18, 15 p. (2016).
MSC:  68Q85 06A15 68N30
Full Text:

Constraint heterogeneous concept lattices and concept lattices with heterogeneous hedges. (English)Zbl 1378.68139

MSC:  68T30 06A15 06B23
Full Text:

Full Text:

Constructive Galois connections: taming the Galois connection framework for mechanized metatheory. (English)Zbl 1361.68129

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 311-324 (2016).
MSC:  68Q55 06A15 68Q60 68T15
Full Text:

Abstract interpretations in the framework of invariant sets. (English)Zbl 1358.68066

MSC:  68N30 06A15
Full Text:

Full Text:

Factor theory and the unity of opposites. (English)Zbl 1355.68180

MSC:  68Q70 06A15 68W32
Full Text:

Rules for computing fixpoints of a fuzzy closure operator. (English)Zbl 1344.68228

MSC:  68T30 06A15
Full Text:

Block relations in formal fuzzy concept analysis. (English)Zbl 1352.68232

MSC:  68T30 06A15 06B75
Full Text:

Basic theorem as representation of heterogeneous concept lattices. (English)Zbl 1402.06002

MSC:  06B23 06A15 68T30
Full Text:

Full Text:

Characterizations of coverings for upper approximation operators being closure operators. (English)Zbl 1387.68216

MSC:  68T37 06A15 54A40
Full Text:

Full Text:

Generalized one-sided concept lattices with attribute preferences. (English)Zbl 1360.68808

MSC:  68T30 06A15 06B99
Full Text:

A ‘best-of-breed’ approach for designing a fast algorithm for computing fixpoints of Galois connections. (English)Zbl 1360.68797

MSC:  68T30 06A15
Full Text:

Activating generalized fuzzy implications from Galois connections. (English)Zbl 1360.03070

Magdalena, Luis (ed.) et al., Enric Trillas: a passion for fuzzy sets. A collection of recent works on fuzzy logic. Cham: Springer (ISBN 978-3-319-16234-8/hbk; 978-3-319-16235-5/ebook). Studies in Fuzziness and Soft Computing 322, 201-212 (2015).
Full Text:

Towards antichain algebra. (English)Zbl 1471.68086

Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 15th international conference, RAMiCS 2015, Braga, Portugal, September 28 – October 1, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9348, 344-361 (2015).
MSC:  68P15 06A06 06A15
Full Text:

Lattice-based semantics for combinatorial model evolution. (English)Zbl 1471.68125

Finkbeiner, Bernd (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9364, 276-292 (2015).
Full Text:

Full Text:

A Galois connection for valued constraint languages of infinite size. (English)Zbl 1440.68115

Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9134, 517-528 (2015).
Full Text:

Full Text:

Extensional confluences and local closure operators. (English)Zbl 1312.68194

Baixeries, Jaume (ed.) et al., Formal concept analysis. 13th international conference, ICFCA 2015, Nerja, Spain, June 23–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19544-5/pbk; 978-3-319-19545-2/ebook). Lecture Notes in Computer Science 9113. Lecture Notes in Artificial Intelligence, 128-144 (2015).
Full Text:

Bonds between $$L$$-fuzzy contexts over different structures of truth-degrees. (English)Zbl 1312.68188

Baixeries, Jaume (ed.) et al., Formal concept analysis. 13th international conference, ICFCA 2015, Nerja, Spain, June 23–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19544-5/pbk; 978-3-319-19545-2/ebook). Lecture Notes in Computer Science 9113. Lecture Notes in Artificial Intelligence, 81-96 (2015).
MSC:  68T30 03G25 06A15
Full Text:

Antitone $$L$$-bonds. (English)Zbl 1415.68224

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 71-80 (2014).
MSC:  68T30 06A15
Full Text:

Abstract interpretation from Büchi automata. (English)Zbl 1401.68162

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 51, 10 p. (2014).
Full Text:

Full Text:

Full Text:

Lower and upper concept lattices. (English)Zbl 1349.06011

MSC:  06B23 06A15 68T30
Full Text:

Triadic fuzzy Galois connections as ordinary connections. (English)Zbl 1334.68213

MSC:  68T30 03B52 06A15
Full Text:

On equivalence of conceptual scaling and generalized one-sided concept lattices. (English)Zbl 1328.68217

MSC:  68T30 06A15 06B23
Full Text:

Full Text:

On heterogeneous formal contexts. (English)Zbl 1315.68232

MSC:  68T30 06A15 06B75
Full Text:

Generalized pattern extraction from concept lattices. (English)Zbl 1319.68215

MSC:  68T30 06A15 06B23
Full Text:

Characterizing functional dependencies in formal concept analysis with pattern structures. (English)Zbl 1320.68064

MSC:  68P15 06A15 68T30
Full Text:

Full Text:

Full Text:

Full Text:

Closed patterns and abstraction beyond lattices. (English)Zbl 1444.68213

Glodeanu, Cynthia Vera (ed.) et al., Formal concept analysis. 12th international conference, ICFCA 2014, Cluj-Napoca, Romania, June 10–13, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8478, 203-218 (2014).
MSC:  68T30 06A15
Full Text:

On the succinctness of closure operator representations. (English)Zbl 1444.68212

Glodeanu, Cynthia Vera (ed.) et al., Formal concept analysis. 12th international conference, ICFCA 2014, Cluj-Napoca, Romania, June 10–13, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8478, 15-36 (2014).
MSC:  68T30 06A15
Full Text:

On basic conditions to generate multi-adjoint concept lattices via Galois connections. (English)Zbl 1320.06005

MSC:  06A15 06B75 68T30
Full Text:

A Galois connection calculus for abstract interpretation. (English)Zbl 1284.68173

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 3-4 (2014).
Full Text:

Full Text:

Full Text:

Full Text:

Formal contexts, formal concept analysis, and Galois connections. (English)Zbl 1464.68383

Banerjee, Anindya (ed.) et al., Semantics, abstract interpretation, and reasoning about programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, September 19–20, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 129, 105-120 (2013).
MSC:  68T30 06A15
Full Text:

Representation of fuzzy concept lattices in the framework of classical FCA. (English)Zbl 1397.06015

MSC:  06D72 06A15 68T30
Full Text:

Generalization of one-sided concept lattices. (English)Zbl 1413.06008

MSC:  06B23 06A15 68T30

Concept lattices of a relational structure. (English)Zbl 1351.68277

Pfeiffer, Heather D. (ed.) et al., Conceptual structures for STEM research and education. 20th international conference on conceptual structures, ICCS 2013, Mumbay, India, January 10–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-35785-5/pbk; 978-3-642-35786-2/ebook). Lecture Notes in Computer Science 7735, 301-310 (2013).
Full Text:

Multi-adjoint relation equations: definition, properties and solutions using concept lattices. (English)Zbl 1320.68173

MSC:  68T30 03E72 06A15
Full Text:

Axiomatic characterizations of dual concept lattices. (English)Zbl 1316.68162

MSC:  68T30 06A15 06B23
Full Text:

Dual multi-adjoint concept lattices. (English)Zbl 1293.06001

MSC:  06B99 06A15 68T30
Full Text:

Formal concept analysis and lattice-valued Chu systems. (English)Zbl 1320.06004

MSC:  06A15 06B75 68T30
Full Text:

Note on formal contexts of generalized one-sided concept lattices. (English)Zbl 1299.06008

MSC:  06A15 06B23 68T30
Full Text:

Closure-based constraints in formal concept analysis. (English)Zbl 1312.68180

MSC:  68T30 06A15
Full Text:

Full Text:

Lattice-valued topological systems as a framework for lattice-valued formal concept analysis. (English)Zbl 1403.06009

MSC:  06B23 06A15 06B30 18B30 68T30
Full Text:

Concept-forming operators on multilattices. (English)Zbl 1396.06005

Cellier, Peggy (ed.) et al., Formal concept analysis. 11th international conference, ICFCA 2013, Dresden, Germany, May 21–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38316-8/pbk). Lecture Notes in Computer Science 7880. Lecture Notes in Artificial Intelligence, 203-215 (2013).
MSC:  06B75 06A15 68T30
Full Text:

Contextual implications between attributes and some representation properties for finite lattices. (English)Zbl 1264.06007

Cellier, Peggy (ed.) et al., Formal concept analysis. 11th international conference, ICFCA 2013, Dresden, Germany, May 21–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38316-8/pbk). Lecture Notes in Computer Science 7880. Lecture Notes in Artificial Intelligence, 1-27 (2013).
Full Text:

Approximation of sets based on partial covering. (English)Zbl 1377.68236

Peters, James F. (ed.) et al., Transactions on Rough Sets XVI. Berlin: Springer (ISBN 978-3-642-36504-1/pbk). Lecture Notes in Computer Science 7736. Journal Subline, 144-220 (2013).
Full Text:

Relating attribute reduction in formal, object-oriented and property-oriented concept lattices. (English)Zbl 1268.06007

MSC:  06B23 06A15 68T30
Full Text:

Programming from Galois connections. (English)Zbl 1257.68057

MSC:  68N30 06A15 18B10
Full Text:

all top 5

all top 5

all top 5

all top 3