×

Found 1,159 Documents (Results 301–400)

100
MathJax

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

Knowledge description and Galois correspondence. Practical impact of a structural idea. (English) Zbl 1235.06004

Berichte aus der Mathematik. Aachen: Shaker Verlag (ISBN 978-3-8440-0066-5/pbk). viii, 71 p. (2011).
PDF BibTeX XML Cite

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

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