Answer Set Programming 1-AIN-617
Answer Set Programming 1-AIN-617
| Course name and code: | Answer Set Programming (1-AIN-617) |
| Prerequisite courses: | none |
| Available in/recommended study year: | Winter semester / 3 |
| Form and # of hours/week: | L - lecture (2), P - practicals (2) |
| Credits: | 6 |
| Evaluation (semester/exam): | 25/75 |
| Course webpage: | not available |
| Information sheet: | 1-AIN-617 information sheet |
| Teacher(s): | RNDr. Martin Baláž, doc. PhDr. Ján Šefránek, CSc. |
| E-mail: | balaz ii.fmph.uniba.sk, sefranekii.fmph.uniba.sk
|
| Homepage(s): | http://ii.fmph.uniba.sk/~balaz/ http://ii.fmph.uniba.sk/~sefranek/ |
Short description:
To introduce the paradigm of answer set programming and to acquaint students with its application in various areas of knowledge representation.
Offered in these study programs: Elective in Bachelor program in Applied Informatics
Recommendations: none