4617 search results - page 725 / 924 » Automation of Diagrammatic Reasoning |
210
click to vote
LACL
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...
165
click to vote
LACL
2005
Springer
16 years 19 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 ...
195
click to vote
LOPSTR
2005
Springer
16 years 19 days ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...
202
click to vote
LPAR
2005
Springer
16 years 19 days ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
151
Voted
LPAR
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. We present new careful semantics within Dung’s theory of argumentation. Under such careful semantics, two arguments cannot belong to the same extension whenever one of ...