The sound and complete R-calculus for revising propositional theories.

Wei Li Yuefei Sui Meiying Sun

Published in: Sci. China Inf. Sci. (2015)

Keyphrases

propositional theories
computational properties
logic programs
artificial intelligence
database
objective function
special case
belief revision