{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:34:29Z","timestamp":1725561269249},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206422"},{"type":"electronic","value":"9783540245995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24599-5_2","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T08:53:55Z","timestamp":1280393635000},"page":"3-19","source":"Crossref","is-referenced-by-count":0,"title":["Logic Information Systems for Logic Programmers"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Ridoux","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. A\u00eft-Kaci","year":"1986","unstructured":"A\u00eft-Kaci, H., Nasr, R.: Login: A logic programming language with built-in inheritance. J. Logic Programming\u00a03, 187\u2013215 (1986)","journal-title":"J. Logic Programming"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0743-1066(98)10038-9","volume":"41","author":"C. Belleann\u00e9e","year":"1999","unstructured":"Belleann\u00e9e, C., Brisset, P., Ridoux, O.: A pragmatic reconstruction of \u03bbProlog. The Journal of Logic Programming\u00a041, 67\u2013102 (1999)","journal-title":"The Journal of Logic Programming"},{"key":"2_CR3","unstructured":"Bowman, C.M., Dharap, C., Baruah, M., Camargo, B., Potti, S.: A File System for Information Management. In: ISMM Int. Conf. Intelligent Information Management Systems (1994)"},{"key":"2_CR4","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"1990","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1990)"},{"issue":"3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1017\/S0956796800000861","volume":"3","author":"R. Cosmo Di","year":"1993","unstructured":"Di Cosmo, R.: Deciding type isomorphisms in a type assignment framework. J. Functional Programming\u00a03(3), 485\u2013525 (1993)","journal-title":"J. Functional Programming"},{"key":"2_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1007\/3-540-44652-4_69","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"S. Ferr\u00e9","year":"2001","unstructured":"Ferr\u00e9, S.: Complete and incomplete knowledge in logical information systems. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol.\u00a02143, pp. 782\u2013791. Springer, Heidelberg (2001)"},{"key":"2_CR7","unstructured":"Ferr\u00e9, S.: Syst\u00e8mes d\u2019information logiques: un paradigme logico-contex tuel pour interroger, naviguer et apprendre. PhD thesis, Universit\u00e9 de Rennes 1 (2003)"},{"key":"2_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1033","DOI":"10.1007\/3-540-44957-4_69","volume-title":"Computational Logic - CL 2000","author":"S. Ferr\u00e9","year":"2000","unstructured":"Ferr\u00e9, S., Ridoux, O.: A file system based on concept analysis. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 1033\u20131047. Springer, Heidelberg (2000)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/10722280_26","volume-title":"Conceptual Structures: Logical, Linguistic, and Computational Issues","author":"S. Ferr\u00e9","year":"2000","unstructured":"Ferr\u00e9, S., Ridoux, O.: A logical generalization of formal concept analysis. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol.\u00a01867, pp. 371\u2013384. Springer, Heidelberg (2000)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/3-540-45607-4_11","volume-title":"Logic Based Program Synthesis and Transformation","author":"S. Ferr\u00e9","year":"2002","unstructured":"Ferr\u00e9, S., Ridoux, O.: A framework for developing embeddable customized logics. In: Pettorossi, A. (ed.) LOPSTR 2001. LNCS, vol.\u00a02372, pp. 191\u2013215. Springer, Heidelberg (2002)"},{"key":"2_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-44583-8_14","volume-title":"Conceptual Structures: Broadening the Base","author":"S. Ferr\u00e9","year":"2001","unstructured":"Ferr\u00e9, S., Ridoux, O.: Searching for objects and properties with logical concept analysis. In: Delugach, H.S., Stumme, G. (eds.) ICCS 2001. LNCS (LNAI), vol.\u00a02120, p. 187. Springer, Heidelberg (2001)"},{"key":"2_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/3-540-45483-7_23","volume-title":"Conceptual Structures: Integration and Interfaces","author":"S. Ferr\u00e9","year":"2002","unstructured":"Ferr\u00e9, S., Ridoux, O.: The use of associative concepts in the incremental building of a logical context. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol.\u00a02393, pp. 299\u2013313. Springer, Heidelberg (2002)"},{"key":"2_CR13","unstructured":"Ferr\u00e9, S., Ridoux, O.: Introduction to logic information systems. Elsevier J. Information Processing & Management (in press), available at http:\/\/www.sciencedirect.com\/science"},{"key":"2_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis \u2014 Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis \u2014 Mathematical Foundations. Springer, Heidelberg (1999)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Gifford, D.K., Jouvelot, P., Sheldon, M.A., O\u2019Toole Jr., J.W.: Semantic file systems. In: 13th ACM Symp. on Operating Systems Principles, ACM SIGOPS, pp. 16\u201325 (1991)","DOI":"10.1145\/121133.121138"},{"issue":"5","key":"2_CR16","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1006\/imms.1993.1035","volume":"38","author":"R. Godin","year":"1993","unstructured":"Godin, R., Missaoui, R., April, A.: Experimental comparison of navigation in a Galois lattice with conventional information retrieval methods. International Journal of Man-Machine Studies\u00a038(5), 747\u2013767 (1993)","journal-title":"International Journal of Man-Machine Studies"},{"key":"2_CR17","unstructured":"Gopal, B., Manber, U.: Integrating content-based access mechanisms with hierarchical file systems. In: 3rd ACM Symp. Operating Systems Design and Implementation, pp. 265\u2013278 (1999)"},{"key":"2_CR18","first-page":"49","volume-title":"Int. Conf. Software Engineering","author":"M. Krone","year":"1994","unstructured":"Krone, M., Snelting, G.: On the inference of configuration structures from source code. In: Int. Conf. Software Engineering, pp. 49\u201358. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"2_CR19","volume-title":"LaTeX \u2014 A Document Preparation System","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: LaTeX \u2014 A Document Preparation System, 2nd edn. Addison-Wesley, Reading (1994)","edition":"2"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Levesque, H.: All I know: a study in autoepistemic logic. Artificial Intelligence\u00a042(2) (March 1990)","DOI":"10.1016\/0004-3702(90)90056-6"},{"key":"2_CR21","unstructured":"Lindig, C.: Concept-based component retrieval. In: IJCAI 1995 Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs (1995)"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1007\/3-540-16492-8_94","volume-title":"Third International Conference on Logic Programming","author":"D.A. Miller","year":"1986","unstructured":"Miller, D.A., Nadathur, G.: Higher-order logic programming. In: Shapiro, E. (ed.) ICLP 1986. LNCS, vol.\u00a0225, pp. 448\u2013462. Springer, Heidelberg (1986)"},{"key":"2_CR23","unstructured":"Padioleau, Y., Ridoux, O.: A logic file system. In: Usenix Annual Technical Conference (2003)"},{"key":"2_CR24","unstructured":"Padioleau, Y., Ridoux, O.: The parts-of-file file system. Rapport de recherche 4783, INRIA (2003)"},{"issue":"7","key":"2_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/277633.277634","volume":"33","author":"G. Snelting","year":"1998","unstructured":"Snelting, G.: Concept analysis \u2014 A new framework for program understanding. ACM SIGPLAN Notices\u00a033(7), 1\u201310 (1998)","journal-title":"ACM SIGPLAN Notices"},{"key":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/3-540-58950-3_374","volume-title":"Graph Drawing","author":"F. Vogt","year":"1995","unstructured":"Vogt, F., Wille, R.: TOSCANA \u2014 a graphical tool for analyzing and exploring data. In: Tamassia, R., Tollis, I.G. (eds.) GD 1994. LNCS, vol.\u00a0894, pp. 226\u2013233. Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24599-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T23:54:52Z","timestamp":1559346892000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24599-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206422","9783540245995"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24599-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}