Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Situation Calculus by Term Rewriting   A version of the situation calculus in which situations are represented as
first-order terms is presented. Fluents can be computed from the term
structure, and actions on the situations correspond to rewrite rules on the
terms. Actions that only depend on or influence a subset of the fluents can be
described as rewrite rules that operate on subterms of the terms in some cases.
If actions are bidirectional then efficient completion methods can be used to
solve planning problems. This representation for situations and actions is most
similar to the fluent calculus of Thielscher \cite{Thielscher98}, except that
this representation is more flexible and more use is made of the subterm
structure. Some examples are given, and a few general methods for constructing
such sets of rewrite rules are presented. This paper was submitted to FSCD 2020
on December 23, 2019.

5
The categories of this paper are: gr-qc
30
The categories of this paper are: q-alg
19
The categories of this paper are: eess
35
The categories of this paper are: mtrl-th
10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
14
The categories of this paper are: math-ph
25
The categories of this paper are: patt-sol
20
The categories of this paper are: acc-phys
32
The categories of this paper are: atom-ph
34
The categories of this paper are: chem-ph
9
The categories of this paper are: nlin
33
The categories of this paper are: plasm-ph
18
The categories of this paper are: econ