2649 search results - page 162 / 530 » Temporal Theories of Reasoning |
163
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
In the design of resource bounded agents, high-level cognitive activities, such as reasoning, raise important problems related both to the adaptive ability and to the computationa...
170
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
210
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In spatial reasoning the qualitative description of relations between spatial regions is of practical importance and has been widely studied. Examples of such relations a...
161
click to vote
TPHOL
2000
IEEE
15 years 10 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
154
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
– This paper deals with enriched qualitative belief functions for reasoning under uncertainty and for combining information expressed in natural language through linguistic label...