Sciweavers

5284 search results - page 477 / 1057
» Ontologizing Semantic Relations
Sort
View
ICWE
2005
Springer
16 years 20 days ago
The Semantic Web Services Tetrahedron: Achieving Integration with Semantic Web Services
Web Engineering is going through several major changes. New promising application fields related to the Web such as the Semantic Web and Web Services, and its combination, Semantic...
Juan Miguel Gómez, Mariano Rico, Francisco ...
JODS
2006
206views Data Mining» more  JODS 2006»
15 years 7 months ago
Emergent Semantics in Knowledge Sifter: An Evolutionary Search Agent Based on Semantic Web Services
This paper addresses the various facets of emergent semantics in content retrieval systems such as Knowledge Sifter, an architecture and system based on the use of specialized agen...
Larry Kerschberg, Hanjo Jeong, Wooju Kim
CADE
1998
Springer
15 years 11 months ago
Extensional Higher-Order Resolution
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...
Christoph Benzmüller, Michael Kohlhase
FSTTCS
2006
Springer
15 years 10 months ago
The Anatomy of Innocence Revisited
We refine previous analyses of Hyland-Ong game semantics and its relation to - and
Russell Harmer, Olivier Laurent
LFP
1990
73views more  LFP 1990»
15 years 8 months ago
Computing with Coercions
d Abstract) V. Breazu-Tannen C. A. Gunter A. Scedrov University of Pennsylvania This paper relates two views of the operational semantics of a language with multiple
Val Tannen, Carl A. Gunter, Andre Scedrov