78 search results - page 12 / 16 » Reasoning about Concurrent Actions and Observations |
AIME
2009
Springer
14 years 4 months ago
2009
Springer
: Mental healthcare is a prospective area for applying AI techniques. For example, a computerized system could support individuals with a history of depression in maintaining their...
AGENTCL
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
IJCAI
1997
13 years 11 months ago
1997
We consider the frame problem, that is, char acterizing the assumption that properties tend to persist over time. We show that there are at least three distinct assumptions that...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
Reasoning about agents that we observe in the world is challenging. Our available information is often limited to observations of the agent’s external behavior in the past and p...
PLDI
2012
ACM
12 years 8 days ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...