GenB: A General Solver for AGM Revision.

Aaron Hunter Eric Tsang

Published in: JELIA (2016)

Keyphrases

belief revision
special case
belief change
databases
propositional logic
neural network
website
closely related
machine learning
information retrieval
knowledge base
database systems
objective function
lower bound