1830 search results - page 122 / 366 » Centering in Dynamic Semantics |
ESAW
2006
Springer
15 years 3 months ago
2006
Springer
Interaction refers to an abstract and intangible concept. In modelling, intangible concepts can be embodied and made explicit. This allows to manipulate the abstractions and to bui...
102
click to vote
FLAIRS
2008
15 years 1 months ago
2008
The next generation of online reference works will require structured representations of their contents in order to support scholarly functions such as semantic search, automated ...
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
In the rule-based OWL reasoning paradigm, ontologies are mapped into an internal rule engine representation format and rules are applied, such as TBOX and ABOX OWL entailment rules...
ENTCS
2008
14 years 11 months ago
2008
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...
JBI
2008
14 years 11 months ago
2008
We present a novel ontology integration technique that explicitly takes the dynamics and data-intensiveness of e-health and biomedicine application domains into account. Changing ...