Category Archives: Slot 2

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

Posted on October 30, 2010 by Mihael Arčan

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

Roberto Navigli. Graphs in Natural Language Processing

Posted on October 30, 2010 by Mihael Arčan

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

Thomas Ede Zimmermann. Intensionality

Posted on October 30, 2010 by Mihael Arčan

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

Posted on October 30, 2010 by Mihael Arčan

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

Posted on October 30, 2010 by Mihael Arčan

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

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

Posted on October 30, 2010 by Mihael Arčan

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