3776 search results - page 375 / 756 » Partition-Based Logical Reasoning |
160
Voted
FLAIRS
2000
15 years 6 months ago
2000
In recent years, fuzzy logic has been applied successfully to a wide range of problems. This paper shows how it can be utilized in the area of spatial reasoning, in particular geo...
125
click to vote
JOLLI
2010
15 years 3 months ago
2010
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiterās version of th...
150
click to vote
PEPM
2010
ACM
16 years 1 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speciļ...
134
click to vote
EVOW
2010
Springer
15 years 11 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...
167
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
ion and equality to base types but retains lambda abstractions and higher-order variables. We show that this fragment enjoys the characteristic properties of ļ¬rst-order logic: co...