5243 search results - page 105 / 1049 » Reasoning About Strategies |
173
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
167
click to vote
ICALT
2005
IEEE
15 years 12 months ago
2005
IEEE
Visual reasoning is an essential skill for many disciplines in engineering and architecture. We describe an intelligent tutoring system for visual reasoning that uses the missing ...
153
click to vote
IJCAI
2003
15 years 7 months ago
2003
Increasing dialogue efficiency in case-based reasoning (CBR) must be balanced against the risk of commitment to a sub-optimal solution. Focusing on incremental query elicitation i...
181
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...
183
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...