Inproceedings,

A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report).

, , and .
FCR@KI, volume 2961 of CEUR Workshop Proceedings, page 48-59. CEUR-WS.org, (2021)

Meta data

Tags

Users

  • @dblp

Comments and Reviews