: Rational control of reasoning in Artificial Intelligence.
The Ramsey Test for Conditionals
Theory Change and Nonmonotonic Reasoning
: Belief revision in a framework for default reasoning.
Klaus U. Schulz
: Preferential cumulative reasoning and nonmonotonic semantic nets.
Reformulations and Extensions
: Discourse representation theory and belief dynamics.
: Multiple contraction. A further case against Gärdenfors' principle of recovery.