Sciweavers

2638 search results - page 222 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
CIMCA
2008
IEEE
16 years 1 months ago
Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability
An early prediction of resource utilization and its impact on system performance and reliability can reduce the overall system cost, by allowing early correction of detected probl...
Aida Causevic, Paul Pettersson, Cristina Cerschi S...
HICSS
2003
IEEE
123views Biometrics» more  HICSS 2003»
15 years 12 months ago
Issues in Rational Planning in Multi-Agent Settings
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents operating in multi-agent environments. We use the...
Piotr J. Gmytrasiewicz
IJCAI
2007
15 years 8 months ago
Tractable Temporal Reasoning
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
Clare Dixon, Michael Fisher, Boris Konev
RAS
2008
150views more  RAS 2008»
15 years 6 months ago
Logic-based robot control in highly dynamic domains
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
Alexander Ferrein, Gerhard Lakemeyer
ADC
2004
Springer
109views Database» more  ADC 2004»
15 years 10 months ago
A Model of Dynamic Resource Allocation in Workflow Systems
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...
Guido Governatori, Antonino Rotolo, Shazia Wasim S...