# 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

2014W, 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:0006.10.2014 - 19.01.2015Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Wed16:00 - 18:0029.10.2014 - 05.11.2014Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Computational Semantics - Single appointments
DayDateTimeLocationDescription
Mon06.10.201416:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Mon27.10.201416:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Wed29.10.201416:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Mon03.11.201416:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Wed05.11.201416:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Mon24.11.201416:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Mon01.12.201416:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Mon15.12.201416:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Mon12.01.201516:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Mon19.01.201516:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) Computational Semantics
Course is held blocked

Oral exam.

## Course registration

Begin End Deregistration end
30.10.2014 09:00 04.11.2014 17:00 04.11.2014 17:00

## Curricula

Study CodeObligationSemesterPrecon.Info
066 931 Computational Intelligence Mandatory elective
066 937 Software Engineering & Internet Computing 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