188 search results - page 9 / 38 » Contextual reasoning distilled |
CONTEXT
2007
Springer
14 years 1 months ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
ICCBR
2005
Springer
14 years 1 months ago
2005
Springer
Knowledge workers are often embedded in an organizational setting, where execution of processes allows for appropriate, context-sensitive support. When a knowledge worker starts a ...
CSL
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
DKE
2002
13 years 7 months ago
2002
Recently, there is an interest in using associations between web pages in providing users with pages relevant to what they are currently viewing. We believe that, to enable intell...
EXPERT
2006
13 years 7 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...