2685 search results - page 457 / 537 » A Formal Semantics for SPKI |
161
click to vote
ATAL
2009
Springer
16 years 23 days ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
158
click to vote
ATAL
2009
Springer
16 years 23 days ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
178
click to vote
CIKM
2009
Springer
16 years 23 days ago
2009
Springer
Graph data are subject to uncertainties in many applications due to incompleteness and imprecision of data. Mining uncertain graph data is semantically different from and computat...
154
click to vote
COSIT
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
158
click to vote
DEXA
2009
Springer
16 years 22 days ago
2009
Springer
Semantic Web technologies facilitate data integration over a large number of sources with decentralised and loose coordination, ideally leading to interlinked datasets which descri...