5451 search results - page 217 / 1091 » Typed Operational Semantics |
187
click to vote
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
119
click to vote
KR
2000
Springer
15 years 7 months ago
2000
Springer
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...
137
click to vote
JHSN
2006
15 years 4 months ago
2006
We present a refined model for Role Based Access Control policies and define a risk measure for the model, which expresses elements of the operational, combinatorial and conflict ...
115
click to vote
COLING
2000
15 years 5 months ago
2000
We propose a new inference system which operates on underspecified semantic representations of scope and anaphora. This system exploits anaphoric accessibility conditions from dyn...
113
Voted
EKAW
2006
Springer
15 years 7 months ago
2006
Springer
In the context of the Semantic Web, many ontology-related operations, e.g. ontology ranking, segmentation, alignment, articulation, reuse, evaluation, can reduced to one fundamenta...