3573 search results - page 95 / 715 » Reasoning about Codata |
143
click to vote
IJCAI
1993
15 years 4 months ago
1993
Polynomial time complexity is the usual ‘threshold’ for distinguishing the tractable from the intractable and it may seem reasonable to adopt this notion of tractability in th...
135
click to vote
ER
2005
Springer
15 years 8 months ago
2005
Springer
The idea of Conceptual Neighbourhood Diagram (CND) has proved its relevance in the areas of qualitative reasoning about time and qualitative reasoning about space. In this work, a ...
119
click to vote
SPATIALCOGNITION
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segm...
128
click to vote
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
Many complex real-world decision problems, such as planning, contain an underlying constraint reasoning problem. The feasibility of a solution candidate then depends on the consis...
114
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...