Terminated in academic year 2009/2010
Logic for Artificial Intelligence
| Type of study | Doctoral |
|---|---|
| Language of instruction | Czech |
| Code | 456-0927/01 |
| Abbreviation | LU |
| Course title | Logic for Artificial Intelligence |
| Credits | 10 |
| Coordinating department | Department of Computer Science |
| Course coordinator | prof. RNDr. Marie Duží, CSc. |
Literature
Fagin, Halpern, Moses, Vardi: Reasoning about Knowledge, MIT.
Advised literature
No advised literature has been specified for this subject.