Nonstandard Logics for Automated Reasoning

Philippe Smets, etc. (Herausgeber)

Buch | Hardcover

344 Seiten

1998
Academic Press Inc (Verlag)
9780126495201 (ISBN)

Infos

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

Produkt-Details

• Erscheint lt. Verlag: 20.2.1998
• Verlagsort: San Diego
• Sprache: englisch
• Gewicht: 608 g
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-13: 9780126495201 / 9780126495201
• Zustand: Neuware