A cartesian closed category of approximable concept structures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3127, Issue , 2004, Pages 170-185

  Hitzler, Pascal ^a   Zhang, Guo Qiang ^b  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b Case Western Reserve University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ALGEBRAIC LATTICES; CARTESIAN CLOSED CATEGORY; CARTESIANS; CONCEPT STRUCTURES; DOMAIN THEORY; FORMAL CONTEXTS; MATHEMATICAL STRUCTURE; SCOTT-CONTINUOUS FUNCTIONS;

FORMAL CONCEPT ANALYSIS;

EID: 35048832002     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27769-9_11     Document Type: Article

References (28)

1. Ganter, B., Wille, R.: Formal Concept Analysis -Mathematical Foundations. Springer, Berlin (1999).
2. Barr, M.:-Autonomous categories and linear logic. Mathematical Structures in Computer Science 1 (2), 1991.
3. Barwise, J., Seligman, J.: Information Flow: the logic of distributed systems. Cambridge University Press, 1997.
4. Birkhoff, G.: Lattice Theory. AMS Colloquium Publications, Vol. 25, 1940.
5. Borceux, F.: Handbook of Categorical Algebra 1: Basic Category Theory. Volume 53 of Encyclopedia of Mathematics and its Applictions. Cambridge University Press (1994).
6. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A deductive system for nonmonotonic reasoning. In Dix, J., Furbach, U., Nerode, A., eds.: Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97. Volume 1265 of Lecture Notes in Artificial Intelligence., Springer, Berlin (1997).
7. Guarino, N., Poli, R. (eds.): Formal Ontology in Conceptual Analysis and Knowledge Representation. Kluwer Academic Publishers, 1993.
8. Hitzler, P., Wendt, M.: Formal concept analysis and resolution in algebraic domains. In de Moor, A., Ganter, B., eds.: Using Conceptual Structures -Contributions to ICCS 2003, Shaker Verlag, Aachen (2003) 157-170.
9. Hitzler, P.: Default reasoning over domains and concept hierarchies. Technical Report WV-03-14, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology (2003).
10. Johnstone, P.: Stone Spaces, Cambridge University Press, 1982.
11. Lamarche, F.: From Chu spaces to epos. Theory and Formal Methods of Computing 94, Imperial College Press, 283-305, 1994.
12. Larsen, K., Winskel, G.: Using information systems to solve recursive domain equations. Information and Computation, Vol. 91(2):232-258, 1991.
13. MacLane, S.: Categories for the Working Mathematician, Springer-Verlag (1971).
14. Plotkin, G.: Notes on the Chu construction and recursion, manuscript, 1993.
15. Pratt, V.: Chu spaces from the representational viewpoint. Ann. Pure Appl. Logic 96 no. 1-3, 319-333, 1999.
16. Rounds, W.C., Zhang, G.-Q.: Clausal logic and logic programming in algebraic domains. Information and Computation 171 (2001) 156-182.
17. 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, IEEE Computer Society Press (1992) 341-345.
18. Scott, D.S.: Domains for denotational semantics. In Nielsen, M, Schmidt, E.M., eds.: Automata, Languages and Programming, 9th Colloquium, July 1982, Aarhus, Denmark, Proceedings. Volume 140 of Lecture Notes in Computer Science., Springer, Berlin (1982) 577-613.
19. Shen, G., Ye, T., Sun, J. and Zhang, G.-Q.: Concept lattices, clustering, and visualization using I^TEX, manuscript, 2004.
20. Simons, P., Niemela, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence (200x), To appear.
21. 2l. Sowa, J.: Knowledge Representation: Logical, Philosophical, and Computational Foundations, Brooks Cole Publishing Co., 2000.
22. 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. 3), Kluwer Academic Publishers, Dordrecht, 2004.
23. Vickers, S.: Topology via Logic, Cambridge University Press, 1989.
24. Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In Ivan Rival, editor, Ordered sets, Reidel, Dordrecht- Boston(1982), 445-470.
25. Zhang, G.-Q.: Chu spaces, formal concepts, and domains. 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 pages, 2003.
26. Zhang, G.-Q., Shen, G.: Approximable concepts, Chu spaces, and information systems. In de Paiva and Pratt (Guest Editors), Special Issue on Chu Spaces and Applications, Theory and Applications of Categories, accepted.
27. Zhang, G.-Q., Shen, G., Staiger, J., Troy, A., Sun, J.: FcAWN - concept analysis as a formal method for automated web-menu design. Submitted.
28. Zhang, G.-Q.: Logic of Domains, Birkhauser, Boston, 1991.