Sciweavers

656 search results - page 98 / 132
» Reasoning about Emotional Agents
Sort
View
ATAL
2007
Springer
16 years 10 days ago
On the Multimodal Logic of Normative Systems
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
Pilar Dellunde
ECAI
2004
Springer
15 years 11 months ago
Representing Beliefs in the Fluent Calculus
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
Yi Jin, Michael Thielscher
PRIMA
2004
Springer
15 years 11 months ago
Handling Emergent Resource Use Oscillations
— Distributed computing systems are increasingly being created as self-organizing collections of many autonomous (human or software) agents cooperating as peers. Peer-to-peer coo...
Mark Klein, Richard Metzler, Yaneer Bar-Yam
DALT
2009
Springer
15 years 10 months ago
Tableaux for Acceptance Logic
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
Mathijs de Boer, Andreas Herzig, Tiago De Lima, Em...
IAT
2009
IEEE
15 years 10 months ago
Confusion and Distance Metrics as Performance Criteria for Hierarchical Classification Spaces
When intelligent systems reason about complex problems with a large hierarchical classification space it is hard to evaluate system performance. For classification problems, differ...
Wilbert van Norden, Catholijn M. Jonker