Conditional and Preferential Logics : Proof Methods and Theorem Proving

This volume contains a revised and updated version of the author's Ph.D. dissertation and is focused on proof methods and theorem proving for Conditional and Preferential logics. Conditional logics are extensions of classical logic by means of a conditional operator, usually denoted as =>. Conditional logics have a long history and recently they have found application in several areas of AI, including belief revision and update, the representation of causal inferences in action planning and the formalization of hypothetical queries in deductive databases.