1223 search results - page 68 / 245 » A Logic for Reasoning about Evidence |
150
click to vote
LPNMR
2005
Springer
15 years 11 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
196
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...
179
click to vote
ATAL
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
168
click to vote
DALT
2009
Springer
15 years 11 months ago
2009
Springer
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
148
click to vote
JANCL
2007
15 years 6 months ago
2007
The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discr...