All I know: a study in autoepistemic logic
Artificial Intelligence
An incremental concept formation approach for learning from databases
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
CEM - A Conceptual Email Manager
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
A Logical Generalization of Formal Concept Analysis
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
Formalizing Hypotheses with Concepts
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
Building Concept (Galois) Lattices from Parts: Generalizing the Incremental Methods
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Searching for Objects and Properties with Logical Concept Analysis
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Learning of Simple Conceptual Graphs from Positive and Negative Examples
PKDD '99 Proceedings of the Third European Conference on Principles of Data Mining and Knowledge Discovery
Complete and Incomplete Knowledge in Logical Information Systems
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Pattern Structures and Their Projections
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Introduction to logical information systems
Information Processing and Management: an International Journal
Scale coarsening as feature selection
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
| Hi-index | 0.00 |
A formal context associates to objects a description that combines automatically extracted properties (intrinsic) and manually assigned ones (extrinsic). The extrinsic properties are expressed by users according to intentions that are often subjective and changing, and determine the classification and retrieval of objects. So, we find it important to assist users in this task through the automatic suggestion of extrinsic properties to be assigned and even the discovery of rules to automate these assignements. The principle is to learn from the description of existing objects the extrinsic description of a new object. Because of the changing nature of users' intentions, the assistance given in the incremental building of a logical context must be interactive. We present formal principles, and an application to the classification of email messages.