{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:16:29Z","timestamp":1760170589853},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540223924"},{"type":"electronic","value":"9783540277699"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27769-9_11","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T19:40:20Z","timestamp":1284579620000},"page":"170-185","source":"Crossref","is-referenced-by-count":10,"title":["A Cartesian Closed Category of Approximable Concept Structures"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Hitzler","sequence":"first","affiliation":[]},{"given":"Guo-Qiang","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","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, Berlin (1999)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Barr, M.: *-Autonomous categories and linear logic. Mathematical Structures in Computer Science\u00a01(2) (1991)","DOI":"10.1017\/S0960129500001274"},{"key":"11_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511895968","volume-title":"Information Flow: the logic of distributed systems","author":"J. Barwise","year":"1997","unstructured":"Barwise, J., Seligman, J.: Information Flow: the logic of distributed systems. Cambridge University Press, Cambridge (1997)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Birkhoff, G.: Lattice Theory, vol.\u00a025. AMS Colloquium Publications (1940)","DOI":"10.1090\/coll\/025"},{"key":"11_CR5","volume-title":"Encyclopedia of Mathematics and its Applictions","author":"F. Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of Categorical Algebra 1: Basic Category Theory. In: Encyclopedia of Mathematics and its Applictions, vol.\u00a053, Cambridge University Press, Cambridge (1994)"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science (LNAI)","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A deductive system for nonmonotonic reasoning. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. Lecture Notes in Computer Science (LNAI), vol.\u00a01265, Springer, Heidelberg (1997)"},{"volume-title":"Formal Ontology in Conceptual Analysis and Knowledge Representation","year":"1993","key":"11_CR7","unstructured":"Guarino, N., Poli, R. (eds.): Formal Ontology in Conceptual Analysis and Knowledge Representation. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"11_CR8","first-page":"157","volume-title":"Using Conceptual Structures \u2014 Contributions to ICCS 2003","author":"P. Hitzler","year":"2003","unstructured":"Hitzler, P., Wendt, M.: Formal concept analysis and resolution in algebraic domains. In: de Moor, A., Ganter, B. (eds.) Using Conceptual Structures \u2014 Contributions to ICCS 2003, pp. 157\u2013170. Shaker Verlag, Aachen (2003)"},{"key":"11_CR9","unstructured":"Hitzler, P.: Default reasoning over domains and concept hierarchies. Technical Report WV\u201303\u201314, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology (2003)"},{"key":"11_CR10","volume-title":"Stone Spaces","author":"P. Johnstone","year":"1982","unstructured":"Johnstone, P.: Stone Spaces. Cambridge University Press, Cambridge (1982)"},{"key":"11_CR11","unstructured":"Lamarche, F.: From Chu spaces to cpos. In: Theory and Formal Methods of Computing 1994, pp. 283\u2013305. Imperial College Press (1994)"},{"issue":"2","key":"11_CR12","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1016\/0890-5401(91)90068-D","volume":"91","author":"K. Larsen","year":"1991","unstructured":"Larsen, K., Winskel, G.: Using information systems to solve recursive domain equations. Information and Computation\u00a091(2), 232\u2013258 (1991)","journal-title":"Information and Computation"},{"key":"11_CR13","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"MacLane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1971)"},{"key":"11_CR14","unstructured":"Plotkin, G.: Notes on the Chu construction and recursion, (manuscript) (1993)"},{"issue":"1-3","key":"11_CR15","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/S0168-0072(98)00043-8","volume":"96","author":"V. Pratt","year":"1999","unstructured":"Pratt, V.: Chu spaces from the representational viewpoint. Ann. Pure Appl. Logic\u00a096(1-3), 319\u2013333 (1999)","journal-title":"Ann. Pure Appl. Logic"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1006\/inco.2001.3073","volume":"171","author":"W.C. Rounds","year":"2001","unstructured":"Rounds, W.C., Zhang, G.-Q.: Clausal logic and logic programming in algebraic domains. Information and Computation\u00a0171, 156\u2013182 (2001)","journal-title":"Information and Computation"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1109\/LICS.1992.185546","volume-title":"Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science","author":"V. Saraswat","year":"1992","unstructured":"Saraswat, V.: The category of constraint systems is Cartesian-closed. In: Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 1992, pp. 341\u2013345. IEEE Computer Society Press, Los Alamitos (1992)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/BFb0012801","volume-title":"Automata, Languages, and Programming","author":"D.S. Scott","year":"1982","unstructured":"Scott, D.S.: Domains for denotational semantics. In: Nielsen, M., Schmidt, E.M. (eds.) ICALP 1982. LNCS, vol.\u00a0140, pp. 577\u2013613. Springer, Heidelberg (1982)"},{"key":"11_CR19","unstructured":"Shen, G., Ye, T., Sun, J., Zhang, G.-Q.: Concept lattices, clustering, and visualization using LATEX (manuscript) (2004)"},{"key":"11_CR20","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence (200x) (to appear)"},{"key":"11_CR21","unstructured":"Sowa, J.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing Co. (2000)"},{"key":"11_CR22","series-title":"Semantic Structures in Computation","volume-title":"Domain Theory, Logic and Computation","author":"D. Spreen","year":"2004","unstructured":"Spreen, D.: A note on strongly finite sequent structures. In: Zhang, Lawson, Liu, Luo (eds.) Domain Theory, Logic and Computation. Semantic Structures in Computation, vol.\u00a03, Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"11_CR23","volume-title":"Topology via Logic","author":"S. Vickers","year":"1989","unstructured":"Vickers, S.: Topology via Logic. Cambridge University Press, Cambridge (1989)"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Rival, I. (ed.) Ordered sets, Reidel, Dordrecht-Boston, pp. 445\u2013470 (1982)","DOI":"10.1007\/978-94-009-7798-3_15"},{"key":"11_CR25","unstructured":"Zhang, G.-Q.: Chu spaces, formal concepts, and domains. In: Proceedings of the 19th Conference on the Mathematical Foundations of Programming Semantics, Montreal, Canada, March 19-23, 2003, Electronic Notes in Computer Science, vol. 83, 16 (2003)"},{"key":"11_CR26","unstructured":"Zhang, G.-Q., Shen, G.: Approximable concepts, Chu spaces, and information systems. In: de Paiva, Pratt (Guest Editors), Special Issue on Chu Spaces and Applications, Theory and Applications of Categories (accepted)"},{"key":"11_CR27","unstructured":"Zhang, G.-Q., Shen, G., Staiger, J., Troy, A., Sun, J.: FcAWN \u2013 concept analysis as a formal method for automated web-menu design (Submitted)"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Zhang, G.-Q.: Logic of Domains, Birkhauser, Boston (1991)","DOI":"10.1007\/978-1-4612-0445-9"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures at Work"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27769-9_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:19:22Z","timestamp":1605759562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27769-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223924","9783540277699"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27769-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}