Skip to main content
MyCourses MyCourses
  • Schools
    School of Arts, Design, and Architecture (ARTS) School of Business (BIZ) School of Chemical Engineering (CHEM) –sGuides for students (CHEM) – Instructions for report writing (CHEM) School of Electrical Engineering (ELEC) School of Engineering (ENG) School of Science (SCI) Language Centre Open University Library Aalto university pedagogical training program UNI (exams) Sandbox
  • CORONAVIRUS INFO
    Koronavirus - tietoa opiskelijalle Coronavirus - information for students Coronavirus - information för studerande Koronaviruksen vaikutus opiskeluun: kysymyksiä ja vastauksia Effects of the coronavirus on studies: questions and answers Coronaviruset och studierna: frågor och svar Corona help for teachers
  • Service Links
    MyCourses - Instructions for Teachers - Teacher book your online session with a specialist - Digital tools for teaching - Personal data protection instructions for teachers - Instructions for Students - Workspace for thesis supervision WebOodi Into portal for students Courses.aalto.fi Library Services - Resourcesguides - Imagoa / Open science and images IT Services Campus maps - Search spaces and see opening hours Restaurants in Otaniemi ASU Aalto Student Union Aalto Marketplace
  • ALLWELL?
    Study Skills Support for Studying Starting Point of Wellbeing About AllWell? study well-being questionnaire
  •   ‎(en)‎
      ‎(en)‎   ‎(fi)‎   ‎(sv)‎
  • Toggle Search menu
  • Hi guest! (Log in)

close

CS-E4540 - Answer Set Programming, 16.09.2016-14.12.2016

  1. Home
  2. Courses
  3. School of Science
  4. department of...
  5. cs-e4540 - an...
Syllabus

Course home page

  • Course home page

    Course home page

    This course provides an in-depth introduction to answer set programming (ASP) — a constraint programming paradigm that emerged in the 90s (see an overview article for a brief introduction). The ASP paradigm is based on a new interpretation of logical rules: a set of answer sets is associated with each set of rules viewed as constraints. The idea is that a problem at hand is solved by first describing its solutions using rules so that answer sets capture the solutions of the problem. Then, the solution(s) of the problem can be searched for using special-purpose search engines called answer set solvers.

    The success of ASP is much due to efficient answer set solvers available today (see e.g. CLASP, DLV, and WASP). Moreover, the expressive power of rules strictly exceeds that of propositional clauses, i.e., the input language of SAT solvers, and favors succinct representations of knowledge in a number of domains. A wide range of applications of ASP has emerged as a result of solving challenging computational problems using ASP techniques. In this respect, it is worth mentioning examples of applications such as

    • automatic music composition (the Anton system),
    • Linux package configuration (the aspcud system),
    • optimizing phylogenetic supertrees, and
    • repairing biological networks.

    The aim of the course is to familiarize students with the art of declarative problem solving, knowledge representation, and reasoning in the context of ASP. The course introduces ASP, its theoretical background, basic methodology, applications, as well as tools. Moreover, practical programming skills are sought for. The course spans over the first two periods and it consists of a lecture and a tutorial every week. The course requirements include an exam and three compulsory programming assignments. Each of them will involve declarative problem solving using methods and tools presented during the course.

    Background: This major-level course is offered by the Computational Logic group at the Department of Computer Science, one of the pioneering groups of ASP in the world. The proof-of-concept implementation of ASP (consisting of the LPARSE grounder and the SMODELS solver) was developed in the group. Recent ASP-related tools can be found here. The course starts on Friday, the 16th of September, 2016 and the lectures are given by Docent Tomi Janhunen.

    • icon for activity News forum
    • icon for activity General discussion Forum

Course home

Course home

Next section

Schedule and materials►
Skip Upcoming events
Upcoming events
Loading There are no upcoming events
Go to calendar...
  • CS-E4540 - Answer Set Programming, 16.09.2016-14.12.2016
  • Sections
  • Course home page
  • Schedule and materials
  • Home

Aalto logo

Tuki / Support
  • MyCourses help
  • mycourses(at)aalto.fi
Palvelusta
  • MyCourses rekisteriseloste
  • Tietosuojailmoitus
  • Palvelukuvaus
About service
  • MyCourses protection of privacy
  • Privacy notice
  • Service description
Service
  • MyCourses registerbeskrivining
  • Dataskyddsmeddelande
  • Beskrivining av tjänsten

Hi guest! (Log in)
  • Schools
    • School of Arts, Design, and Architecture (ARTS)
    • School of Business (BIZ)
    • School of Chemical Engineering (CHEM)
    • –sGuides for students (CHEM)
    • – Instructions for report writing (CHEM)
    • School of Electrical Engineering (ELEC)
    • School of Engineering (ENG)
    • School of Science (SCI)
    • Language Centre
    • Open University
    • Library
    • Aalto university pedagogical training program
    • UNI (exams)
    • Sandbox
  • CORONAVIRUS INFO
    • Koronavirus - tietoa opiskelijalle
    • Coronavirus - information for students
    • Coronavirus - information för studerande
    • Koronaviruksen vaikutus opiskeluun: kysymyksiä ja vastauksia
    • Effects of the coronavirus on studies: questions and answers
    • Coronaviruset och studierna: frågor och svar
    • Corona help for teachers
  • Service Links
    • MyCourses
    • - Instructions for Teachers
    • - Teacher book your online session with a specialist
    • - Digital tools for teaching
    • - Personal data protection instructions for teachers
    • - Instructions for Students
    • - Workspace for thesis supervision
    • WebOodi
    • Into portal for students
    • Courses.aalto.fi
    • Library Services
    • - Resourcesguides
    • - Imagoa / Open science and images
    • IT Services
    • Campus maps
    • - Search spaces and see opening hours
    • Restaurants in Otaniemi
    • ASU Aalto Student Union
    • Aalto Marketplace
  • ALLWELL?
    • Study Skills
    • Support for Studying
    • Starting Point of Wellbeing
    • About AllWell? study well-being questionnaire
  •   ‎(en)‎
    •   ‎(en)‎
    •   ‎(fi)‎
    •   ‎(sv)‎
Get the mobile app