Logic, Action, and Information 1996

Action

Belief Change

Conditionals and Non-Monotonicity

Non-Classical Logic and Logic Programming

a service of Schloss Dagstuhl - Leibniz Center for Informatics