×

Found 1,190 Documents (Results 501–600)

Radon and Helly numbers of segment spaces. (English) Zbl 1169.05048

Changat, Manoj (ed.) et al., Convexity in discrete structures. Joint proceedings of the international instructional workshop on convexity in discrete structures, Thiruvananthapuram, Kerala, India, March 22–April 2, 2006 and the international workshop on metric and convex graph theory, Barcelona, Spain, June 12–16, 2006. Mysore: Ramanujan Mathematical Society (ISBN 978-81-902545-5-7/hbk). Ramanujan Mathematical Society Lecture Notes Series 5, 57-71 (2008).
PDF BibTeX XML Cite

Non-uniform Boolean constraint satisfaction problems with cardinality constraint. (English) Zbl 1156.68399

Kaminski, Michael (ed.) et al., Computer science logic. 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87530-7/pbk). Lecture Notes in Computer Science 5213, 109-123 (2008).
MSC:  68Q25 06A15 68T20
PDF BibTeX XML Cite
Full Text: DOI

Generalistic mathematics as mathematics for the general public. (English) Zbl 1221.00004

Dorfer, G. (ed.) et al., Proceedings of the 73rd workshop on general algebra “73. Arbeitstagung Allgemeine Algebra”, 22nd conference of young algebraists, Alps-Adriatic-University of Klagenfurt, Austria, February 1–4, 2007. Klagenfurt: Verlag Johannes Heyn (ISBN 978-3-7084-0303-8/pbk). Contributions to General Algebra 18, 211-225 (2008).
MSC:  00A06 06A15
PDF BibTeX XML Cite

Closure lattices of closure spaces. (English) Zbl 1148.06003

Dorfer, G. (ed.) et al., Proceedings of the 73rd workshop on general algebra “73. Arbeitstagung Allgemeine Algebra”, 22nd conference of young algebraists, Alps-Adriatic-University of Klagenfurt, Austria, February 1–4, 2007. Klagenfurt: Verlag Johannes Heyn (ISBN 978-3-7084-0303-8/pbk). Contributions to General Algebra 18, 175-188 (2008).
MSC:  06B23 06A15 06B15
PDF BibTeX XML Cite

Closure systems of equivalence relations and their labeled class geometries. (English) Zbl 1134.68054

Ben Yahia, Sadok (ed.) et al., Concept lattices and their applications. Fourth international conference, CLA 2006, Tunis, Tunisia, October 30–November 1, 2006. Selected papers. Berlin: Springer (ISBN 978-3-540-78920-8/pbk). Lecture Notes in Computer Science 4923. Lecture Notes in Artificial Intelligence, 96-106 (2008).
MSC:  68T30 06A15
PDF BibTeX XML Cite
Full Text: DOI

Extracting program logics from abstract interpretations defined by logical relations. (English) Zbl 1316.68042

Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 339-356 (2007).
PDF BibTeX XML Cite
Full Text: DOI

Functorial properties of formal concept analysis. (English) Zbl 1213.68606

Priss, Uta (ed.) et al., Conceptual structures: Knowledge architectures for smart applications. 15th international conference on conceptual structures, ICCS 2007, Sheffield, UK, July 22–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73680-6/pbk). Lecture Notes in Computer Science 4604. Lecture Notes in Artificial Intelligence, 505-508 (2007).
PDF BibTeX XML Cite
Full Text: DOI

Characterizing implications of injective partial orders. (English) Zbl 1213.68597

Priss, Uta (ed.) et al., Conceptual structures: Knowledge architectures for smart applications. 15th international conference on conceptual structures, ICCS 2007, Sheffield, UK, July 22–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73680-6/pbk). Lecture Notes in Computer Science 4604. Lecture Notes in Artificial Intelligence, 492-495 (2007).
MSC:  68T30 03B05 06A15
PDF BibTeX XML Cite
Full Text: DOI

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

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field