460 search results - page 12 / 92 » A Principled Semantics for inp |
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Ontologies are in the heart of the knowledge management process. Different semantic measures have been proposed in the literature to evaluate the strength of the semantic link bet...
WEBI
2005
Springer
14 years 1 months ago
2005
Springer
The realization of the Semantic Web needs a set of specialized middleware as its infrastructure. In this paper we describe the principles of tuplespace computing, explain why tupl...
SEMWIKI
2008
13 years 9 months ago
2008
Abstract. Semantic wikis combine the advantages introduced by the wiki principle with the potential of Semantic Web technologies. However, there is still a very limited support for...
NADA
1998
Springer
14 years 19 days ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
CADE
1998
Springer
14 years 14 days 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...