1078 search results - page 141 / 216 » The Modal Logic of Probability |
144
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
152
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
192
click to vote
ENTCS
2006
15 years 3 months ago
2006
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
128
click to vote
DLOG
2003
15 years 5 months ago
2003
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...
145
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...