Logical Tools for Handling Change in Agent-Based Systems
Dov M. Gabbay
Download Now
Format: eBook (PDF)
Formal Methods for Nonmonotonic and Related Logics : Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Karl Schlechta
Download Now
Format: eBook (PDF)
Formal Methods for Nonmonotonic and Related Logics : Vol I: Preference and Size
Karl Schlechta
Download Now
Format: eBook (PDF)