×

Found 1,159 Documents (Results 501–600)

100
MathJax

Galois connections between semimodules and applications in data mining. (English) Zbl 1132.68063

Kuznetsov, Sergei O. (ed.) et al., Formal concept analysis. 5th international conference, ICFCA 2007, Clermont-Ferrand, France, February 12–16, 2007. Proceedings. (ISBN 978-3-540-70828-5/pbk). Lecture Notes in Computer Science 4390. Lecture Notes in Artificial Intelligence, 181-196 (2007).
PDF BibTeX XML Cite
Full Text: DOI Link

On multi-adjoint concept lattices: definition and representation theorem. (English) Zbl 1187.68588

Kuznetsov, Sergei O. (ed.) et al., Formal concept analysis. 5th international conference, ICFCA 2007, Clermont-Ferrand, France, February 12–16, 2007. Proceedings. (ISBN 978-3-540-70828-5/pbk). Lecture Notes in Computer Science 4390. Lecture Notes in Artificial Intelligence, 197-209 (2007).
MSC:  68T30 06A15 06B99
PDF BibTeX XML Cite
Full Text: DOI

Relational Galois connections. (English) Zbl 1187.06002

Kuznetsov, Sergei O. (ed.) et al., Formal concept analysis. 5th international conference, ICFCA 2007, Clermont-Ferrand, France, February 12–16, 2007. Proceedings. (ISBN 978-3-540-70828-5/pbk). Lecture Notes in Computer Science 4390. Lecture Notes in Artificial Intelligence, 1-17 (2007).
MSC:  06A15
PDF BibTeX XML Cite
Full Text: DOI

Base points, non-unit implications, and convex geometries. (English) Zbl 1187.68582

Kuznetsov, Sergei O. (ed.) et al., Formal concept analysis. 5th international conference, ICFCA 2007, Clermont-Ferrand, France, February 12–16, 2007. Proceedings. (ISBN 978-3-540-70828-5/pbk). Lecture Notes in Computer Science 4390. Lecture Notes in Artificial Intelligence, 210-220 (2007).
PDF BibTeX XML Cite
Full Text: DOI

Isomorphism via translation. (English) Zbl 1144.03015

Governatori, Guido (ed.) et al., Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. London: College Publications (ISBN 1-904987-20-6/pbk). 333-351 (2006).
MSC:  03B45 03G25 06A15
PDF BibTeX XML Cite

About the family of closure systems preserving non-unit implications in the Guigues-Duquenne base. (English) Zbl 1177.68207

Missaoui, Rokia (ed.) et al., Formal concept analysis. 4th international conference, ICFCA 2006, Dresden, Germany, February 13–17, 2006. Proceedings. Berlin: Springer (ISBN 3-540-32203-5/pbk). Lecture Notes in Computer Science 3874. Lecture Notes in Artificial Intelligence, 191-204 (2006).
MSC:  68T30 06A15 68P20
PDF BibTeX XML Cite
Full Text: DOI

The tensor product as a lattice of regular Galois connections. (English) Zbl 1177.06008

Missaoui, Rokia (ed.) et al., Formal concept analysis. 4th international conference, ICFCA 2006, Dresden, Germany, February 13–17, 2006. Proceedings. Berlin: Springer (ISBN 3-540-32203-5/pbk). Lecture Notes in Computer Science 3874. Lecture Notes in Artificial Intelligence, 89-104 (2006).
MSC:  06B23 06A15 68T30
PDF BibTeX XML Cite
Full Text: DOI

Thin relations and associated closure operators. (English) Zbl 1106.54002

Dorfer, G. (ed.) et al., Proceedings of the 70th workshop on general algebra “70. Arbeitstagung Allgemeine Algebra”, Vienna, Austria, May 26–29, 2005. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0194-8/pbk). Contributions to General Algebra 17, 161-172 (2006).
MSC:  54A05 06A15 08A02
PDF BibTeX XML Cite

Galois connections in data analysis: Contributions from the Soviet era and modern Russian research. (English) Zbl 1152.68628

Ganter, Bernhard (ed.) et al., Formal concept analysis. Foundations and applications. Berlin: Springer (ISBN 3-540-27891-5/pbk). Lecture Notes in Computer Science 3626. Lecture Notes in Artificial Intelligence, 196-225 (2005).
MSC:  68T30 06A15
PDF BibTeX XML Cite

Arbitrary relations in formal concept analysis and logical information systems. (English) Zbl 1132.68750

Dau, Frithjof (ed.) et al., Conceptual structures: Common semantics for sharing knowledge. 13th international conference on conceptual structures, ICCS 2005, Kassel, Germany, July 17–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27783-8/pbk). Lecture Notes in Computer Science 3596. Lecture Notes in Artificial Intelligence, 166-180 (2005).
PDF BibTeX XML Cite

On some Galois connection based abstractions for the mu-calculus. (English) Zbl 1120.68408

Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 366-381 (2005).
PDF BibTeX XML Cite
Full Text: DOI

Which concept lattices are pseudocomplemented? (English) Zbl 1078.06006

