Fundamentals of Logic: Knowledge Representation
An introductory overview of the ideas behind logic and knowledge representation in artificial intelligence.
knowledge representation languages
An Introduction to Knowledge-Based Agents
A brief introduction into knowledge-based agents, knowledge representation, and logic.