×

Found 68 Documents (Results 1–68)

100
MathJax

Viewing morphisms between pattern structures via their concept lattices and via their representations. (English) Zbl 1461.68226

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, 597-608 (2017).
MSC:  68T30 06A06 06B99
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

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

Formal contexts for algebraic domains. (English) Zbl 1337.68245

Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 79-90, electronic only (2014).
MSC:  68T30 06B35
PDF BibTeX XML Cite
Full Text: DOI

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

Model refinement using bisimulation quotients. (English) Zbl 1308.68040

Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 76-91 (2011).
MSC:  68N30 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software