A Logic of Part and Whole for Buffered Geometries.

Heshan Du Natasha Alechina

Published in: STAIRS (2014)

Keyphrases

predicate logic
modal logic
databases
social networks
logic programming
multi valued
classical logic
real time
machine learning
logical framework
computational properties
abductive reasoning
epistemic logic
logic synthesis