- Forecast May 24, 2013day
Rain14°Cwind speed: 1 m/s SSEForecast May 25, 2013day
Mostly cloudy16°Cwind speed: 1 m/s SWForecast May 26, 2013day
Rain14°Cwind speed: 1 m/s N
Category Archives: Logic and Computation
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
Dmitry Tishkovsky and Renate Schmidt. Automated Synthesis of Tableau Calculi
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
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
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
Oliver Kutz and Thomas Schneider. 5th International Workshop on Modular Ontologies (WoMO 2011)
Modularity, as studied for many years in software engineering, allows mechanisms for easy and flexible reuse, generalization, structuring, maintenance, design patterns, and comprehension. Applied to ontology engineering, modularity is central not only to reduce the complexity of understanding ontologies, but … Continue reading
Posted in Logic and Computation, Slot 8, Week 2, Workshops
Comments Off
Aart Middeldorp and Georg Moser. Termination and Complexity of Rewrite Systems
The course provides an introduction into the field of termination and complexity of term rewrite systems. Term rewriting is a conceptually simple, but powerful abstract model of computation with applications in automated theorem proving, compiler optimization, and declarative programming, to … Continue reading
Posted in Courses, Introductory, Logic and Computation, Slot 7, Week 2
Comments Off
Andrzej Murawski and Nikos Tzevelekos. Semantics of programming languages
A focal point in Computer Science is the semantics of programs, that is, the meaning of syntactic constructs of a programming language given independently of implementations and in terms of a formal mathematical framework. Such semantics not only reveals the … Continue reading
Posted in Courses, Introductory, Logic and Computation, Slot 8, Week 2
Comments Off
Davide Grossi and Gabriella Pigozzi. Introduction to Judgment Aggregation
The aggregation of individual judgments on logically interconnected propositions into one collective judgment has recently drawn attention in economics, philosophy, logic and computer science. Despite the apparent simplicity of the problem, seemingly reasonable aggregation procedures cannot ensure a consistent collective … Continue reading
Posted in Courses, Introductory, Logic and Computation, Slot 6, Week 2
Comments Off
Michael Franke. Unawareness in Logic and Reasoning
This course introduces the notion of unawareness, its formal representation in logics, and its application to rational choice theory. Unawareness is a propositional attitude that an agent can have towards a proposition or formula when she does not entertain any … Continue reading
Posted in Advanced, Courses, Logic and Computation, Slot 8, Week 2
Comments Off
Dag Westerstahl and Denis Bonnay. Logical constants
The question of logical constants has been debated since medieval times, and modern logic has attempted various answers, along both model-theoretic and proof-theoretic lines. Recently the interest in the issue has grown considerably, partly because new results and insights on … Continue reading
Posted in Logic and Computation, Slot 6, Week 2, Workshops
Comments Off
Olaf Beyersdorff. Proofs and Games
The aim of this course is to present an up-to-date introduction to propositional proof complexity with emphasis on game-theoretic techniques, connections to parameterized complexity and DPLL algorithms. We will cover important proof systems, current knowledge about proof lengths in these … Continue reading
Posted in Advanced, Courses, Logic and Computation, Slot 7, Week 2
Comments Off
Valentin Goranko. Tableau-based decision methods for temporal logics and multi-agent logics of knowledge and strategic abilities
In this course I will develop systematically and illustrate with many examples the incremental tableau-building methodology for constructive testing of satisfiability, applicable to a wide variety of logical systems. I will focus first on linear and branching time temporal logics, … Continue reading
Posted in Advanced, Courses, Logic and Computation, Slot 7, Week 2
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
Natasha Alechina and Brian Logan. Logics and Agent Programming Languages
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
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
