Login / Signup

Undecidability Results for Multi-Lane Spatial Logic.

Heinrich Ody
Published in: ICTAC (2015)
Keyphrases
  • spatial information
  • spatio temporal
  • spatial data
  • traffic flow
  • description logics
  • spatial distribution
  • spatial and temporal
  • automated reasoning
  • space time
  • modal logic
  • spatial relations
  • defeasible logic