1664 search results - page 200 / 333 » Towards Partial Reasoning |
157
click to vote
LACL
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Kanazawa has shown that k-valued classical categorial grammars have the property of finite elasticity [1], which is a sufficient condition for learnability. He has also ...
186
Voted
CAISE
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
190
click to vote
CONCUR
2004
Springer
16 years 12 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
192
click to vote
LOPSTR
2004
Springer
16 years 10 days ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
202
Voted
NCA
2003
IEEE
16 years 8 days ago
2003
IEEE
This paper studies the optimal placement of web files for en-route web caching. It is shown that existing placement policies are all solving restricted partial problems of the ...