2688 search results - page 154 / 538 » A formal semantics for P3P |
165
click to vote
EPIA
2005
Springer
16 years 1 days ago
2005
Springer
This paper investigates the notion of subgoals as used in plans in cognitive agent programming languages. These subgoals form act representation of more concrete courses of action ...
158
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
149
click to vote
ECML
2000
Springer
15 years 10 months ago
2000
Springer
In the present paper we propose a consistent way to integrate syntactical least general generalizations (lgg's) with semantic evaluation of the hypotheses. For this purpose we...
154
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
152
click to vote
EKAW
2006
Springer
15 years 10 months ago
2006
Springer
In the context of the Semantic Web, many ontology-related operations, e.g. ontology ranking, segmentation, alignment, articulation, reuse, evaluation, can reduced to one fundamenta...