Orthocomplemented Posets with a Symmetric Difference.

Milan Matousek Pavel Pták

Published in: Order (2009)

Keyphrases

symmetric difference
classical logic
revision operators
consistent query answering
logic programming
hausdorff distance
point sets
prime implicants
modal logic
default theories
finite automata
default logic
possibilistic logic
prime implicates
automated reasoning
abductive reasoning
point correspondences
database