Decidability of General Extensional Mereology.

Hsing-chien Tsai

Published in: Stud Logica (2013)

Keyphrases

special case
databases
description logics
machine learning
computational complexity
control system
closely related