49 search results - page 1 / 10 » Agents, beliefs, and plausible behavior in a temporal settin... |
43
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
112
Voted
ATAL
2009
Springer
15 years 7 months 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...
106
Voted
ATAL
2004
Springer
15 years 5 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 ...
98
Voted
AI
2010
Springer
15 years 17 days 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...
121
Voted
LOGCOM
2002
15 years 3 days 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...