5818 search results - page 945 / 1164 » A reasonable Semantic Web |
148
click to vote
ECSQARU
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
205
click to vote
LOPSTR
2007
Springer
16 years 24 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
201
click to vote
LOPSTR
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. It has often been observed that a point-free style of programvides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semant...
142
click to vote
SEMWEB
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. There is a growing discrepancy between the creation of digital content and its actual employment and usefulness in a learning society. Technologies for recording lectures...
169
click to vote
TARK
2007
Springer
16 years 23 days ago
2007
Springer
In Alternating-time Temporal Logic (atl), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal φ such as: “agent i ca...