4224 search results - page 113 / 845 » Reasoning about Choice |
182
click to vote
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
144
click to vote
FLAIRS
2008
15 years 7 months ago
2008
In Artificial Intelligence, a crucial requirement is the ability to reason about actions and their effects on the environment. Traditional approaches which rely on classical logic...
143
click to vote
AI
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can ...
148
click to vote
IJCAI
1993
15 years 6 months ago
1993
Though arrangement knowledge is well suited for qualitative representations of spatial situations, if we only use this kind of knowledge, we cannot do interesting inferences about...
166
click to vote
GEOS
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Narrative descriptions about populated places are very common in ethnographies. In old articles and books on the migration history of Taiwan aborigines, for example, narr...