925 search results - page 26 / 185 » Probabilistic and Logical Beliefs |
DALT
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper is concerned with designing architectures for rational agents. In the proposed architecture, agents have belief bases that are theories in a multi-modal, highe...
FLAIRS
1998
13 years 9 months ago
1998
"Impossibility, theorems"haverecently appearedin the AIliterature whichhavebeeninterpreted as forbidding truth-functional uncertainty calculi. Such"logicist" c...
LANMR
2004
13 years 9 months ago
2004
We recently proposed a definition of a language for nonmonotonic reasoning based on intuitionistic logic. Our main idea is a generalization of the notion of answer sets for arbitr...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
This paper describes a method for risk analysis based on the approach used in CRAMM, but instead of using discrete measures for threats and vulnerabilities and lookup tables to de...
SUM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper we introduce a fixpoint semantics for quantitative logic programming, which is able to both combine and correlate evidence from different sources of infor...