5671 search results - page 41 / 1135 » A Semantic Approach to Interpolation |
VLDB
1991
ACM
13 years 11 months ago
1991
ACM
In this paper we describe a rule-based approach to semantic specification that can be used to establish semantic agreement between a source and receiver. Query processing techniqu...
RTA
2010
Springer
13 years 11 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
NMR
2004
Springer
14 years 28 days ago
2004
Springer
In the context of Dungās argumentation framework, we propose a general recursive schema for argumentation semantics, based on decomposition along the strongly connected componen...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
This paper outlines the ļ¬rst stage of the ODARyT Tool, a semantic web approach to represent and retrieve information in a corporate memory. After a brief discussion about the mee...
GI
2009
Springer
13 years 10 months ago
2009
Springer
: This paper presents the iQser approach, a new semantic technology promising to overcome some of the shortcomings of current semantic enterprise solutions. The iQser technology is...