×

Found 210 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).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

Category theory as a foundation for the concept analysis of complex systems and time series. (English) Zbl 1454.06003

Kuś, Marek (ed.) et al., Category theory in physics, mathematics, and philosophy. Proceedings of the conference “Category Theory in Physics, Mathematics and Philosophy”, Warsaw, Poland, November 16–17, 2017. Cham: Springer; Warsaw: International Center for Formal Ontology. Springer Proc. Phys. 235, 119-134 (2019).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI Link

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

Bases of closure systems. (English) Zbl 1403.06004

Grätzer, George (ed.) et al., Lattice theory: special topics and applications. Volume 2. Basel: Birkhäuser/Springer (ISBN 978-3-319-44235-8/pbk; 978-3-319-44236-5/ebook). 181-213 (2016).
MSC:  06B05 06A15 06D75
PDF BibTeX XML Cite
Full Text: DOI

Convex geometries. (English) Zbl 1390.06005

Grätzer, George (ed.) et al., Lattice theory: special topics and applications. Volume 2. Basel: Birkhäuser/Springer (ISBN 978-3-319-44235-8/pbk; 978-3-319-44236-5/ebook). 153-179 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Lattices of algebraic subsets and implicational classes. (English) Zbl 1375.06005

Grätzer, George (ed.) et al., Lattice theory: special topics and applications. Volume 2. Basel: Birkhäuser/Springer (ISBN 978-3-319-44235-8/pbk; 978-3-319-44236-5/ebook). 103-151 (2016).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI Link

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).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

On closure systems and adjunctions between fuzzy preordered sets. (English) Zbl 1314.06005

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, 114-127 (2015).
MSC:  06A15 06A75
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

Adjoint triples and residuated aggregators. (English) Zbl 1432.03106

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, 345-354 (2014).
MSC:  03E72 03G25 06A15
PDF BibTeX XML Cite
Full Text: DOI

Generating isotone Galois connections on an unstructured codomain. (English) Zbl 1432.06001

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, 91-99 (2014).
MSC:  06A15 06A06
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

Chromatic polynomials and rings in species. (English. French summary) Zbl 1393.05160

Proceedings of the 26th international conference on formal power series and algebraic combinatorics, FPSAC 2014, Chicago, IL, USA, June 29 – July 3, 2014. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 691-702 (2014).
PDF BibTeX XML Cite
Full Text: Link

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).
PDF BibTeX XML Cite
Full Text: DOI Link

Relation algebra throughout Galois connections. (English) Zbl 1373.03128

Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications (ISBN 978-1-84890-144-5/pbk). 49-62 (2014).
MSC:  03G15 06A15
PDF BibTeX XML Cite

A short introduction to clones. (English) Zbl 1341.08003

Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 107-120, electronic only (2014).
MSC:  08A40 06A15 18C10
PDF BibTeX XML Cite
Full Text: DOI

A more general framework for Cogalois theory. (English) Zbl 1346.20026

Ibadula, Denis (ed.) et al., Bridging algebra, geometry, and topology. Selected papers based on the presentations at the international conference “Experimental and theoretical methods in algebra, geometry and topology”, Eforie Nord, Romania, June 20–25, 2013. Cham: Springer (ISBN 978-3-319-09185-3/hbk; 978-3-319-09186-0/ebook). Springer Proceedings in Mathematics & Statistics 96, 37-84 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the existence of isotone Galois connections between preorders. (English) Zbl 1444.06003

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, 67-79 (2014).
MSC:  06A15
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: arXiv Link

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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

Proper mergings of stars and chains are counted by sums of antidiagonals in certain convolution arrays. (English) Zbl 1396.06001

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, 172-187 (2013).
PDF BibTeX XML Cite
Full Text: DOI arXiv

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).
PDF BibTeX XML Cite
Full Text: DOI

Towards the theory of approximate systems: variable range categories. (English) Zbl 1301.03044

Arhangel’skii, Alexander V. (ed.) et al., Proceedings of the international conference on topology and its applications (ICTA 2011), Islamabad, Pakistan, July 4–10, 2011. Cambridge: Cambridge Scientific Publishers (ISBN 978-1-908106-17-9/pbk). 265-284 (2012).
PDF BibTeX XML Cite

Symmetric closure operators on orthoposets. (English) Zbl 1284.06009

Czermak, J. (ed.) et al., Proceedings of the 81st workshop on general algebra “81. Arbeitstagung Allgemeine Algebra”, Salzburg, Austria, February 3–6, 2011. Klagenfurt: Verlag Johannes Heyn (ISBN 978-3-7084-0447-9/pbk). Contributions to General Algebra 20, 19-28 (2012).
MSC:  06A15 06C15
PDF BibTeX XML Cite

Hypercubes of duality. (English) Zbl 1272.03061

Béziau, Jean-Yves (ed.) et al., Around and beyond the square of opposition. Basel: Birkhäuser (ISBN 978-3-0348-0378-6/pbk; 978-3-0348-0379-3/ebook). Studies in Universal Logic, 293-301 (2012).
MSC:  03B05 03B10 06A15
PDF BibTeX XML Cite
Full Text: DOI

