1321 search results - page 29 / 265 » Subtyping in Logical Form |
112
click to vote
PADL
2007
Springer
15 years 5 months ago
2007
Springer
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
CLEF
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes the participation of the University of Alicante in the new CL-SR Track at CLEF conference. In this track we introduce a set of features in the topics processi...
NIPS
2001
15 years 1 months ago
2001
We give results about the learnability and required complexity of logical formulae to solve classification problems. These results are obtained by linking propositional logic with...
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
136
click to vote
ICWS
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...