1548 search results - page 127 / 310 » Semantics and Extensions of WS-Agreement |
181
click to vote
LPNMR
1993
Springer
15 years 9 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
167
click to vote
PLILP
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...
171
Voted
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
151
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
159
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...