Category Archives: Slot 7

Nausicaa Pouscoulous. Developmental pragmatics

Posted on October 30, 2010 by Mihael Arčan

The course will focus on children’s developing pragmatic and semantic competence and within this domain. The following topics will be covered: • The acquisition of various cognitive abilities necessary for full-fledged linguistic communication (e.g., grasp of understanding of common ground). … Continue reading →

Posted in Courses, Introductory, Logic and Language, Slot 7, Week 2 | Comments Off

Uli Sauerland and Stephanie Solt. The Proper Use of Quantification in Ordinary Language (PUQOL)

Posted on October 30, 2010 by Mihael Arčan

Despite 40 years of research on quantification, quantification is currently again a central topic of research at the interface between logic and language. Generalized Quantifier theory and Discourse Representation Theory still are standard bearers when it comes to the representation … Continue reading →

Posted in Logic and Language, Slot 7, Week 2, Workshops | Comments Off

Aart Middeldorp and Georg Moser. Termination and Complexity of Rewrite Systems

Posted on October 30, 2010 by Mihael Arčan

The course provides an introduction into the field of termination and complexity of term rewrite systems. Term rewriting is a conceptually simple, but powerful abstract model of computation with applications in automated theorem proving, compiler optimization, and declarative programming, to … Continue reading →

Posted in Courses, Introductory, Logic and Computation, Slot 7, Week 2 | Comments Off

Olaf Beyersdorff. Proofs and Games

Posted on October 30, 2010 by Mihael Arčan

The aim of this course is to present an up-to-date introduction to propositional proof complexity with emphasis on game-theoretic techniques, connections to parameterized complexity and DPLL algorithms. We will cover important proof systems, current knowledge about proof lengths in these … Continue reading →

Posted in Advanced, Courses, Logic and Computation, Slot 7, Week 2 | Comments Off

Valentin Goranko. Tableau-based decision methods for temporal logics and multi-agent logics of knowledge and strategic abilities

Posted on October 30, 2010 by Mihael Arčan

In this course I will develop systematically and illustrate with many examples the incremental tableau-building methodology for constructive testing of satisfiability, applicable to a wide variety of logical systems. I will focus first on linear and branching time temporal logics, … Continue reading →

Posted in Advanced, Courses, Logic and Computation, Slot 7, Week 2 | Comments Off

Christina Unger and Jan van Eijck. Computational Semantics with Functional Programming

Posted on October 30, 2010 by Mihael Arčan

This course offers an introduction to the art and science of computing meanings of natural language expressions. It introduces the basic concepts of formal semantics and supplements them with Haskell implementations that allow the students to work with natural language … Continue reading →

Posted in Courses, Introductory, Language and Computation, Slot 7, Week 2 | Comments Off