Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and
  Computational Properties   Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic
knowledge representation, typically over infinite domains. The motivations for
employing QSTR techniques range from exploiting computational properties that
allow efficient reasoning to capture human cognitive concepts in a
computational framework. The notion of a qualitative calculus is one of the
most prominent QSTR formalisms. This article presents the first overview of all
qualitative calculi developed to date and their computational properties,
together with generalized definitions of the fundamental concepts and methods,
which now encompass all existing calculi. Moreover, we provide a classification
of calculi according to their algebraic properties.

19
The categories of this paper are: eess
12
The categories of this paper are: nucl-th
10
The categories of this paper are: q-bio
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
9
The categories of this paper are: nlin
21
The categories of this paper are: adap-org
24
The categories of this paper are: dg-ga
27
The categories of this paper are: comp-gas
13
The categories of this paper are: quant-ph
20
The categories of this paper are: acc-phys
3
The categories of this paper are: physics
30
The categories of this paper are: q-alg
31
The categories of this paper are: ao-sci
7
The categories of this paper are: hep-th
29
The categories of this paper are: funct-an