Craig Edgar Boutilier

• Conditional logics for default reasoning and belief revision