3481 search results - page 571 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
123
click to vote
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
237
Voted
POPL
2005
ACM
16 years 3 months ago
2005
ACM
Several formal languages have been proposed to encode privacy policies, ranging from the Platform for Privacy Preferences (P3P), intended for communicating privacy policies to con...
123
click to vote
LACL
2001
Springer
15 years 7 months ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
156
click to vote
CACM
1998
15 years 3 months ago
1998
abstraction for modeling these problems is to view the Web as a collection of (usually small and heterogeneous) databases, and to view programs that extract and process Web data au...
160
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...