184.186 Theory of Knowledge Representation
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2018W, VU, 2.0h, 3.0EC, to be held in blocked form

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise

Aim of course

Knowledge of basic formalisms for knowledge representation, principal problems with knowledge representation and results on them.

Subject of course

Foundations of knowledge representation: models, algorithms, formalisms, and techniques.

Tentative subjects are: belief revision, non-monotonic reasoning, logic programming, reasoning abot actions and planning; abductive reasoning; expressiveness of knowledge representation formalisms.

Additional information

The course language is English.

Dates by appointment. Planned: Thursday, 9h -12:30.

First Lecture: October 11, 2018. Place: von Neumann Seminar room.

ECTS breakdown: 3 ECTS = 75 Hours

  • Lecture presentation 0.5h
  • Lecture 17.5h
  • Further reading 25h
  • Discussion of the exercises 1.5h
  • Solving the exercises 30h
  • Oral exam (if applicable) 0.5h

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Thu09:00 - 12:3011.10.2018 - 13.12.2018Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Theory of Knowledge Representation - Single appointments
DayDateTimeLocationDescription
Thu11.10.201809:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu18.10.201809:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu25.10.201809:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu08.11.201809:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu22.11.201809:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu29.11.201809:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu06.12.201809:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Thu13.12.201809:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Course is held blocked

Examination modalities

Exercises and / or oral exam (optional)

Course registration

Begin End Deregistration end
03.10.2018 15:00 20.10.2021 22:00 20.10.2021 23:30

Curricula

Study CodeObligationSemesterPrecon.Info
066 011 Double degree programme "Computational Logic (Erasmus-Mundus)" Not specified
066 931 Logic and Computation Mandatory elective

Literature

slides and further material

Previous knowledge

  • solid basic knowledge in propositional and  predicate logic
  • formal semantics

Miscellaneous

  • Attendance Required!

Language

English