Output details
11 - Computer Science and Informatics
King's College London
Book title
Revision, Acceptability and Context
Type
A - Authored book
DOI
-
Publisher of book
Springer
ISBN of book
9783642141584
Year of publication
2010
URL
-
Number of additional authors
2
Additional information
<22> This book is built on a background of top journal and conference articles and provides a comprehensive methodology for dealing with the revision of logical theories. Besides extending results previously published by the authors, the book proposes new syntax-based operators; a novel model-based framework for iteration of the revision process; and a technique to perform revision of bases provided with partial belief preference information. Furthermore, the book puts forward two new paradigms for revision: the focus on acceptability of theories as opposed to logical consistency and the definition of the revision operation through new connectives in the language.
Interdisciplinary
-
Cross-referral requested
-
Research group
D - Software Modelling and Applied Logic
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
