Non-Standard Logic for Automated Reasoning

by Smets

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 introduc

• Format: Hardcover
• Language: English
• ISBN: 0126495203
• ISBN13: 9780126495201
• Release Date: February 1988
• Publisher: Academic Press
• Length: 344 Pages