Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Situated Conditional Reasoning   Conditionals are useful for modelling, but are not always sufficiently
expressive for capturing information accurately. In this paper we make the case
for a form of conditional that is situation-based. These conditionals are more
expressive than classical conditionals, are general enough to be used in
several application domains, and are able to distinguish, for example, between
expectations and counterfactuals. Formally, they are shown to generalise the
conditional setting in the style of Kraus, Lehmann, and Magidor. We show that
situation-based conditionals can be described in terms of a set of rationality
postulates. We then propose an intuitive semantics for these conditionals, and
present a representation result which shows that our semantic construction
corresponds exactly to the description in terms of postulates. With the
semantics in place, we proceed to define a form of entailment for situated
conditional knowledge bases, which we refer to as minimal closure. It is
reminiscent of and, indeed, inspired by, the version of entailment for
propositional conditional knowledge bases known as rational closure. Finally,
we proceed to show that it is possible to reduce the computation of minimal
closure to a series of propositional entailment and satisfiability checks.
While this is also the case for rational closure, it is somewhat surprising
that the result carries over to minimal closure.

17
The categories of this paper are: q-fin
37
The categories of this paper are: supr-con
15
The categories of this paper are: nucl-ex
31
The categories of this paper are: ao-sci
6
The categories of this paper are: astro-ph
11
The categories of this paper are: hep-lat
32
The categories of this paper are: atom-ph
24
The categories of this paper are: dg-ga
33
The categories of this paper are: plasm-ph
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
30
The categories of this paper are: q-alg
12
The categories of this paper are: nucl-th
22
The categories of this paper are: chao-dyn
2
The categories of this paper are: math
28
The categories of this paper are: alg-geom