120 search results - page 11 / 24 » Reasoning about temporal properties of rational play |
DSVIS
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Much attention has been paid in HCI to techniques for designing systems that conform to the tasks users wish to carry out. It is often the case that such approaches rely ...
IAT
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper describes a new agent framework that fuses an HTN planner, through its underlying conceptual model, with the mental attitudes of the BDI agent architecture, thus exploi...
JAIR
2011
14 years 5 months ago
2011
We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with...
TARK
2007
Springer
15 years 4 months ago
2007
Springer
In Alternating-time Temporal Logic (atl), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal φ such as: “agent i ca...
FLAIRS
2007
15 years 9 days ago
2007
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...