Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings
Author: Bernhard Ganter
Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the Third International Conference on Formal Concept Analysis, ICFCA 2005, held in Lens, France in February 2005. The 28 revised full papers presented together with an invited paper were carefully reviewed and selected for inclusion in the book. The papers reflect both progress in the foundational theory of formal concept analysis and its practical applications; algorithmic aspects are discussed as well as efforts to broaden the field.
This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.