Sciweavers

VL
2007
IEEE

A Sequent Based Logic for Coincidence Grids

13 years 10 months ago
A Sequent Based Logic for Coincidence Grids
Information is often represented in tabular format in everyday documents such as balance sheets, sales figures, and so on. Tables represent an interesting point in the spectrum of representation systems between pictures and sentences, since some aspect of tables are sentential or conventional in nature, while others are graphical. In this paper we describe the logic of a particular formalized tabular representation system, that of coincidence grids. Although less common than everyday tables, this system is recommended for use in the search for solution of so-called “Logic Puzzles”. Such puzzles provide a specific reasoning task in service of which the tabular representation is used.
Dave Barker-Plummer, Nik Swoboda
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where VL
Authors Dave Barker-Plummer, Nik Swoboda
Comments (0)