Symmetric Difference-Free and Symmetric Difference-Closed Collections of Sets.

Greg Gamble Jamie Simpson

Published in: Graphs Comb. (2015)

Keyphrases

symmetric difference
consistent query answering
hausdorff distance
revision operators
point sets

prime implicants
finite automata
integrity constraints
belief revision
database

abductive reasoning
default theories
point correspondences
boolean functions

desirable properties
classical logic
distance measure
knowledge base