I created this synopsis of some ideas from the paper “How to Revise a Total Preorder” by Booth and Meyer during the seminar on “Representation and processing of uncertain knowledge with logic-based methods” at the University of Hagen.

The slides are from my final presentation of the topic (and might be more or less useless on their own).


Seminar Paper

Presentation Slides

Source Code

About Me

You can reach me online either by email (pheltweg@gmail.com) or on twitter https://twitter.com/rhanarion.