Non-Standard Logics for Automated Reasoning - Couverture rigide

 
9780126495201: Non-Standard 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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.