 | Study programme 2019-2020 | Français | |
| Knowledge representation and reasoning | |||
Learning Activity |
| Code | Lecturer(s) | Associate Lecturer(s) | Subsitute Lecturer(s) et other(s) | Establishment |
|---|---|---|---|---|
| S-INFO-027 |
|
|
| Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term |
|---|---|---|---|---|---|---|---|
| Anglais | Anglais, Français | 30 | 30 | 0 | 0 | 0 | Q2 |
| Organisational online arrangements for the end of Q3 2019-2020 assessments (Covid-19) |
|---|
|
| Description of the modifications to the Q3 2019-2020 online assessment procedures (Covid-19) |
| Research paper. |
Content of Learning Activity
This course will focus on the following two applications of KR&R in particular:
(1) KR&R as the engine driving the Semantic Web, which is based on the formalism of Description Logic (DL) and implemented in the W3C Web Ontology Language (OWL).
(2) KR&R for representing and solving problems in the complexity class NP (including all NP-complete problems). This application is based on the formalism known as Answer Set Programming (ASP). Other emerging topics in KR&R can be taught as well during this course.
Required Learning Resources/Tools
Web site with course notes and slides.
Free software.
Scientific articles.
Recommended Learning Resources/Tools
Not applicable
Other Recommended Reading
Not applicable
Mode of delivery
- Face to face
Type of Teaching Activity/Activities
- Cours magistraux
- Conférences
- Travaux pratiques
Evaluations
The assessment methods of the Learning Activity (AA) are specified in the course description of the corresponding Educational Component (UE)