49 search results - page 1 / 10 » Agents, beliefs, and plausible behavior in a temporal settin... |
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
ATAL
2009
Springer
14 years 2 days ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
ATAL
2004
Springer
13 years 11 months ago
2004
Springer
We describe the initial steps in developing an agentbased cognitive architecture designed to support psychologically plausible human variability. The new architecture, COJACK, is ...
AI
2010
Springer
13 years 5 months ago
2010
Springer
Many belief change formalisms employ plausibility orderings over the set of possible worlds to determine how the beliefs of an agent ought to be modified after the receipt of a ne...
LOGCOM
2002
13 years 5 months ago
2002
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...