Sciweavers

1316 search results - page 88 / 264
» Intelligent Agents: Issues and Logics
Sort
View
ATAL
2005
Springer
15 years 3 months ago
Dynamic epistemic logic with assignment
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
AAAI
2008
15 years 7 days ago
Factored Models for Probabilistic Modal Logic
Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....
Afsaneh Shirazi, Eyal Amir
AAAI
2000
14 years 11 months ago
A Logic for Planning under Partial Observability
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
Andreas Herzig, Jérôme Lang, Dominiqu...
ATAL
2005
Springer
15 years 3 months ago
A negotiation model for autonomous agents: key features and comparison with existing models
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...
Fernando Lopes, Augusto Q. Novais, Nuno J. Mamede,...
ESAW
2009
Springer
15 years 4 months ago
The Immergence of Norms in Agent Worlds
In this paper, after a short review of the dichotomous view of norms usually seen as either regular behaviors or obligations issued by authorities, norms are proposed to be defined...
Rosaria Conte, Giulia Andrighetto, Marco Campenn&i...