Revision and Updating in Dynamic Doxastic Logic.

Published in: TIME (1998)

Keyphrases

epistemic logic
knowledge base
belief revision
dynamically updated
artificial intelligence
logic programming
probabilistic logic
database
neural network
search algorithm
automated reasoning