2395 search results - page 101 / 479 » Reasoning in Semantic Wikis |
122
click to vote
FORTE
2001
15 years 5 months ago
2001
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is defined; the semantics extends the (infinitely branching) standard semantics by giving meaning to da...
141
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
103
Voted
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Building upon the 2-valued Layered Models semantics for normal programs, we introduce a refinement — the Layer Supported Models semantics — which, besides keeping all of LMs...
156
click to vote
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
This paper addresses the role of case-based reasoning in semantic search, and in particular, as it applies to Knowledge Sifter, an agent-based ontology-driven search system based o...
132
click to vote
PPSWR
2004
Springer
15 years 9 months ago
2004
Springer
To make use of data represented on the Semantic Web, it is necessary to provide languages for Web data retrieval and evolution. This article introduces into the (conventional and S...