2395 search results - page 158 / 479 » Reasoning in Semantic Wikis |
159
click to vote
CADE
2004
Springer
16 years 5 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
121
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
128
click to vote
ESWS
2007
Springer
15 years 11 months ago
2007
Springer
Semantic Business Process Management (SBPM) utilizes semantic technologies to achieve more automation throughout the BPM lifecycle. An integral part of the SBPM infrastructure is a...
157
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
152
click to vote
EEE
2005
IEEE
15 years 10 months ago
2005
IEEE
Electronic Brokering, is a good candidate for taking up Semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester’s requirem...