[ 536KNRRCOLU19 ] UE Computational Logics for AI
|
|
|
|
 |
| Workload |
Education level |
Study areas |
Responsible person |
Hours per week |
Coordinating university |
| 1,5 ECTS |
B3 - Bachelor's programme 3. year |
(*)Artificial Intelligence |
Teimuraz Kutsia |
1 hpw |
Johannes Kepler University Linz |
|
|
|
| Detailed information |
| Original study plan |
Bachelor's programme Artificial Intelligence 2021W |
| Objectives |
Command of logic-based techniques for knowledge representation and
reasoning, which is a fundamental topic in artificial intelligence. The
ability to compute with them.
|
| Subject |
Techniques to represent knowledge and to reason in classical first-order
logic (with equality), nonmonotonic logics, and in description logics.
Besides acquiring theoretical background, students will also get
hands-on experience with some tools and systems.
|
| Criteria for evaluation |
Tests and exercises
|
| Language |
English |
| Changing subject? |
No |
|
|
|
| On-site course |
| Maximum number of participants |
35 |
| Assignment procedure |
Direct assignment |
|
