2599 search results - page 231 / 520 » An Operational Semantics for Knowledge Bases |
187
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...
171
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Type-based termination is a semantically intuitive method that ensures termination of recursive definitions by tracking the size of datatype elements, and by checking that recursiv...
179
click to vote
KSEM
2009
Springer
16 years 1 months ago
2009
Springer
Measuring the inconsistency degree of an inconsistent knowledge base is an important problem as it provides context information for facilitating inconsistency handling. Many method...
174
click to vote
IV
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper introduces Imago, an environment that supports the prototyping, evaluation and transitioning of information visualisation approaches into practice. The approach is base...
127
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present the H-Change methodology we have specifically conceived for evolving independent ontologies in open networked systems. Furthermore, we describe the change...