This lecture covers the topics of knowledge-based systems and deductive databases. The special focus will be on

• First-order logic and clause programming
• Deductive database architecture and query processing
• Expert Systems
• The Semantic Web

Alongside the lecture, there will be written homework / exercises. These exercises may be solved in teams of two students each. New exercises will be handed out each Tuesday evening and must be returned until the following week before the next lecture into the mailbox on the IfIS floor. In order to be eligible for the final exam, 50% of all exercise points are needed.