Sciweavers

656 search results - page 15 / 132
» Reasoning about Emotional Agents
Sort
View
CSFW
2000
IEEE
15 years 2 months ago
Reasoning about Secrecy for Active Networks
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
Pankaj Kakkar, Carl A. Gunter, Martín Abadi
LOGCOM
1998
178views more  LOGCOM 1998»
14 years 9 months ago
Applying the Mu-Calculus in Planning and Reasoning about Action
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
Munindar P. Singh
ATAL
2011
Springer
13 years 9 months ago
Reasoning about local properties in modal logic
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
ECAI
2004
Springer
15 years 3 months ago
Focusing Reasoning Through Emotional Mechanisms
Abstract. In concrete environments, where uncertainty and dynamism are pervasive and time and resources are limited, reasoning and decision-making processes raise important problem...
Luís Morgado, Graça Gaspar
ATAL
2008
Springer
14 years 12 months ago
The intensity of perceived emotions in 3D virtual humans
Synthetically generated 3D humans often fail to express a full range of emotions or present different levels of the same type of emotion. Transcending the facial expression, what ...
Ahmad S. Shaarani, Daniela M. Romano