Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II (Set): Vol. I: Preference and Size / Vol. II: Theory Revision, Inheritance, and

by Karl Schlechta

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 3030023109
• ISBN13: 9783030023102
• Release Date: November 2018
• Publisher: Springer
• Length: 818 Pages