Joel Faber

Learn More
We describe BE, a belief evolution solver for the modal action language A2. The action language A2 is an epistemic extension of the action language A. This action language extends previous epistemic extentions of A by allowing erroneous initial beliefs and non-Markovian belief change. We describe our implementation using an AGM revision operator called the(More)
  • 1