View source for Answer Set Programming

{{Course
  | name = Answer Set Programming
  | code = 1-AIN-617
  | prerequisites = none
  | semester = Winter
  | year = 3
  | credits = 6
  | form = L - laboratory exercise (2), P - lecture (2)
  | evaluation = 25/75
  | webpage = not available
  | teacher = [[Martin Baláž|RNDr. Martin Baláž]], [[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]
  | email = balaz[[Image:zavinac.gif|@]]ii.fmph.uniba.sk, sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk
  | homepage = http://ii.fmph.uniba.sk/~balaz/ http://ii.fmph.uniba.sk/~sefranek/
  | description =  To introduce the paradigm of answer set programming and to acquaint students with its application in various areas of knowledge representation.
  | offered_in = Elective in [[Bachelor program in Applied Informatics]]
  | recommendations = none
}}