Category Archives: Courses

Craige Roberts and Judith Tonhauser. Projective meaning: Formal approaches and cross-linguistic evidence

Projective meanings are meaning elements which tend to survive as utterance implications even when the triggering expression is embedded under the syntactic scope of entailment-cancelling operators, such as classical presupposition triggers, but also Conventional Implicatures, some evidentials, and other non-presuppositional … Continue reading

Posted in Advanced, Courses, Logic and Language, Slot 1, Week 1 | Comments Off

Tomaž Erjavec. Standards for language encoding

The course deals with digital encoding of language data, an increasingly important area due to the growing production and interchange of annotated language resources. Moodle site

Posted in Courses, Foundational, Language and Computation, Slot 6, Week 2 | Comments Off

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

Orin Percus and Graham Katz. Indexicality and compositional semantics

This class will explore the theoretical treatment of indexical and “shifting indexical” expressions, and in particular their place in a theory of how syntactic structures are interpreted compositionally.   The goal will be to use this topic to address some general issues … Continue reading

Posted in Advanced, Courses, Logic and Language, Slot 6, Week 2 | 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

Jan Broersen and Leon van der Torre. An advanced treatment of five problems of deontic logic and normative reasoning in computer science

In this course we give an in-depth treatment of 5 selected problems from our ESSLLI 2010 foundational course on deontic logic and normative reasoning in computer science. Motivations for the timeliness of a course on deontic logic and normative reasoning … Continue reading

Posted in Advanced, Courses, Logic and Computation, Slot 3, Week 1 | Comments Off

Jakub Szymanik. Generalized Quantifier Theory Meets Cognition

Non-human animals are able to count and represent quantities, but reasoning with linguistic expressions of (relative) quantities (known as quantifiers) seems a uniquely human ability. Humans can understand, for example, sentences such as “Most linguists are logicians”, “Less than half … Continue reading

Posted in Advanced, Courses, Language and Computation, Slot 8, Week 2 | Comments Off

Katrin Schulz. Compositional semantics for conditional sentences

In Philosophy there exists an enormous body of expertise on the meaning of conditionals. However, these theories generally do not explain how the meaning of these sentences is related to their form. Presently we can observe a growing interest in … Continue reading

Posted in Advanced, Courses, Logic and Language, Slot 4, Week 1 | Comments Off

Graham Katz and Elena Herburger. The Semantics of Gradable Modal Expressions

Modal expressions are used to convey information about uncertaintly, ability, permissibility, desirability, and other concepts related to non-actual, hypothetical circumstances. Many of these expressions are ‘gradable predicates’, meaning that they take degree modification, degree specification, and can be used in … Continue reading

Posted in Advanced, Courses, Logic and Language, Slot 8, Week 2 | Comments Off

Sujata Ghosh and R. Ramanujam. Strategies in games: a logic-automata study

Game models have attracted a great deal of interest in the area of multi-agent systems and in the design and verification of component-based reactive systems, using the tools of modal logics and automata theory, respectively.  Formalisms based on regular expressions such … Continue reading

Posted in Advanced, Courses, Logic and Computation, Slot 4, Week 1 | Comments Off

Nils Bulling and Wojtek Jamroga. Decision Problems and Decision Procedures for Strategic Logics

Formal logic is widely regarded as a foundation for specification, verification and reasoning about multi-agent systems. In recent years, a new group of modal logics emerged. These logics focus on the notion of strategy, and try to address abilities of … Continue reading

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

Uli Sauerland and Stephanie Solt. Imprecision and Approximation

This course presents an in-depth examination of the linguistic, logical and cognitive representation of imprecision (the lack of precision or exactness) and approximation (inexactness that is nonetheless close enough to be useful). Moodle site

Posted in Advanced, Courses, Logic and Language, Slot 5, Week 2 | 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

Reinhard Blutner and Peter beim Graben. Linear algebra and the geometry of meaning

Geometric models of meaning have become increasingly popular in natural language semantics and cognitive science. In contrast to standard symbolic models of meaning (e.g. Montague), which give a qualitative treatment of differences in meaning, geometric models are also able to … Continue reading

Posted in Courses, Foundational, Logic and Language, Slot 3, Week 1 | Comments Off

Cécile Meier. Introduction to Formal Semantics

