A file system based on concept analysis

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1861, Issue , 2000, Pages 1033-1047

  Ferré, Sébastien ^a   Ridoux, Olivier ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONCEPT ANALYSIS; EFFICIENT IMPLEMENTATION; FILE SYSTEMS; FORMAL CONCEPTS; FORMAL CONTEXTS; STANDARD INTERFACE;

ARTIFICIAL INTELLIGENCE;

LOGIC PROGRAMMING;

EID: 23044518114     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44957-4_69     Document Type: Conference Paper

References (10)

1. L. Chaudron and N. Maille. 1st order logic formal concept analysis: from logic programming to theory. Computer and Information Science, 13(3), 1998.
2. S. Ferr-e and O. Ridoux. Une g-en-eralisation logique de l'analyse de concepts l ogique. Technical Report RR-3820, Inria, Institut National de Recherche en Informatique et en Automatique, December 1999. An english version is available at http://www.irisa.fr/lande/ferre.
3. S-ebastien Ferr-e and Olivi er Ridoux. A logical generalization of formal con-cept analysis. In Guy Mineau and Bernhard Ganter, editors, International Conference on Conceptual Structures, August 2000. To appear.
4. David K. Gi-ord, Pierre Jouvelot , Mark A. Sheldon, and James W. Jr O'Toole. Semantic-le systems. In Proceedings of 13th ACM Symposium on Operating Systems Principles, pages 16-25. ACM SIGOPS, October 1991.
5. Burra Gopal and Udi Ma nber. Integrating content-based access mechanisms with hierarchical-le systems. In Proceedings of third symposium on Operat-ing Systems Design and Implementation, pages 265-278. USENIX Associa-tion, 1999.
6. R. Godin,R. Missaoui,A. April Experimental comparison of navi-gation in a Galois lattice with conventional information retrieval methods International Journal of Man-Machine Studies 38 5 747-767 1993.
7. B. Ganter and R. Wille. Formal Concept Analysis | Mathematical Foun-dations. Springer, 1999.
8. M. Krone and G. Snelting. On the inference of con-guration structures from source code. In Proceedings of the 16t h International Conference on Software Engineering, pages 49-58. IEEE Computer Society Press, May 1994.
9. C. Lindig. Concept-based component retrieval. In IJCAI95 Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs, 1995.
10. G. Snelting. Concept analysis | A new framework for program understand-ing. ACM SIGPLAN Notices, 33(7):1-10, July 1998.