Sciweavers

4324 search results - page 138 / 865
» A Generalized Representer Theorem
Sort
View
137
Voted
CG
2002
Springer
15 years 4 months ago
A Structure for Modern Computer Narratives
In order to analyze or better develop modern computer games it is critical to have an appropriate representation framework. In this paper a symbolic representation of modern comput...
Clark Verbrugge
TARK
2007
Springer
15 years 10 months 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
137
Voted
EPIA
2001
Springer
15 years 9 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 6 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 6 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