Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic.

Published in: Int. J. Approx. Reason. (2010)

Keyphrases