4617 search results - page 633 / 924 » Automation of Diagrammatic Reasoning |
187
Voted
EVOW
2010
Springer
16 years 2 months ago
2010
Springer
A Shinro puzzle is a type of deductive reasoning puzzle that originated in Japanese periodicals. To solve the puzzle, one must locate twelve hidden stones on an 8x8 grid using only...
166
click to vote
GIS
2009
ACM
16 years 2 months ago
2009
ACM
Time geography uses space-time volumes to represent the possible locations of a mobile agent over time in a x-y-t space. Space-time volumes are qualitative statements, enabling qu...
207
click to vote
LICS
2009
IEEE
16 years 2 months ago
2009
IEEE
—We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics. These i...
190
Voted
LICS
2009
IEEE
16 years 2 months ago
2009
IEEE
In a constraint satisfaction problem (CSP) the goal is to find an assignment of a given set of variables subject to specified constraints. A global cardinality constraint is an ...
194
click to vote
LICS
2009
IEEE
16 years 2 months ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...