Solving general fuzzy relation equations using property-oriented concept lattices. (English) Zbl 1252.03115

Greco, Salvatore (ed.) et al., Advances in computational intelligence. 14th international conference on information processing and management of uncertainty in knowledge-based systems, IPMU 2012, Catania, Italy, July 9–13, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31714-9/pbk; 978-3-642-31715-6/ebook). Communications in Computer and Information Science 298, 395-404 (2012).
PDF BibTeX XML Cite
Full Text: DOI

Relational concepts in social choice. (English) Zbl 1364.91051

Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 278-293 (2012).
PDF BibTeX XML Cite
Full Text: DOI

Incremental pseudo rectangular organization of information relative to a domain. (English) Zbl 1364.68336

Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 264-277 (2012).
MSC:  68T30 06A15 68T05
PDF BibTeX XML Cite
Full Text: DOI

Automated reasoning in higher-order regular algebra. (English) Zbl 1364.68326

Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 66-81 (2012).
MSC:  68T15 06A15 06F07 68Q70
PDF BibTeX XML Cite
Full Text: DOI

Some notes on managing closure operators. (English) Zbl 1360.68821

Domenach, Florent (ed.) et al., Formal concept analysis. 10th international conference, ICFCA 2012, Leuven, Belgium, May 7–10, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29891-2/pbk). Lecture Notes in Computer Science 7278. Lecture Notes in Artificial Intelligence, 278-291 (2012).
MSC:  68T30 06A15 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Good classification tests as formal concepts. (English) Zbl 1360.68817

Domenach, Florent (ed.) et al., Formal concept analysis. 10th international conference, ICFCA 2012, Leuven, Belgium, May 7–10, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29891-2/pbk). Lecture Notes in Computer Science 7278. Lecture Notes in Artificial Intelligence, 211-226 (2012).
MSC:  68T30 06A15 68T05
PDF BibTeX XML Cite
Full Text: DOI

A connection between clone theory and FCA provided by duality theory. (English) Zbl 1360.08002

Domenach, Florent (ed.) et al., Formal concept analysis. 10th international conference, ICFCA 2012, Leuven, Belgium, May 7–10, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29891-2/pbk). Lecture Notes in Computer Science 7278. Lecture Notes in Artificial Intelligence, 148-163 (2012).
PDF BibTeX XML Cite
Full Text: DOI Link

Calculating graph algorithms for dominance and shortest path. (English) Zbl 1358.68077

Gibbons, Jeremy (ed.) et al., Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31112-3/pbk). Lecture Notes in Computer Science 7342, 132-156 (2012).
PDF BibTeX XML Cite
Full Text: DOI Link

Partial approximative set theory: a view from Galois connections. (English) Zbl 1245.68207

Egri-Nagy, Attila (ed.) et al., Proceedings of the 8th international conference on applied informatics (ICAI 2010), Eger, Hungary, January 27–30, 2010. 2 Volumes. Eger: BVB Nyomda és Kiadó Kft. (ISBN 978-963-9894-72-3/pbk). 53-60 (2012).
MSC:  68T37 03E72 06A15
PDF BibTeX XML Cite

An algebraic theory of complexity for valued constraints: establishing a Galois connection. (English) Zbl 1343.68106

Murlak, Filip (ed.) et al., Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22–26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22992-3/pbk). Lecture Notes in Computer Science 6907, 231-242 (2011).
MSC:  68Q25 06A15 90C60
PDF BibTeX XML Cite
Full Text: DOI

Programming from Galois connections. (English) Zbl 1329.68079

de Swart, Harrie (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). Lecture Notes in Computer Science 6663, 294-313 (2011).
MSC:  68N30 06A15 68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

Abstract concept lattices. (English) Zbl 1326.68289

Valtchev, Petko (ed.) et al., Formal concept analysis. 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2–6, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20513-2/pbk). Lecture Notes in Computer Science 6628. Lecture Notes in Artificial Intelligence, 235-250 (2011).
PDF BibTeX XML Cite
Full Text: DOI Link

Dynamic epistemic algebra with post-conditions to reason about robot navigation. (English) Zbl 1326.68276

Beklemishev, Lev D. (ed.) et al., Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18–20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20919-2/pbk). Lecture Notes in Computer Science 6642. Lecture Notes in Artificial Intelligence, 161-175 (2011).
PDF BibTeX XML Cite
Full Text: DOI

Semilinear space, Galois connections and fuzzy relation equations. (English) Zbl 1253.03083

Cao, Bing-Yuan (ed.) et al., Quantitative logic and soft computing 2010. Vol. 2. Proceedings of the 2nd international conference (QL & SC 2010), Xiamen, China, October 22–25, 2010. Berlin: Springer (ISBN 978-3-642-15659-5/pbk; 978-3-642-15660-1/ebook). Advances in Intelligent and Soft Computing 82, 71-79 (2010).
MSC:  03E72 03G25 06A15
PDF BibTeX XML Cite
Full Text: DOI

\(C\)-clones and \(C\)-automorphism groups. (English) Zbl 1229.08002

