Sciweavers

925 search results - page 144 / 185
» Probabilistic Belief Logics
Sort
View
ACII
2005
Springer
14 years 4 months ago
Intelligent Expressions of Emotions
We propose an architecture of an embodied conversational agent that takes into account two aspects of emotions: the emotions triggered by an event (the felt emotions) and the expre...
Magalie Ochs, Radoslaw Niewiadomski, Catherine Pel...
ICCSA
2005
Springer
14 years 4 months ago
A Formal Analysis of Fairness and Non-repudiation in the RSA-CEGD Protocol
Recently, Nenadi´c et al. (2004) proposed the RSA-CEGD protocol for certified delivery of e-goods. This is a relatively complex scheme based on verifiable and recoverable encryp...
Almudena Alcaide, Juan M. Estévez-Tapiador,...
KR
1992
Springer
14 years 2 months ago
Conversational Events and Discourse State Change: A Preliminary Report
I argue that an action-based model of belief update is largely compatible with the proposals advanced in the literature on formal approaches to discourse interpretation, especiall...
Massimo Poesio
ECAI
2006
Springer
14 years 2 months ago
Compiling Possibilistic Knowledge Bases
Abstract. Possibilistic knowledge bases gather propositional formulas associated with degrees belonging to a linearly ordered scale. These degrees reflect certainty or priority, de...
Salem Benferhat, Henri Prade
ICLP
1991
Springer
14 years 1 months ago
Nonmonotonic Reasoning with Well Founded Semantics
Well Founded Semantics is adequate to capture nonmonotonic reasoning if we interpret the Well Founded model of a program P as a (possibly incomplete) view of the world. Thus the W...
Luís Moniz Pereira, Joaquim Nunes Apar&iacu...