Sciweavers

1912 search results - page 159 / 383
» GOAL as a Planning Formalism
Sort
View
ECAI
2004
Springer
15 years 11 months ago
Representing Beliefs in the Fluent Calculus
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
Yi Jin, Michael Thielscher
FMICS
2006
Springer
15 years 10 months ago
Evaluating Quality of Service for Service Level Agreements
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...
Allan Clark, Stephen Gilmore
AAAI
2008
15 years 8 months ago
A First-Order Theory of Stanislavskian Scene Analysis
At the turn of the last century, Constantin Stanislavski developed a new system of acting, replacing the mannered gestures and forced emotion then popular with a more natural styl...
Leora Morgenstern
MIAR
2010
IEEE
15 years 4 months ago
Automatic Computation of Electrodes Trajectory for Deep Brain Stimulation
In this paper, we propose an approach to find the optimal position of an electrode, for assisting surgeons in planning Deep Brain Stimulation. We first show how we formalized the...
Caroline Essert, Claire Haegelen, Pierre Jannin
JOT
2010
144views more  JOT 2010»
15 years 4 months ago
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher,...