15372 search results - page 363 / 3075 » The Semantics of Semantic Annotation |
261
click to vote
LPKR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We study the relationship between argumentation (abduction) and disjunctive logic programming. Based on the paradigm of argumentation, an abductive semantic framework for...
205
click to vote
RULES
1993
Springer
15 years 11 months ago
1993
Springer
Semantic models have shown the utility of arbitrary user-de ned relationships for de ning the semantics of database information, while objectoriented models have developed a stron...
176
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
200
click to vote
ER
2004
Springer
15 years 10 months ago
2004
Springer
The semantic web envisions a World Wide Web in which data is described with rich semantics and applications can pose complex queries. Ontologies, a cornerstone of the semantic web,...
177
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
We refine previous analyses of Hyland-Ong game semantics and its relation to - and