SubjectsSubjects(version: 953)
Course, academic year 2023/2024
   Login via CAS
Seminar on Artificial Intelligence I - NAIX004
Title: Seminář z umělé inteligence I
Guaranteed by: Student Affairs Department (32-STUD)
Faculty: Faculty of Mathematics and Physics
Actual: from 2022
Semester: winter
E-Credits: 3
Hours per week, examination: winter s.:0/2, C [HT]
Capacity: unlimited
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
State of the course: taught
Language: Czech
Teaching methods: full-time
Teaching methods: full-time
Is provided by: NAIL004
Additional information:
Guarantor: prof. RNDr. Roman Barták, Ph.D.
Class: Informatika Mgr. - volitelný
Classification: Informatics > Theoretical Computer Science
Pre-requisite : {NXXX038, NXXX039, NXXX040, NXXX067, NXXX069}
Incompatibility : NAIL004
Interchangeability : NAIL004
Annotation -
Referative seminar about actual theoretical and practical questions in a field of Artificial Intelligence, based on published papers.
Last update: T_KTI (27.09.2002)
Aim of the course -

Using the form of oral presentations, the seminar teaches students how to watch recent results in AI and how present research results or alternatively how to solve some AI problems.

Last update: Barták Roman, prof. RNDr., Ph.D. (06.10.2017)
Course completion requirements -

Credit is given for presentation of a student and active participation at seminars (at least 80% seminars attended). After approval from the teacher and in special cases only, the presentation and attendance can be substituted by a written report. The credit cannot be repeated.

Last update: Barták Roman, prof. RNDr., Ph.D. (15.09.2020)
Literature -

Conference Proceedings

  • AAAI Conference on Artificial Intelligence
  • International Joint Conference on Artificial Intelligence
  • European Conference on Artificial Intelligence


  • Artificial Intelligence
  • Journal of Artificial Intelligence Research
Last update: Barták Roman, prof. RNDr., Ph.D. (06.10.2017)
Teaching methods -

Seminar with oral reports, where students present own results or results from literature. It may involve solving a selected AI problem.

Last update: Barták Roman, prof. RNDr., Ph.D. (06.10.2017)
Syllabus -

Topic of relevant papers and discussion topics:

Knowledge representation, knowledge engineering.

Constraint satisfaction, inference techniques.

Problem solving, games, automated planning.

Machine learning, agent-based systems.

Applications of AI.

Last update: T_KTI (06.05.2010)
Charles University | Information system of Charles University |