1194 search results - page 72 / 239 » A Calculus for Predicative Programming |
118
click to vote
ACL
2010
15 years 10 hour ago
2010
We propose a global algorithm for learning entailment relations between predicates. We define a graph structure over predicates that represents entailment relations as directed ed...
116
click to vote
ECP
1997
Springer
15 years 6 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
103
click to vote
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification wit...
117
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...
107
click to vote
JUCS
2006
15 years 1 months ago
2006
: In this paper we give a possible model for handling uncertain information. The concept of fuzzy knowledge-base will be defined as a quadruple of any background knowledge, defined...