News
- ESSLLI Evaluation
- ESSLLI on VideoLectures.NET
- ESSLLI Photos
- ESSLLI Closing Ceremony, Friday, 12 August 2011 @ 4 pm, Peterlin Pavillion
- ESSLLI OFFICE CLOSING TIME
- ESSLLI Photos
- Tonight’s Evening Lecture
- Student Session Poster Presentations, Thursday 15:45-16:45
- Evening Lecture tonight
- Last Call for THE Traditional ESSLLI Soccer Match: Lecturers vs. Students
- FoLLI General Meeting: Beth Prize presentation
- Football (rules)
- ESSLLI bags and T-Shirts have arrived
- ESSLLI Excursions (final)
- Formal Grammar, FOLLI meeting, Logical constants
Category Archives: Introductory
Johan Bos. From shallow to deep Natural Language Processing: A hands-on tutorial
The aim of this tutorial is to provide hands-on experience in open-domain text processing, covering the following topics: tokenisation, part-of-speech tagging, named entity recognition, parsing, semantic processing, and recognising textual entailment. The tutorial will comprise an overview of using statistical techniques … Continue reading
Posted in Courses, Introductory, Language and Computation, Slot 1, Week 1
Comments Off
Jan van Eijck and Johan van Benthem. Logic in Action
This course offers a new kind of introduction to logic, merging traditional basic themes on inference and expressive power of languages with modern developments: connections between logic, cognition, and social interaction. The course introduces propositional and predicate logic as ways … Continue reading
Posted in Courses, Introductory, Logic and Computation, Slot 3, Week 1
Comments Off
Dmitry Tishkovsky and Renate Schmidt. Automated Synthesis of Tableau Calculi
It is possible to synthesise tableau deduction calculi from the specifications of logics. In this course we give an introduction to a powerful method for synthesising sound, complete and terminating tableau calculi for description logics, modal logics and related fragments … Continue reading
Posted in Courses, Introductory, Logic and Computation, Slot 5, Week 2
Comments Off
Nausicaa Pouscoulous. Developmental pragmatics
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
Isidora Stojanovic. Topics in Philosophy of Language
The aim of the course is to provide a survey of some significant advances in philosophy of language, starting from the early days of Montague, Lewis or Kaplan, when philosophy of language and natural language semantics still formed a unified … Continue reading
Posted in Courses, Introductory, Logic and Language, Slot 4, Week 1
Comments Off
Thomas Schneider and Dirk Walther. Modularity in Ontologies
Nowadays, logical theories in guise of ontologies are designed for applications in bioinformatics, medicine, geography, linguistics and other areas. They are often based on expressive description logics (DLs), which are fragments of first-order logic with well-understood and -implemented reasoning problems … Continue reading
Posted in Courses, Introductory, Logic and Computation, Slot 4, Week 1
Comments Off
Eckhard Bick. Introduction to Constraint Grammar
Introduced by Fred Karlsson at Helsinki University in the early 1990ies, Constraint Grammar (CG) is about to celebrate its 20th anniversary as a robust method of rule-based parsing, and individual grammars as well as multi-stage parsers are now available for … Continue reading
Posted in Courses, Introductory, Language and Computation, Slot 3, Week 1
Comments Off
Aart Middeldorp and Georg Moser. Termination and Complexity of Rewrite Systems
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
Jeroen Groenendijk and Floris Roelofsen. Inquisitive Semantics
Inquisitive semantics develops a new notion of semantic meaning that directly reflects the use of language to exchange information. The meaning of a sentence is not identified with its informative content, but rather with a proposal to update the common … Continue reading
Posted in Courses, Introductory, Logic and Language, Slot 5, Week 2
Comments Off
Andrzej Murawski and Nikos Tzevelekos. Semantics of programming languages
A focal point in Computer Science is the semantics of programs, that is, the meaning of syntactic constructs of a programming language given independently of implementations and in terms of a formal mathematical framework. Such semantics not only reveals the … Continue reading
Posted in Courses, Introductory, Logic and Computation, Slot 8, Week 2
Comments Off
Davide Grossi and Gabriella Pigozzi. Introduction to Judgment Aggregation
The aggregation of individual judgments on logically interconnected propositions into one collective judgment has recently drawn attention in economics, philosophy, logic and computer science. Despite the apparent simplicity of the problem, seemingly reasonable aggregation procedures cannot ensure a consistent collective … Continue reading
Posted in Courses, Introductory, Logic and Computation, Slot 6, Week 2
Comments Off
Philippe Schlenker. Semantics and Sign Language
This course aims to show the relevance of sign language data for contemporary semantic theories. After a brief introduction to sign languages (brain realization, typological properties, glossing conventions), we will focus on the analysis of pronouns, a topic which has … Continue reading
Posted in Courses, Introductory, Logic and Language, Slot 4, Week 1
Comments Off
Eric McCready and Malte Zimmermann. Discourse Particles
The course gives a basic introduction into the empirical phenomenon of discourse particles and their semantic analysis. Focussing mainly on epistemic discourse particles in German/Dutch, Japanese, and English, we discuss the meaning contribution of such particles, as well as looking … Continue reading
Posted in Courses, Introductory, Logic and Language, Slot 3, Week 1
Leave a comment
Roberto Navigli. Graphs in Natural Language Processing
This course will provide an introduction to graphs in the context of Natural Language Processing (NLP). The aim of the course is two-fold: first, we introduce the audience to the concept of graph and its basic algorithms; second, we overview … Continue reading
Posted in Courses, Introductory, Language and Computation, Slot 2, Week 1
Comments Off
Marjorie McShane and Sergei Nirenburg. Difficult Aspects of Reference Resolution: Description, Theory and Hands-On Practice
This will be an introductory, hands-on course in which students will (a) learn about the scope of reference resolution phenomena in the world’s languages, (b) learn how reference resolution has been treated descriptively and in natural language processing (NLP), and … Continue reading
Posted in Courses, Introductory, Language and Computation, Slot 8, Week 2
Comments Off
Valentin Goranko. Logics of knowledge and strategic abilities in multi-agent systems
I will introduce and discuss some of the most important and popular families of logics for multi-agent systems: epistemic, dynamic epistemic (unless covered in another ESSLLI course), temporal-epistemic, and logics of strategic abilities of the type of ATL. Eventually, I … Continue reading
Posted in Courses, Introductory, Logic and Computation, Slot 1, Week 1
Comments Off
Christina Unger and Jan van Eijck. Computational Semantics with Functional Programming
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
Glyn Morrill. Type logical syntax and semantics
We present contemporary developments in categorial grammar. We explain the foundation provided by logic of strings (Lambek calculus), consider its good theoretical properties, and assess its linguistic successes and shortcomings. In this context we present a natural generalization comprising a … Continue reading
Posted in Courses, Introductory, Language and Computation, Slot 2, Week 1
Comments Off
Natasha Alechina and Brian Logan. Logics and Agent Programming Languages
To create a language for programming entities capable of intelligent behaviour (‘agents’), researchers and developers must address deep questions such as: what are the basic constituent parts of an intelligent agent; how should the agent ‘think’ (e.g., which deliberation strategy … Continue reading
Posted in Courses, Introductory, Logic and Computation, Slot 5, Week 2
Comments Off
