On computable formal concepts in computable formal contexts

MaRDI QIDQ3544786zbMATH OpenFDO

Authors M. A. L'Vova, Andrei S. Morozov

Publication date 8 December 2008

Full work available at URL https://eudml.org/doc/55577, http://www.emis.de/journals/SMZ/2007/05/1083.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

computable conceptcomputable formal contextcomputable modelformal concept analysis

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Knowledge representation (68T30)

Recommendations

• On effective presentations of formal concept lattices
• On computable automorphisms in formal concept analysis
• scientific article; zbMATH DE number 877297
• Formal contexts for algebraic domains
• scientific article; zbMATH DE number 1670915

Cited in

(7)

• Study of a universal formal context
• scientific article; zbMATH DE number 1670915 (Why is no real title available?)
• Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
• scientific article; zbMATH DE number 7361351 (Why is no real title available?)
• Computing knowledge in equational extensions of subterm convergent theories
• On effective presentations of formal concept lattices
• On computable automorphisms in formal concept analysis

This page was built for publication: On computable formal concepts in computable formal contexts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3544786)