2395 search results - page 140 / 479 » Reasoning in Semantic Wikis |
126
click to vote
PLILP
1995
Springer
15 years 8 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
117
click to vote
CALCO
2009
Springer
15 years 11 months ago
2009
Springer
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
151
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...
158
click to vote
ACL
2012
13 years 7 months ago
2012
“Lightweight” semantic annotation of text calls for a simple representation, ideally without requiring a semantic lexicon to achieve good coverage in the language and domain. ...
181
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...