conftrace_

direction logic

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

direction relation (1) axiomatic system (1) spatial logic (1) formal semantics (1) formal logic (1) spatial reasoning (1) satisfiability problem (1) euclidean space (1)

Papers

A Logic of Directions IJCAI 2020