Nonstandard Logics for Automated Reasoning - Hardcover

 
9780126495201: Nonstandard Logics for Automated Reasoning

Synopsis

A critical presentation providing depth and breadth of insight into the applicability of non-standard or exotic logics for the computational encoding of commonsense knowledge and inference logics. Three appendices provide short tutorials on classical logic and modal logics, and give a brief introdu

"synopsis" may belong to another edition of this title.