Creativity is one of the main features of natural language. We are able to understand and produce sentences that we never ever heard before. Formal semantics explains how complex meanings may be derived from more simple meanings and by rules … Continue reading

Posted in Courses, Foundational, Logic and Language, Slot 1, 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

Michael Franke. Unawareness in Logic and Reasoning

This course introduces the notion of unawareness, its formal representation in logics, and its application to rational choice theory. Unawareness is a propositional attitude that an agent can have towards a proposition or formula when she does not entertain any … Continue reading

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

Nicholas Asher and Zhaohui Luo. Lexical Semantics

Lexical semantics specifies the meanings of words.  The purpose of this course is to look at ways of specifying such meanings and ways they combine to form the meanings of clauses and sentences.  Linguistics is replete with many interesting observations about how … Continue reading

Posted in Advanced, Courses, Language and Computation, Slot 1, Week 1 | 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

Craige Roberts and Judith Tonhauser. Projective meaning: Formal approaches and cross-linguistic evidence

Projective meanings are meaning elements which tend to survive as utterance implications even when the triggering expression is embedded under the syntactic scope of entailment-cancelling operators, such as classical presupposition triggers, but also Conventional Implicatures, some evidentials, and other non-presuppositional … Continue reading

Posted in Advanced, Courses, Logic and Language, Slot 1, Week 1 | Comments Off

Sudha Arunachalam. Experimental methods for linguists

Linguists have increasingly become interested in experimental research as a supplement to traditional analytical methods. But designing a good experiment is not trivial; researchers new to the area will need some guidance. This course is a practical introduction to experimental … Continue reading

Posted in Courses, Foundational, Language and Computation, Slot 5, Week 2 | Comments Off

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

Olaf Beyersdorff. Proofs and Games

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

Sylvain Salvati. Multiple Context Free Grammars: known properties and open problems

The definition of mildly context sensitive languages by Joshi in the 80′s lead to the search of grammatical formalisms that best capture the properties of of natural languages.  It happened that many formalisms proposed were in fact defining the same class … Continue reading

Posted in Advanced, Courses, Language and Computation, Slot 5, Week 2 | Comments Off

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

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

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

Thomas Ede Zimmermann. Intensionality

The class offers a quick tour of the the characteristic features of intensional constructions as well as the theoretical and descriptive problems surrounding them. Moodle site

Posted in Advanced, Courses, Logic and Language, Slot 2, Week 1 | 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

Pablo Cobreros and David Ripley. Non-classical Logics for Vague Predicates

Vague predicates are expressions such as “red”, “tall”, “heap” or “many”, whose meaning does not allow us to draw a fixed and determinate boundary between cases to which these expressions apply and cases to which they do not apply. The … Continue reading

Posted in Advanced, Courses, Logic and Language, Slot 2, Week 1 | Comments Off

Pawel Garbacz and Stefano Borgo. Formal ontologies for engineering

The course will present the state-of-the-art research including our own contribution. First, we introduce the formal ontology perspective and discuss how it relates to engineering needs. One prominent issue in this domain concerns the proper conceptualisation of the notion of … Continue reading

Posted in Advanced, Courses, Language and Computation, Slot 6, Week 2 | 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

Benedikt Löwe and Grzegorz Plebanek. Ordinals and Cardinals: Basic set-theoretic techniques in logic

Many participants of ESSLLI do not have a mathematical background, and most set theory courses are aimed at mathematicians and thus tend to be inaccessible to non-mathematicians. However, the basic techniques of set theory are important well beyond mathematical logic … Continue reading

Posted in Courses, Foundational, Logic and Computation, Slot 2, Week 1 | Comments Off

Philippe Balbiani. Region-based theories of space

We will present formal languages interpreted over classes of structures featuring regions and relations between them. These languages stem from Whitehead’s system in which the “being in contact” relation was assumed as primitive and Grzegorczyk’s system in which the “being … Continue reading

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

Shuly Wintner. Formal Language Theory for Linguists

This course is a mild introduction to Formal Language Theory for students with little or no background in formal systems. The motivation is computational linguistics, and the presentation is geared towards NLP applications, with extensive linguistically motivated examples. Still, mathematical … Continue reading

Posted in Courses, Foundational, Language and Computation, Slot 4, Week 1 | Comments Off