Ganter, Bernhard (ed.) et al., Formal concept analysis. Third international conference, ICFCA 2005, Lens, France, February 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24525-1/pbk). Lecture Notes in Computer Science 3403. Lecture Notes in Artificial Intelligence, 408-416 (2005).
MSC:  06D15 06A15 68T30
PDF BibTeX XML Cite
Full Text: DOI

Crisply generated fuzzy concepts. (English) Zbl 1078.68142

Ganter, Bernhard (ed.) et al., Formal concept analysis. Third international conference, ICFCA 2005, Lens, France, February 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24525-1/pbk). Lecture Notes in Computer Science 3403. Lecture Notes in Artificial Intelligence, 269-284 (2005).
MSC:  68T30 06A15
PDF BibTeX XML Cite
Full Text: DOI

Uncovering and reducing hidden combinatorics in Guigues-Duquenne bases. (English) Zbl 1078.68144

Ganter, Bernhard (ed.) et al., Formal concept analysis. Third international conference, ICFCA 2005, Lens, France, February 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24525-1/pbk). Lecture Notes in Computer Science 3403. Lecture Notes in Artificial Intelligence, 235-248 (2005).
MSC:  68T30 06A15 68P15
PDF BibTeX XML Cite
Full Text: DOI

A generic algorithm for generating closed sets of a binary relation. (English) Zbl 1078.68773

Ganter, Bernhard (ed.) et al., Formal concept analysis. Third international conference, ICFCA 2005, Lens, France, February 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24525-1/pbk). Lecture Notes in Computer Science 3403. Lecture Notes in Artificial Intelligence, 223-234 (2005).
MSC:  68T30 06A15 06B99
PDF BibTeX XML Cite
Full Text: DOI

On computing the minimal generator family for concept lattices and icebergs. (English) Zbl 1078.68776

Ganter, Bernhard (ed.) et al., Formal concept analysis. Third international conference, ICFCA 2005, Lens, France, February 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24525-1/pbk). Lecture Notes in Computer Science 3403. Lecture Notes in Artificial Intelligence, 192-207 (2005).
MSC:  68T30 06A15 06B99
PDF BibTeX XML Cite
Full Text: DOI

Galois connections for generalized functions and relational constraints. (English) Zbl 1080.06002

Chajda, I. (ed.) et al., Proceedings of the 68th workshop on general algebra “68. Arbeitstagung Allgemeine Algebra”, Dresden, Germany, June 10–13, 2004 and of the summer school 2004 on general algebra and ordered sets, Malá Morávka, Czech Republic, September 5–11, 2004. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0163-8/pbk). Contributions to General Algebra 16, 35-54 (2005).
PDF BibTeX XML Cite
Full Text: arXiv

Multipliers, closure endomorphisms and quasi-decompositions of a Hilbert algebra. (English) Zbl 1082.03056

Chajda, I. (ed.) et al., Proceedings of the 68th workshop on general algebra “68. Arbeitstagung Allgemeine Algebra”, Dresden, Germany, June 10–13, 2004 and of the summer school 2004 on general algebra and ordered sets, Malá Morávka, Czech Republic, September 5–11, 2004. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0163-8/pbk). Contributions to General Algebra 16, 25-34 (2005).
MSC:  03G25 06A15
PDF BibTeX XML Cite

Set coverings and invertibility of functional Galois connections. (English) Zbl 1080.06001

Litvinov, G. L. (ed.) et al., Idempotent mathematics and mathematical physics. Proceedings of the international workshop, Vienna, Austria, February 3–10, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3538-6/pbk). Contemporary Mathematics 377, 19-51 (2005).
PDF BibTeX XML Cite
Full Text: arXiv

Galois connections in categorial type logic. (English) Zbl 1263.03022

Moss, Lawrence S. (ed.) et al., Proceedings of the joint meeting of the 6th conference on formal grammar and the 7th conference on mathematics of language, Helsinki, Finland, August 10–12, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 53, 3-20 (2004).
MSC:  03B65 06A15
PDF BibTeX XML Cite
Full Text: DOI

Coproduct transformations on lattices of closed partial orders. (English) Zbl 1116.68595

Ehrig, Hartmut (ed.) et al., Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 – October 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23207-9/pbk). Lecture Notes in Computer Science 3256, 336-351 (2004).
PDF BibTeX XML Cite
Full Text: DOI

Pseudoidentities and hyper-pseudoidentities. (English) Zbl 1082.08004

Nam, Ki-Bong (ed.) et al., Advances in algebra towards millennium problems. Proceedings of the 2004 international IMCC conference on related subjects to Clay problems, Chonbuk National University, Jeonju, Republic of Korea, August 4–6, 2004. Delhi: SAS International Publications (ISBN 81-88296-00-7/hbk). 163-180 (2004).
MSC:  08A62 06A15 08C99
PDF BibTeX XML Cite

Introducing Lagois correspondences. (English) Zbl 1067.06004

Gähler, W. (ed.) et al., Categorical structures and their applications. Proceedings of the North-West European category seminar, Berlin, Germany, March 28–29, 2003 . River Edge, NJ: World Scientific (ISBN 981-256-053-X/hbk). 207-217 (2004).
MSC:  06A15 18A99
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification