Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Formal Concept Analysis and Resolution in Algebraic Domains   We relate two formerly independent areas: Formal concept analysis and logic
of domains. We will establish a correspondene between contextual attribute
logic on formal contexts resp. concept lattices and a clausal logic on coherent
algebraic cpos. We show how to identify the notion of formal concept in the
domain theoretic setting. In particular, we show that a special instance of the
resolution rule from the domain logic coincides with the concept closure
operator from formal concept analysis. The results shed light on the use of
contexts and domains for knowledge representation and reasoning purposes.

4
The categories of this paper are: cond-mat
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
6
The categories of this paper are: astro-ph
36
The categories of this paper are: cmp-lg
37
The categories of this paper are: supr-con
31
The categories of this paper are: ao-sci
15
The categories of this paper are: nucl-ex
17
The categories of this paper are: q-fin
30
The categories of this paper are: q-alg
19
The categories of this paper are: eess
0
The categories of this paper are: hep-ph
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin