Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Epistemic Logic Programs: A Different World View   Epistemic Logic Programs (ELPs), an extension of Answer Set Programming (ASP)
with epistemic operators, have received renewed attention from the research
community in recent years. Classically, evaluating an ELP yields a set of world
views, with each being a set of answer sets. In this paper, we propose an
alternative definition of world views that represents them as three-valued
assignments, where each atom can be either always true, always false, or
neither. Based on several examples, we show that this definition is natural and
intuitive. We also investigate relevant computational properties of these new
semantics, and explore how other notions, like strong equivalence, are
affected.

36
The categories of this paper are: cmp-lg
19
The categories of this paper are: eess
24
The categories of this paper are: dg-ga
17
The categories of this paper are: q-fin
26
The categories of this paper are: bayes-an
32
The categories of this paper are: atom-ph
6
The categories of this paper are: astro-ph
20
The categories of this paper are: acc-phys
21
The categories of this paper are: adap-org
33
The categories of this paper are: plasm-ph
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
2
The categories of this paper are: math
13
The categories of this paper are: quant-ph
34
The categories of this paper are: chem-ph
11
The categories of this paper are: hep-lat