A Logic of Directions.

Heshan Du Natasha Alechina Anthony G. Cohn

Published in: IJCAI (2020)

Keyphrases

modal logic
logic programming
multi valued
classical logic
predicate logic
data sets
automated reasoning
probabilistic logic
logic synthesis
database
nonmonotonic logics
deductive reasoning