Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
Walter Carnielli
Download - Immediately Available
Format: eBook (PDF)
Neural-Symbolic Cognitive Reasoning
Artur S. D'Avila Garcez
Download - Immediately Available
Format: eBook (PDF)
Formal Methods for Nonmonotonic and Related Logics : Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Karl Schlechta
Download - Immediately Available
Format: eBook (PDF)
Formal Methods for Nonmonotonic and Related Logics : Vol I: Preference and Size
Karl Schlechta
Download - Immediately Available
Format: eBook (PDF)
Conditionals and Modularity in General Logics
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)
A New Perspective on Nonmonotonic Logics
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)