Sciweavers

922 search results - page 64 / 185
» A generalization of the Lin-Zhao theorem
Sort
View
TARK
2007
Springer
16 years 7 days ago
Common p-belief and uncertainty
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...
Jayant V. Ganguli
EPIA
2001
Springer
15 years 10 months ago
A Procedural Semantics for Multi-adjoint Logic Programming
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...
Jesús Medina, Manuel Ojeda-Aciego, Peter Vo...
CADE
2008
Springer
15 years 8 months ago
Canonical Inference for Implicational Systems
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....
Maria Paola Bonacina, Nachum Dershowitz
EUSFLAT
2001
15 years 7 months ago
Strict triangular norms and characterization of T-measures
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...
Giuseppina Barbieri, Mirko Navara, Hans Weber
APAL
2010
79views more  APAL 2010»
15 years 6 months ago
On lovely pairs of geometric structures
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...
Alexander Berenstein, Evgueni Vassiliev