6201 search results - page 91 / 1241 » Implementation of Axiomatic Language |
127
click to vote
PADL
2010
Springer
16 years 28 days ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
108
click to vote
EXTREME
2004
ACM
15 years 9 months ago
2004
ACM
It’s hard to argue against the concepts of self-describing data, contextual interfaces, and richer metadata for content that eventually will make up the Semantic Web. The need i...
138
click to vote
PADL
2004
Springer
15 years 9 months ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
132
click to vote
ICFP
1997
ACM
15 years 8 months ago
1997
ACM
General media-processing programs are easily expressed with bitaddressing and variable-sized bit-fields. But the natural implementation of bit-addressing relies on dynamic shift ...
187
click to vote
ICFP
1997
ACM
15 years 8 months ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...