Skip to main content

Dual Tableaux for Spatial Reasoning

  • Chapter
  • First Online:
Dual Tableaux: Foundations, Methodology, Case Studies

Part of the book series: Trends in Logic ((TREN,volume 33))

  • 641 Accesses

Abstract

Qualitative spatial reasoning is concerned with the qualitative aspects of representation and reasoning about spatial entities as opposed to one-dimensional situations. It aims to express non-numerical relationships among spatial regions. The basic concepts in most of these theories are ‘part of’ and ‘connection’ relations which are the typical examples of a more general notion of a ‘contact’ relation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Ewa Orłowska .

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer Science+Business Media B.V.

About this chapter

Cite this chapter

Orłowska, E., Golińska-Pilarek, J. (2011). Dual Tableaux for Spatial Reasoning. In: Dual Tableaux: Foundations, Methodology, Case Studies. Trends in Logic, vol 33. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0005-5_18

Download citation

Publish with us

Policies and ethics