Login / Signup

A Spatial Equational Logic for the Applied pi-Calculus.

Étienne LozesJules Villard
Published in: CONCUR (2008)
Keyphrases
  • spatial information
  • predicate logic
  • artificial intelligence
  • spatio temporal
  • spatial databases
  • spatial relations
  • databases
  • knowledge representation
  • spatial data
  • inductive logic programming
  • natural deduction