New Directions in Logic, Language, and Computation

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. During two weeks, around 50 courses and 10 workshops are offered to the attendants, each of 1.5 hours per day during a five days week, with up to seven parallel sessions. ESSLLI also includes a student session (papers and posters by students only, 1.5 hour per day during the two weeks) and four evening lectures by senior scientists in the covered areas. The 15 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on The papers are organized in topical sections on language and computation; logic and computation; and logic and language.

Summer school proceedings State-of-the-art research in logics Up-to-date results

Inhalt

Language and Computation.- Predicting the Position of Attributive Adjectives in the French NP.-Abductive Reasoning for Continual Dialogue Understanding.-SCA: Phonetic Alignment Based on Sound Classes.-Embodied Quantifiers.-Ranked Multidimensional Dialogue Act Annotation.-Logic and Computation.-The Good, the Bad, and the Odd: Cycles in Answer-Set Programs.-Distributed Knowledge with Justifications.-Epistemic Logic, Relevant Alternatives, and the Dynamics of Context.Towards a Generalization of Modal Definability.-Modeling Semantic Competence: A Critical Review of Frege's Puzzle about Identity.-Comparing Inconsistency Resolutions in Multi-Context Systems.-Logic and Language Vague Determiner Phrases and Distributive Predication.-The Syntax and Semantics of Evaluative Degree Modification.-A Kripkean Solution to Paradoxes of Denotation.-Trust Games as a Model for Requests.-