2599 search results - page 129 / 520 » An Operational Semantics for Knowledge Bases |
156
Voted
DALT
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Although various ideas for integrating Semantic Web and Agent Programming techniques have appeared in the literature, as yet no practical programming approach has managed...
151
click to vote
AAAI
2004
15 years 7 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
164
click to vote
DEEC
2005
IEEE
15 years 11 months ago
2005
IEEE
A base of clearly defined product information is a key foundation for an e-commerce system. The manipulation and exchange of semantically enriched and precise product information ...
268
click to vote
VLDB
2003
ACM
16 years 6 months ago
2003
ACM
Abstract. The requirements for effective search and management of the WWW are stronger than ever. Currently Web documents are classified based on their content not taking into acco...
161
click to vote
JBI
2008
15 years 6 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 ...