The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...

This is a preview. Log in through your library . Abstract This paper presents a calculus for mereotopological reasoning in which two-dimensional spatial regions are treated as primitive entities. A ...

To reason about the world, we need to be able to represent our knowledge of it. This class explores the different ways in which we can represent information, the functionality that each approach ...