Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Reasoning on Interval and Point-based Disjunctive Metric Constraints in
  Temporal Contexts   We introduce a temporal model for reasoning on disjunctive metric constraints
on intervals and time points in temporal contexts. This temporal model is
composed of a labeled temporal algebra and its reasoning algorithms. The
labeled temporal algebra defines labeled disjunctive metric point-based
constraints, where each disjunct in each input disjunctive constraint is
univocally associated to a label. Reasoning algorithms manage labeled
constraints, associated label lists, and sets of mutually inconsistent
disjuncts. These algorithms guarantee consistency and obtain a minimal network.
Additionally, constraints can be organized in a hierarchy of alternative
temporal contexts. Therefore, we can reason on context-dependent disjunctive
metric constraints on intervals and points. Moreover, the model is able to
represent non-binary constraints, such that logical dependencies on disjuncts
in constraints can be handled. The computational cost of reasoning algorithms
is exponential in accordance with the underlying problem complexity, although
some improvements are proposed.

8
The categories of this paper are: hep-ex
6
The categories of this paper are: astro-ph
11
The categories of this paper are: hep-lat
37
The categories of this paper are: supr-con
33
The categories of this paper are: plasm-ph
28
The categories of this paper are: alg-geom
7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int
20
The categories of this paper are: acc-phys
21
The categories of this paper are: adap-org
2
The categories of this paper are: math
29
The categories of this paper are: funct-an
24
The categories of this paper are: dg-ga
14
The categories of this paper are: math-ph
19
The categories of this paper are: eess
4
The categories of this paper are: cond-mat