A Simple Separation Logic.

Published in: WoLLIC (2013)

Keyphrases

machine learning
computer vision
social networks
objective function
multi agent
knowledge representation
predicate logic