Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties / 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 the associated Vol. I the author explains preferential structures and abstract size. In this Vol. II he presents chapters on theory...
Full description
Saved in: