Category Archives: Slot 1

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

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

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

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

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

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

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