# 185.A67 Computational Semantics This course is in all assigned curricula part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_21",{id:"j_id_21",showEffect:"fade",hideEffect:"fade",target:"isAllSteop"});});This course is in at least 1 assigned curriculum part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_23",{id:"j_id_23",showEffect:"fade",hideEffect:"fade",target:"isAnySteop"});}); 2016W 2014W 2013W

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

## Properties

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

## Introduction to semantics

Logical representation and reasoning

## Didactics

The exercise consists of a theoretical and practical part with programming examples.

## Further Information

ECTS-Breakdown:

25 h  Lecure+ Exercise
25 h  Preparation of exercises
23 h  Preparation for exam
2 h  Written exam
------
75 h  = 3 ECTS

Preliminary discussion on 7.10.2013 16:00

## Course dates

DayTimeDateLocationDescription
Mon16:00 - 18:0007.10.2013 - 27.01.2014Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Wed16:00 - 18:0027.11.2013 - 15.01.2014Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Computational Semantics - Single appointments
DayDateTimeLocationDescription
Mon07.10.201316:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics (Preliminary discussion)
Mon25.11.201316:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Wed27.11.201316:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Mon02.12.201316:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Mon09.12.201316:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Wed11.12.201316:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Mon16.12.201316:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Wed08.01.201416:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Mon13.01.201416:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Wed15.01.201416:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Mon20.01.201416:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Mon27.01.201416:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Course is held blocked

Written exam.

Not necessary

## Curricula

Study CodeObligationSemesterPrecon.Info
066 931 Computational Intelligence Mandatory elective

## Literature

Patrick Blackburn, Johan Bos, Representation and Inference for Natural Language. A First Course in Computational Semantics, CSLI, 2005

Chris Manning, Hinrich Schütze, Foundations of Statistical Natural Language Processing, MIT Press, 1999

## Previous knowledge

• Knowledge of first-order logic

• Basic knowledge in logic programming

English