2599 search results - page 237 / 520 » An Operational Semantics for Knowledge Bases |
166
click to vote
LICS
2006
IEEE
16 years 16 days ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
195
click to vote
EKAW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract In this paper we describe a general logic-enabled Formal Concept Analysis (FCA) approach to manage patient record instances. In particular, the conceptual model of the dom...
149
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADMc (Adaptive Doxastic Merging by...
196
click to vote
PAMI
2011
15 years 1 months ago
2011
—Existing color constancy methods are all based on specific assumptions such as the spatial and spectral characteristics of images. As a consequence, no algorithm can be conside...
174
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...