636 search results - page 40 / 128 » Operational Semantics for Functional Logic Languages |
131
click to vote
JSYML
2006
15 years 3 months ago
2006
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
146
Voted
FORTE
2009
15 years 1 months ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
119
Voted
AI
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...
146
Voted
ACL
1989
15 years 4 months ago
1989
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
154
Voted
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We survey some of the main results regarding the complexity and expressive power of Live Sequence Charts (LSCs). We first describe the two main semantics given to LSCs: a...