3773 search results - page 662 / 755 » Logical Reasoning |
169
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
126
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
ABSTRACT. Reasoning with diagrams: cognitive and computational perspectives. Diagrammatic, analogical or iconic representations are often contrasted with linguistic or logical repr...
136
click to vote
GIS
2006
ACM
15 years 4 months ago
2006
ACM
We present an algorithm for polyline (and polygon) similarity testing that is based on the double-cross formalism. To determine the degree of similarity between two polylines, the...
138
click to vote
JAIR
2010
15 years 2 months ago
2010
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...
113
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...