Nonstandard Logics for Automated Reasoning

Nonstandard Logics for Automated Reasoning

Edited by  , Edited by 

List price: US$89.00

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

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 introduction to the existing literature on the logical aspects of probability theory. For those engaged in building knowledge-based systems. Annotation copyright Book News, Inc. Portland, Or.
show more

Product details

  • Hardback | 344 pages
  • Academic Press Inc
  • San Diego, United States
  • English
  • 0126495203
  • 9780126495201