Nonstandard Logics for Automated Reasoning - Hardcover

 
9780126495201: Nonstandard Logics for Automated Reasoning

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.