168 search results - page 2 / 34 » Contextual Reasoning |
CONTEXT
2003
Springer
14 years 4 months ago
2003
Springer
Although it seems obvious that decision making is a contextual task, papers dealing with decision making tackle rarely the problem of contextual information management. After a bri...
CAV
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
TKDE
2010
13 years 9 months ago
2010
Abstract—The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context informa...
ICCBR
1995
Springer
14 years 2 months ago
1995
Springer
In this work, we are interested in how rational decision makers reason with and about reasons in a domain, practical ethics, where they appear to reason asons symbolically in terms...
GI
2009
Springer
14 years 3 months ago
2009
Springer
: This paper describes a syntactical method for contextual equivalence in polymorphically typed lambda-calculi. Our specific calculus has letrec as cyclic let, data constructors, ...