Sciweavers

58 search results - page 2 / 12
» kr 2010
Sort
View
KR
2010
Springer
13 years 10 months ago
The Combined Approach to Query Answering in DL-Lite
Roman Kontchakov, Carsten Lutz, David Toman, Frank...
KR
2010
Springer
13 years 10 months ago
State Defaults and Ramifications in the Unifying Action Calculus
Ringo Baumann, Gerhard Brewka, Hannes Strass, Mich...
KR
2010
Springer
13 years 10 months ago
Characterizing Updates in Dynamic Epistemic Logic
Dynamic epistemic logic deals with the representation of situations in a multi-agent and dynamic setting. It allows to express in a uniform way statements about:
Guillaume Aucher
HICSS
2010
IEEE
235views Biometrics» more  HICSS 2010»
14 years 9 days ago
Knowledge Sourcing from Repositories: The Role of System Characteristics and Autonomy
Organizations invest in the development of knowledge repositories (KR) to foster knowledge reuse and integration. Yet many KR initiatives fail to meet expectations, in part becaus...
Alexandra Durcikova, Kelly J. Fadel
ENTCS
2002
110views more  ENTCS 2002»
13 years 5 months ago
The Solution Operator of the Korteweg-de Vries Equation is Computable
The initial value problem of the Korteweg-de Vries (KdV) equation posted on the real line R: ut + uux + uxxx = 0, x R, t R u(x, 0) = (x), defines a nonlinear map KR from the ...
Klaus Weihrauch, Ning Zhong 0002