922 search results - page 64 / 185 » A generalization of the Lin-Zhao theorem |
TARK
2007
Springer
14 years 4 months ago
2007
Springer
This paper generalizes the notion of common p-beliefs to situations of ambiguity or Knightian uncertainty. When players have multiple prior beliefs,we show that Aumann’s no-agre...
EPIA
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...
CADE
2008
Springer
14 years 8 days ago
2008
Springer
Completion is a general paradigm for applying inferences to generate a canonical presentation of a logical theory, or to semi-decide the validity of theorems, or to answer queries....
EUSFLAT
2001
13 years 11 months ago
2001
We characterize T-measures on weakly generated tribes, where T is a strict triangular norm and we give a Liapunoff Theorem for these measures. This generalizes previous results ob...
APAL
2010
13 years 10 months ago
2010
We study the theory of lovely pairs of geometric structures, in particular o-minimal structures. We characterize "linear" theories in terms of properties of the correspon...