2599 search results - page 174 / 520 » An Operational Semantics for Knowledge Bases |
147
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We pr...
180
click to vote
ASWC
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we describe the Web 3.0 case study WellnessRules, where ontology-structured rules (including facts) about wellness opportunities are created by participants in rule l...
159
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...
173
click to vote
COSIT
2007
Springer
16 years 16 days ago
2007
Springer
Higher level semantics are considered useful in the geospatial domain, yet there is no general consensus on the form these semantics should take. Indeed, knowledge representation p...
162
click to vote
ATC
2006
Springer
15 years 10 months ago
2006
Springer
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...