scientific article; zbMATH DE number 2177622

MaRDI QIDQ3021901zbMATH OpenFDO

Authors Jose Antonio Alonso, Joaquín Borrego, María José Hidalgo, Francisco Jesús Martín-Mateos, José Luis Ruiz-Reina

Publication date 21 June 2005

Full work available at URL https://eudml.org/doc/41033

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Knowledge representation (68T30)

Recommendations

• Two basic algorithms in concept analysis
• scientific article; zbMATH DE number 1670907
• scientific article; zbMATH DE number 1670915
• A fast algorithm for formal concept analysis intent
• scientific article; zbMATH DE number 1898282

Cited in

(1)

• Formally verified tableau-based reasoners for a description logic

Describes a project that uses

Uses Software

• PVS

This page was built for publication:

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