Sign in

A Logic for Iterated Belief Revision.

Hua MengZhiguo LongYong WangBin XingHui Zhang
Published in: ISKE (2021)
Keyphrases
  • belief revision
  • multi valued
  • automated reasoning
  • iterated belief revision
  • logic programming
  • modal logic
  • reinforcement learning
  • answer set programming
  • logical framework
  • classical logic