Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability
Knowledge Representation and Inductive Reasoning using Conditional Logic and Sets of Ranking Functions