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: Week 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
Benoît Sagot. Lexical Resources
Lexical resources are one of the main sources of linguistic information for works and applications in Natural Language Processing and other fields. In the recent years, advances have been achieved in both symbolic aspects of lexical resource development (lexical formalisms, … Continue reading
Posted in Language and Computation, Slot 4, Week 1, Workshops
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
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
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
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
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
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
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
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
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
Mirna Dzamonja and Benedikt Löwe. Modern set theory: Foundations and Applications
This workshop is organized and financially supported by the research networking programme INFTY: “New frontiers of infinity: mathematical, philosophical, and computational prospects” funded by the European Science Foundation (ESF). Tutorial speakers. Gregor Dolinar (Univerza v Ljubljani, Slovenia), Martin Goldstern (Technische … Continue reading
Posted in Logic and Computation, Slot 3, Week 1, Workshops
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