Sciweavers

406 search results - page 30 / 82
» Dynamic Logic for Plan Revision in Intelligent Agents
Sort
View
IAT
2009
IEEE
15 years 6 months ago
Awareness and Forgetting of Facts and Agents
—We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We mod...
Hans P. van Ditmarsch, Tim French
70
Voted
ECAI
2004
Springer
15 years 5 months ago
Agent Planning, Negotiation and Control of Operation
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
Antonis C. Kakas, Paolo Torroni, Neophytos Demetri...
CLIMA
2011
13 years 11 months ago
A Dynamic Logic of Institutional Actions
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
Andreas Herzig, Emiliano Lorini, Nicolas Troquard
IAT
2006
IEEE
15 years 5 months ago
Toward Inductive Logic Programming for Collaborative Problem Solving
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...
Jian Huang, Adrian R. Pearce
AAAI
2011
13 years 11 months ago
A Switching Planner for Combined Task and Observation Planning
From an automated planning perspective the problem of practical mobile robot control in realistic environments poses many important and contrary challenges. On the one hand, the p...
Moritz Göbelbecker, Charles Gretton, Richard ...