M - Fachgruppe Informatik an der RWTH Aachen
M - Fachgruppe Informatik an der RWTH Aachen
M - Fachgruppe Informatik an der RWTH Aachen
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Knowledge Representation<br />
• Introduces basic methods of knowledge<br />
representation, including:<br />
first-or<strong>der</strong> logic, procedural control, description logics,<br />
rule-based systems, default reasoning, diagnosis,<br />
reasoning about action, pl<strong>an</strong>ning<br />
• Prerequisites: mathematical logic.<br />
• Lectures start April 11.