2688 search results - page 104 / 538 » A formal semantics for P3P |
150
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Model-theoretic semantics is a formal account of the interpretations of legitimate expressions of a language. It is increasingly being used to provide Web markup languages with we...
177
click to vote
ICLP
1995
Springer
15 years 10 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...
165
click to vote
AIMSA
2008
Springer
16 years 22 days 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...
182
click to vote
ICWE
2004
Springer
15 years 11 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...
176
click to vote
ICCS
2000
Springer
15 years 10 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...