Title: Conditional logics for default reasoning and belief revision
First published: 1992
Subjects: Data processing, Logic design, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA76.995 .B66 1992