3710 search results - page 29 / 742 » A new calculus of contexts |
GI
2009
Springer
15 years 4 months ago
2009
Springer
: This paper describes a syntactical method for contextual equivalence in polymorphically typed lambda-calculi. Our specific calculus has letrec as cyclic let, data constructors, ...
PEPM
2007
ACM
15 years 5 months ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
UAI
2001
15 years 1 months ago
2001
We present a sound and complete calculus for causal relevance that uses Pearl's functional causal models as semantics. The calculus consists of axioms and rules of inference ...
AAAI
1994
15 years 1 months ago
1994
A description classifier organizes concepts and relations into a taxonomy based on the results of subsumption computations applied to pairs of relation definitions. Until now, des...
AI
2010
Springer
14 years 12 months ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...