2685 search results - page 107 / 537 » A Formal Semantics for SPKI |
ICLP
1995
Springer
13 years 11 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
AIMSA
2008
Springer
14 years 2 months ago
2008
Springer
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
ICWE
2004
Springer
14 years 1 months ago
2004
Springer
The Semantic Web will allow software agents to understand and reason about data provided by Web applications. Unfortunately, formal ontologies, needed to express data semantics, ar...
ICCS
2000
Springer
13 years 11 months ago
2000
Springer
With the aim of building a "Semantic Web", the content of the documents must be explicitly represented through metadata in order to enable contents-guided search. Our app...
ECEASST
2008
13 years 8 months ago
2008
Abstract: We describe the programming system for the graph-transformation lan, focusing on the implementation of its compiler and abstract machine. We also compare the system'...