Sciweavers

13 search results - page 2 / 3
» Open World Planning in the Situation Calculus
Sort
View
AOSE
2004
Springer
15 years 3 months ago
A Design Process for Adaptive Behavior of Situated Agents
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
Elke Steegmans, Danny Weyns, Tom Holvoet, Yolande ...
KI
2008
Springer
14 years 9 months ago
Repairing Decision-Theoretic Policies Using Goal-Oriented Planning
In this paper we address the problem of how decision-theoretic policies can be repaired. This work is motivated by observations made in robotic soccer where decisiontheoretic polic...
Christoph Mies, Alexander Ferrein, Gerhard Lakemey...
DAGSTUHL
2007
14 years 11 months ago
Calculus and Algebra for Distributed Data Management
Abstract. The sharing of content by communities of users (e.g., scientists) in a P2P context remains cumbersome. We argue that main reasons for this is the lack of calculus and alg...
Serge Abiteboul
AAAI
2007
15 years 4 days ago
A Logical Theory of Coordination and Joint Ability
A team of agents is jointly able to achieve a goal if despite any incomplete knowledge they may have about the world or each other, they still know enough to be able to get to a g...
Hojjat Ghaderi, Hector J. Levesque, Yves Lesp&eacu...
AIIA
1995
Springer
15 years 1 months ago
Formalizing Reasoning About Change: A Temporal Diagnosis Approach
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...
Johann Gamper, Wolfgang Nejdl