7631741
9780471942153
Out of Stock
The item you're looking for is currently unavailable.
LOGIC AND LOGIC PROGRAMMING. A Brief Introduction to Clausal Logic. Clausal Logic and Resolution: Theoretical Backgrounds. Logic Programming and Prolog. REASONING WITH STRUCTURED KNOWLEDGE. Representing Structured Knowledge. Searching Graphs. Informed Search. ADVANCED REASONING TECHNIQUES. Reasoning with Natural Language. Reasoning with Incomplete Information. Inductive Reasoning. Appendices. Index.Flach, Peter A. is the author of 'Simply Logical: Intelligent Reasoning by Example', published 1994 under ISBN 9780471942153 and ISBN 0471942154.
[read more]