Sciweavers

406 search results - page 32 / 82
» Dynamic Logic for Plan Revision in Intelligent Agents
Sort
View
ECAI
1998
Springer
15 years 4 months ago
Transparent, Flexible, and Resource-adaptive Image Processing for Autonomous Service Robots
This paper describes SRIPPs, structured reactive image processing plans, that are tailored for the needs of autonomous service robots. SRIPPs are implemented on top of a modular, d...
Michael Beetz, Tom Arbuckle, Armin B. Cremers, M. ...
AMAI
2004
Springer
14 years 11 months ago
Logical Preference Representation and Combinatorial Vote
We introduce the notion of combinatorial vote, where a group of agents (or voters) is supposed to express preferences and come to a common decision concerning a set of non-independ...
Jérôme Lang
ECAI
2006
Springer
15 years 3 months ago
Verifying Interlevel Relations Within Multi-Agent Systems
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
Alexei Sharpanskykh, Jan Treur
AI
2007
Springer
15 years 6 months ago
Multiagent-Based Dynamic Deployment Planning in RTLS-Enabled Automotive Shipment Yard
Real-time vehicle location information enables to facilitate more efficient decision-making in dynamic automotive shipment yard environment. This paper proposes a multiagent-based ...
Jindae Kim, Changsoo Ok, Soundar R. T. Kumara, Sha...
JOLLI
2008
145views more  JOLLI 2008»
14 years 11 months ago
Temporal Languages for Epistemic Programs
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
Joshua Sack