| |
| Previous course: C4355 |
| Offered by:
Department of Information Technology
(IT) |
| No credit points with: C4355 |
| Prerequisite: 49232/C4332.49253/C4353 |
| Recommended semester:
7th - 9th semester |
| Scope and form: Lectures. Problem sessions. One or two written assignments. |
| Examination:
Approval of coursework
(13 point scale
) |
| Contact person: |
Jørgen Fischer Nilsson, IT, Building 344, Tel. +45 4525 3730E-mail: jfn@it.dtu.dk |
|
| Aim: To provide insight into the logical theories that form the basis of knowledge representation in knowledge-based software systems. |
| Contents: Selected topics with relation to ongoing research, e.g. deductive data bases, meta logic programming, integration of object oriented and logic programming approaches. |
