A Conflict-based Operator for Mapping Revision.

Guilin Qi Qiu Ji Peter Haase

Published in: Description Logics (2009)

Keyphrases

revision operators
belief revision
conflict resolution
knowledge base
image segmentation
mobile robot
belief change
update operators