Category Archives: Slot 5

Dmitry Tishkovsky and Renate Schmidt. Automated Synthesis of Tableau Calculi

Posted on October 30, 2010 by Mihael Arčan

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

Uli Sauerland and Stephanie Solt. Imprecision and Approximation

Posted on October 30, 2010 by Mihael Arčan

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

Jeroen Groenendijk and Floris Roelofsen. Inquisitive Semantics

Posted on October 30, 2010 by Mihael Arčan

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

Sudha Arunachalam. Experimental methods for linguists

Posted on October 30, 2010 by Mihael Arčan

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

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

Posted on October 30, 2010 by Mihael Arčan

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

Natasha Alechina and Brian Logan. Logics and Agent Programming Languages

Posted on October 30, 2010 by Mihael Arčan

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