1097 search results - page 51 / 220 » Revision Programming = Logic Programming Integrity Constra... |
175
click to vote
ECOWS
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we present an approach to hybrid semantic web service matching based on both logic programming, and syntactic similarity measurement. The implemented matchmaker, ca...
109
click to vote
ICLP
1994
Springer
15 years 7 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
120
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
118
click to vote
ICLP
1997
Springer
15 years 7 months ago
1997
Springer
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
125
click to vote
ICFP
2000
ACM
15 years 7 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...