Pascal Hitzler, Guo-Qiang Zhang  Home/Search
Context Related
| wv.inf.tudresden.de/~pasc...iccs04.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wv.inf.tudresden.de/~pasca...pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may o#er connections with and insights from other mathematical structures which are normally not restricted to the finite cases. In this paper we establish a systematic connection between formal concept analysis and domain theory as a categorical equivalence, enriching the link between the two areas as outlined in [25]. (Update)
Cited by: More
Default Reasoning over Domains and Concept Hierarchies - Hitzler (Correct)
Active bibliography (related documents): More All
0.5: PCC'03 Workshop - Of Technology Hit (Correct)
0.5: Comonoids In Chu: A Large Cartesian Closed Sibling Of Topological.. - Pratt (2003) (Correct)
0.4: A Generalized Resolution Theorem - Hitzler (2003) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: A Uniform Approach to Logic Programming Semantics - Hitzler, Wendt (2002) (Correct)
0.2: Generalized Ultrametric Spaces in Quantitative Domain Theory - Krötzsch (2004) (Correct)
0.2: Formal Concept Analysis and Resolution in Algebraic Domains - Hitzler, Wendt (2003) (Correct)
BibTeX entry: (Update)
Hitzler, P., Zhang, G.Q.: A cartesian closed category of approximable concept structures. In Pfei#er, H., Wol#, K., eds.: Proceedings of the International Conference On Conceptual Structures, Huntsville, Alabama, USA. Lecture Notes in Computer Science, Springer (2004) To appear. http://citeseer.ist.psu.edu/hitzler04cartesian.html More
@misc{ hitzler04cartesian,
author = "P. Hitzler and G. Zhang",
title = "A cartesian closed category of approximable concept structures",
text = "Hitzler, P., Zhang, G.Q.: A cartesian closed category of approximable concept
structures. In Pfei#er, H., Wol#, K., eds.: Proceedings of the International
Conference On Conceptual Structures, Huntsville, Alabama, USA. Lecture Notes
in Computer Science, Springer (2004) To appear.",
year = "2004",
url = "citeseer.ist.psu.edu/hitzler04cartesian.html" }
Citations (may not include all citations):236 Categories for the Working Mathematician (context) - MacLane - 1971
214 Domains for denotational semantics (context) - Scott - 1982
152 Restructuring lattice theory: an approach based on hierarchi.. (context) - Wille - 1982
129 Formal Concept Analysis --- Mathematical Foundations (context) - Ganter, Wille - 1999
126 Cambridge University Press (context) - Johnstone - 1982
98 Knowledge Representation: Logical (context) - Sowa - 2000
73 Topology via Logic (context) - Vickers - 1989
68 Extending and implementing the stable model semantics - Simons, Niemela et al.
64 A deductive system for nonmonotonic reasoning - Eiter, Leone et al. - 1997
41 Using information systems to solve recursive domain equation.. (context) - Larsen, Winskel - 1991
34 The category of constraint systems is Cartesian-closed (context) - Saraswat - 1992
33 Information Flow: the logic of distributed systems (context) - Barwise, Seligman - 1997
32 Mathematical Structures in Computer Science (context) - Barr - 1991
27 AMS Colloquium Publications (context) - Lattice - 1940
16 Handbook of Categorical Algebra 1: Basic Category Theory (context) - Borceux - 1994
15 Formal Ontology in Conceptual Analysis and Knowledge Represe.. - Guarino, Poli - 1993
15 Logic of Domains (context) - Zhang - 1991
15 Clausal logic and logic programming in algebraic domains - Rounds, Zhang - 2001
5 Chu spaces from the representational viewpoint - Pratt - 1999
3 Formal concept analysis and resolution in algebraic domains - Hitzler, Wendt - 2003
2 From Chu spaces to cpos (context) - Lamarche - 1994
2 Default reasoning over domains and concept hierarchies - Hitzler - 2003
1 A note on strongly finite sequent structures (context) - Spreen - 2004
1 and information systems (context) - Zhang, Shen
1 FcAWN -- concept analysis as a formal method for automated w.. (context) - Zhang, Shen et al.
1 and visualization using L T E X (context) - Shen, Ye et al. - 2004
1 Notes on the Chu construction and recursion - Plotkin - 1993
1 formal concepts (context) - Zhang - 2003
Documents on the same site (http://www.wv.inf.tu-dresden.de/~pascal/pub.html): More
A "Converse" of the Banach Contraction Mapping Theorem - Hitzler, Seda (Correct)
Semantic Operators and Fixed-Point Theory in Logic Programming - Hitzler, Seda (2001) (Correct)
Dislocated Topologies - Hitzler, Seda (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC