Sciweavers

4806 search results - page 180 / 962
» Interactive uncertainty analysis
Sort
View
AAMAS
1999
Springer
15 years 3 months ago
Learning Situation-Specific Coordination in Cooperative Multi-agent Systems
Achieving effective cooperation in a multi-agent system is a difficult problem for a number of reasons such as limited and possiblyout-datedviews of activitiesof other agents and ...
M. V. Nagendra Prasad, Victor R. Lesser
CP
2010
Springer
15 years 2 months ago
Context-Sensitive Call Control Using Constraints and Rules
Personalisation and context-awareness are fundamental concerns in Telephony. This paper introduces a rule-based system - 4CRULES - which enables context-sensitive call control by t...
David Lesaint, Deepak Mehta, Barry O'Sullivan, Lui...
TPLP
2010
135views more  TPLP 2010»
15 years 2 months ago
Formalization of psychological knowledge in answer set programming and its application
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...
Marcello Balduccini, Sara Girotto
NFM
2011
209views Formal Methods» more  NFM 2011»
14 years 11 months ago
Formalizing Probabilistic Safety Claims
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...
Heber Herencia-Zapana, George Hagen, Anthony Narka...
JMLR
2010
125views more  JMLR 2010»
14 years 11 months ago
Variational methods for Reinforcement Learning
We consider reinforcement learning as solving a Markov decision process with unknown transition distribution. Based on interaction with the environment, an estimate of the transit...
Thomas Furmston, David Barber