Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Knowledge of Uncertain Worlds: Programming with Logical Constraints   Programming with logic for sophisticated applications must deal with
recursion and negation, which together have created significant challenges in
logic, leading to many different, conflicting semantics of rules. This paper
describes a unified language, DA logic, for design and analysis logic, based on
the unifying founded semantics and constraint semantics, that support the power
and ease of programming with different intended semantics. The key idea is to
provide meta-constraints, supports the use of uncertain information in the form
of either undefined values or possible combinations of values or both, and
promote the use of knowledge units that can be instantiated by any new
predicates, including predicates with additional arguments.

4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom
30
The categories of this paper are: q-alg
12
The categories of this paper are: nucl-th
33
The categories of this paper are: plasm-ph
37
The categories of this paper are: supr-con
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat
25
The categories of this paper are: patt-sol
16
The categories of this paper are: stat
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an