268 search results - page 20 / 54 » Revising Contextual Theories |
POPL
2006
ACM
14 years 8 months ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Research has identified the potential and challenges of information sharing in government settings mostly within the context of a single country. The challenges facing inter-gover...
UAI
1996
13 years 9 months ago
1996
The study of belief change has been an active area in philosophy and AI. In recent years, two special cases of belief change, belief revision and belief update, have been studied ...
ML
2000
ACM
13 years 7 months ago
2000
ACM
Existing methods for exploiting awed domain theories depend on the use of a su ciently large set of training examples for diagnosing and repairing aws in the theory. In this paper,...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents a conceptual framework for understanding knowledge integration in distributed networks of practice. The framework builds upon Grant’s knowledge-based theory ...