Contents
- III.1 Representing Knowledge
- III.2 First-Order Logic
- III.3 Inference
- III.4 Inference Algorithms
- III.5 Resolution
- III.6 Planning
Cite as
III. Knowledge and Reasoning,http://www.langbein.org/teaching/ai/notes/iii by Frank C Langbein [15/February/2009, 15:44].
Copyright © 1995-2012, Frank C Langbein.
Except where otherwise stated, this web site, Ex Tenebris Scientia, by Frank C Langbein is licensed under a Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK: England & Wales License.
