4401 search results - page 645 / 881 » Computing with Default Logic |
161
click to vote
IJDAR
2002
15 years 4 months ago
2002
We present a document analysis system able to assign logical labels and extract the reading order in a broad set of documents. All information sources, from geometric features and ...
127
click to vote
CP
2010
Springer
15 years 3 months ago
2010
Springer
This paper presents a novel domain-consistency algorithm which does not maintain supports dynamically during propagation, but rather maintain forbidden values. It introduces the op...
148
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
114
click to vote
LOGCOM
2010
15 years 3 months ago
2010
The notion of warrant or justification is one of the central concepts in formal models of argumentation. The dialectical definition of warrant is expressed in terms of recursive...
136
click to vote
SYNTHESE
2010
15 years 3 months ago
2010
There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, n...