972 search results - page 63 / 195 » Reasoning with Conditional Time-Intervals |
TARK
2007
Springer
14 years 1 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...
CSL
2005
Springer
14 years 1 months ago
2005
Springer
We consider the setting of L-nets, recently introduced by Faggian and Maurel as a game model of concurrent interaction and based on Girard’s Ludics. We show how L-nets satisfying...
TARK
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we provide a notion of structure preserving maps (i.e. knowledge-belief morphisms) between knowledge-belief spaces. Then we show that - under the condition that the...
ISMVL
1991
IEEE
13 years 11 months ago
1991
IEEE
We suggest a new representation of defeasible entailment and specificity in the framework of default logic. The representation is based on augmenting the underlying classical lan...
MVA
2007
13 years 9 months ago
2007
The Agent WiSARD methodology for intelligent active video surveillance systems is proposed in this paper. The hybrid neurosymbolic system (called ISIDIS) is based on the integrati...