Chajda, I. (ed.) et al., Proceedings of the 79th workshop on general algebra “79. Arbeitstagung Allgemeine Algebra”, 25th conference of young algebraists, Palacký University Olomouc, Olomouc, Czech Republic, February 12–14, 2010. Klagenfurt: Verlag Johannes Heyn (ISBN 978-3-7084-0407-3/pbk). Contributions to General Algebra 19, 1-12 (2010).
PDF BibTeX XML Cite

On big lattices of classes of \(R\)-modules defined by closure properties. (English) Zbl 1211.16005

Dinh Van Huynh (ed.) et al., Advances in ring theory. Papers of the conference on algebra and applications, Athens, OH, USA, June 18–21, 2008. Basel: Birkhäuser (ISBN 978-3-0346-0285-3/hbk). Trends in Mathematics, 19-36 (2010).
MSC:  16D90 16S90 06A15
PDF BibTeX XML Cite

Two basic algorithms in concept analysis. (English) Zbl 1274.68484

Kwuida, Léonard (ed.) et al., Formal concept analysis. 8th international conference, ICFCA 2010, Agadir, Morocco, March 15–18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11927-9/pbk). Lecture Notes in Computer Science 5986. Lecture Notes in Artificial Intelligence, 312-340 (2010).
MSC:  68T30 05C85 06A15
PDF BibTeX XML Cite
Full Text: DOI

On links between concept lattices and related complexity problems. (English) Zbl 1274.06021

Kwuida, Léonard (ed.) et al., Formal concept analysis. 8th international conference, ICFCA 2010, Agadir, Morocco, March 15–18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11927-9/pbk). Lecture Notes in Computer Science 5986. Lecture Notes in Artificial Intelligence, 138-144 (2010).
MSC:  06B23 06A15 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Counting of Moore families for \(n=7\). (English) Zbl 1274.05013

Kwuida, Léonard (ed.) et al., Formal concept analysis. 8th international conference, ICFCA 2010, Agadir, Morocco, March 15–18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11927-9/pbk). Lecture Notes in Computer Science 5986. Lecture Notes in Artificial Intelligence, 72-87 (2010).
MSC:  05A15 06A15
PDF BibTeX XML Cite
Full Text: DOI

On rough concept lattices. (English) Zbl 1342.68314

Chen, Y.-X. (ed.) et al., Proceedings of the fifth international symposium on domain theory (ISDT 2009), Shanghai, China, September 12–14, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 257, 117-133 (2009).
PDF BibTeX XML Cite
Full Text: DOI

Abstract interpretation from a denotational-semantics perspective. (English) Zbl 1337.68162

Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 19-37 (2009).
MSC:  68Q55 06A15 06B35
PDF BibTeX XML Cite
Full Text: DOI

Data mining, reasoning and incremental information retrieval through non enlargeable rectangular relation coverage. (English) Zbl 1267.68226

Berghammer, Rudolf (ed.) et al., Relations and Kleene algebra in computer science. 11th international conference on relational methods in computer science, RelMiCS 2009, and 6th international conference on applications of Kleene algebra, AKA 2009, Doha, Qatar, November 1–5, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04638-4/pbk). Lecture Notes in Computer Science 5827, 199-210 (2009).
PDF BibTeX XML Cite
Full Text: DOI

Computing and visualizing closure objects using relation algebra and RelView. (English) Zbl 1260.68477

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 11th international workshop, CASC 2009, Kobe, Japan, September 13–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04102-0/pbk). Lecture Notes in Computer Science 5743, 29-44 (2009).
PDF BibTeX XML Cite
Full Text: DOI

Closure operators for order structures. (English) Zbl 1252.06002

Kutyłowski, Mirosław (ed.) et al., Fundamentals of computation theory. 17th international symposium, FCT 2009, Wrocław, Poland, September 2–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03408-4/pbk). Lecture Notes in Computer Science 5699, 217-229 (2009).
MSC:  06A15 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

Restructuring lattice theory: an approach based on hierarchies of concepts. (English) Zbl 1247.06004

Ferré, Sébastien (ed.) et al., Formal concept analysis. 7th international conference, ICFCA 2009, Darmstadt, Germany, May 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-01814-5/pbk). Lecture Notes in Computer Science 5548. Lecture Notes in Artificial Intelligence, 314-339 (2009).
PDF BibTeX XML Cite
Full Text: DOI

Pre-Galois connection on coalgebras for generic component refinement. (English) Zbl 1279.68061

Pu, Geguang (ed.) et al., Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22–23, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 207, 203-217 (2008).
MSC:  68N30 06A15 18C20
PDF BibTeX XML Cite
Full Text: DOI

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

Partial polymorphisms and constraint satisfaction problems. (English) Zbl 1171.68502

Creignou, Nadia (ed.) et al., Complexity of constraints. An overview of current research themes. Berlin: Springer (ISBN 978-3-540-92799-0/pbk). Lecture Notes in Computer Science 5250, 229-254 (2008).
PDF BibTeX XML Cite
Full Text: DOI

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

Filter Results by …

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification