Michael Bain. Predicate Invention and the Revision of First-Order Concept Lattices. In Peter W. Eklund, editor, Concept Lattices, Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings. Volume 2961 of Lecture Notes in Computer Science, pages 329-336, Springer, 2004. [doi]
Abstract is missing.