552 search results - page 87 / 111 » A Reasoning Framework for Ambient Intelligence |
161
click to vote
TPHOL
2009
IEEE
16 years 12 days ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
139
click to vote
TPHOL
2008
IEEE
16 years 5 days ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
171
click to vote
ILP
2007
Springer
15 years 12 months ago
2007
Springer
In reinforcement learning problems, an agent has the task of learning a good or optimal strategy from interaction with his environment. At the start of the learning task, the agent...
162
click to vote
MATES
2005
Springer
15 years 11 months ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...
164
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we introduce a new method to recover from discrepancies in a general monitoring framework where the agent finds some explanations (points of failure) for discrepan...