ILLC-LIRa

illc-lira@list.uva.nl

1 participants
582 discussions

Friday: LIRa session: Fan Yang
by LIRa Seminar 31 Jan '16

31 Jan '16

Dear all, on Friday February 5th, we will have a LIRa session with Fan Yang. Everyone is cordially invited! Speaker: Fan Yang (TU Delf) Date and Time: Friday, February 5th 2016, 13:00 - 14:30 Venue: *KdVI Seminar Room F3.20*, Science Park 107. Title: Dependence Logic and Arrow’s Theorem. Abstract: Dependence logic [Väänänen 2007] is a new logical formalism that characterizes the notions of “dependence\" and “independence” in social and natural sciences. The logic adopts the so-called team semantics [Hodges 1997]. The basic idea of this new semantics is that properties of dependence and independence cannot be manifested in single assignments, therefore unlike the usual semantics, formulas of dependence logic are evaluated on sets of assignments (called teams). In this talk, we give a brief introduction to dependence logic and its variants (including independence logic [Grädel, Väänänen 2013]). Then, we will use a version of independence logic to formalize Arrow’s Impossibility Theorem, which can be viewed as a theorem highlighting an interesting conflict between dependence and independence. (The second part of the talk is based on a joint work with Eric Pacuit.) Hope to see you there! The LIRa team

1 0

Change in the LIRa Schedule
by Soroush Rafiee Rad 26 Jan '16

26 Jan '16

Dear LIRa Participants/ Enthusiasts, This is to inform you all of a change in the LIRa schedule. >From February 2016 onward our weekly LIRa seminars will be held on Fridays 13.00-14.30. These will be lunch time talks and you are invited to bring along your lunch/sandwich, while coffee and soft drinks will be provided. Please note in particular that this change also include the LIRa talk announced on the ILLC news for February 4th: the talk of Fan Yang is now moved to *Friday February 5th 13.00-14.30*. We hope that this works well for every one and hope to see you all, All the best,

1 0

Tomorrow: LIRa session with Theo Kuipers
by LIRa Seminar 20 Jan '16

20 Jan '16

Dear all, tomorrow, we will have a LIRa session with Theo Kuipers. Everyone is cordially invited! Speaker: Theo Kuipers (University of Groningen) Date and Time: Thursday, January 21st 2016, 16:00-17:30 Venue: Science Park 107, Room F1.15 Title: Concretizations of two-sided nomic truth approximation: quantification, refinement, and stratification. Abstract. In a recent paper, entitled “Models, postulates, and generalized nomic truth approximation” (Synthese, open access, online DOI 10.1007/s11229-015-0916-9) I have shown that nomic truth approximation can perfectly be achieved by combining two prima facie opposing views on theories: 1. The traditional view: theories are sets of (models satisfying) postulates that exclude certain possibilities from being realizable. 2. The model view: theories are sets of models that claim to represent certain realizable possibilities, at least approximately. >From this combined perspective, nomic truth approximation, in the sense of increasing truth-content and decreasing falsity-content, can be reconstructed as a matter of revising theories by revising their models (M-side) and/or their postulates (P-side) in the face of increasing evidence. My pre-2012 work on truth approximation, notably Kuipers (2000), was restricted to maximal theories, that is, theories in which the models are just all structures satisfying the postulates. Hence, the present two-sided approach is a far-reaching generalization. It even leaves room for two extremes: pure theories of postulates and pure theories of models. The recent paper is based on the simplest assumptions about the further nature of theories and their claims. Starting from this ‘basic’ version I want to examine in the present paper three perspectives for concretization, 1) a quantitative/probabilistic version, 2) a refined version based on an underlying ternary similarity relation between possibilities (notably, structurelikeness between structures), 3) a stratified version based on a (theory-relative) distinction between an observational and a theoretical level. Kuipers, T., (2000), From Instrumentalism to Constructive Realism, Springer, Dordrecht, 2000. Hope to see you there! The LIRa team

1 0

Next Thursday: LIRa session with Theo Kuipers
by LIRa Seminar 14 Jan '16

14 Jan '16

Dear all, next week on Thursday January 21st, we will have a LIRa session with Theo Kuipers. Everyone is cordially invited! Speaker: Theo Kuipers (University of Groningen) Date and Time: Thursday, January 21st 2016, 16:00-17:30 Venue: Science Park 107, Room F1.15 Title: Concretizations of two-sided nomic truth approximation: quantification, refinement, and stratification. Abstract. In a recent paper, entitled “Models, postulates, and generalized nomic truth approximation” (Synthese, open access, online DOI 10.1007/s11229-015-0916-9) I have shown that nomic truth approximation can perfectly be achieved by combining two prima facie opposing views on theories: 1. The traditional view: theories are sets of (models satisfying) postulates that exclude certain possibilities from being realizable. 2. The model view: theories are sets of models that claim to represent certain realizable possibilities, at least approximately. >From this combined perspective, nomic truth approximation, in the sense of increasing truth-content and decreasing falsity-content, can be reconstructed as a matter of revising theories by revising their models (M-side) and/or their postulates (P-side) in the face of increasing evidence. My pre-2012 work on truth approximation, notably Kuipers (2000), was restricted to maximal theories, that is, theories in which the models are just all structures satisfying the postulates. Hence, the present two-sided approach is a far-reaching generalization. It even leaves room for two extremes: pure theories of postulates and pure theories of models. The recent paper is based on the simplest assumptions about the further nature of theories and their claims. Starting from this ‘basic’ version I want to examine in the present paper three perspectives for concretization, 1) a quantitative/probabilistic version, 2) a refined version based on an underlying ternary similarity relation between possibilities (notably, structurelikeness between structures), 3) a stratified version based on a (theory-relative) distinction between an observational and a theoretical level. Kuipers, T., (2000), From Instrumentalism to Constructive Realism, Springer, Dordrecht, 2000. Hope to see you there! The LIRa team

1 0

LAMAS 2016, 2nd Call for Papers
by LIRa Seminar 12 Jan '16

12 Jan '16

======================================================== 9th Workshop on Logical Aspects of Multi-Agent Systems *** LAMAS 2016 *** (satellite workshop of AAMAS 2016) May 10, 2016, Singapore http://ii.tudelft.nl/~nils/lamas2016/ 2nd Call for Papers ======================================================== ================================= INTRODUCTION ================================= There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas. The workshop is intended to cover, but it is not limited to, the following subjects: - Logical systems for specification, analysis, and reasoning about MAS - Modeling MAS with logic-based models - Logic in game theory - Logic in social choice theory - Deductive systems and decision procedures for logics for MAS - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS - Logic-based tools for MAS - Applications of logics in MAS ================================= SUBMISSION ================================= Authors are invited to submit papers in the following three categories: - Regular papers up to 15 pages, describing original unpublished research. Position papers and visionary work in progress can also be submitted in this category. Simultaneous submission to another venue is not allowed. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Extended abstracts of 2-5 pages reporting interesting and relevant work that has been published (or accepted for publication) in the last 12 months. Submissions should be anonymous, subject to double-blind reviewing procedure. Each submission will be reviewed by at least 2 PC members. Papers must be in PDF format and prepared according to the Springer LNCS format. For templates and instructions for authors, please see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Papers must be submitted via Easychair: https://easychair.org/conferences/?conf=lamas2016 ================================= PROCEEDINGS AND POST-PROCEEDINGS (Journal Special Issue of STUDIA LOGICA) ================================= All accepted workshop papers will be made available to workshop registrants in electronic form. No formal publication of workshop papers is planned, besides the selected "visionary paper" and "best paper" as explained below. Workshop post-proceedings are planned as a journal special issue of STUDIA LOGICA. Authors of selected papers will be invited to submit to the special issue. All submissions will be subject to another reviewing and selection process according to the standards of STUDIA LOGICA. ================================= VISIONARY PAPER AND BEST PAPER ================================= The most “visionary paper” will be published by Springer in a book under the Lecture Notes in Artificial Intelligence (LNAI) - Hot Topics series. The book will be a compilation of the most visionary papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop. Additionally, the “best paper” will be published by Springer in a book under the Communications in Computer and Information Science (CCIS) series. The book will be a compilation of the best papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop. Authors of the selected most visionary paper and the best paper are expected to provide their latex files promptly upon request. ================================= Keynote Speaker ================================= To be announced ================================= IMPORTANT DATES ================================= Paper submission: February 1, 2016 Author notification: March 2, 2016 Camera-ready deadline: March 10, 2016 Workshop: May 10, 2016 ================================= WORKSHOP and PC CHAIRS ================================= Nils Bulling, TU Delft, NL Davide Grossi, University of Liverpool, UK ================================= PROGRAM COMMITTEE (confirmed members) ================================= Thomas Ågotnes, University of Bergen Natasha Alechina, University of Nottingham Thomas Bolander, DTU Mehdi Dastani, Utrecht University Michael Fisher, University of Liverpool Nina Gierasimczuk, ILLC, University of Amsterdam Valentin Goranko, Stockholm University Andreas Herzig, IRIT-CNRS Koen Hindriks, Delft University of Technology Wiebe van der Hoek, University of Liverpool Wojtek Jamroga, Polish Academy of Sciences Joao Leite, NOVA LINCS, Universidade NOVA de Lisboa Brian Logan, University of Nottingham Alessio Lomuscio, Imperial College London Emiliano Lorini, IRIT John-Jules Meyer, Utrecht University Aniello Murano, Universita’ di Napoli "Federico II" Alessandra Palmigiano, Technical University of Delft Wojciech Penczek, ICS PAS and Siedlce University Daniele Porello, ISTC, CNR R. Ramanujam, Institute of Mathematical Sciences, Chennai Pierre-Yves Schobbens, University of Namur Sonja Smets, University of Amsterdam Nicolas Troquard, LACL, Univ. Paris Est-Créteil ================================= ORGANIZATION AND CONTACT ================================= The workshop is organized by Nils Bulling, TU Delft, and Davide Grossi, University of Liverpool. In case of questions, do not hesitate to contact us at n.bulling(a)tudelft.nl and d.grossi(a)liverpool.ac.uk, respectively.

1 0

Tomorrow: LogiCIC/LIRa session: Allard Tamminga
by LIRa Seminar 16 Dec '15

16 Dec '15

Dear all, Tomorrow we will have a joint LogiCIC/LIRa session with Allard Tamminga. Everyone is cordially invited! Speaker: Allard Tamminga (Utrecht University & University of Groningen) Date and Time: Thursday, December 17th 2015, 16:00-17:30 Venue: Science Park 107, Room F1.15 Title: Collective obligations: logical and game-theoretic considerations. Abstract. I present two things: (1) a deontic logic of collective action that models collective actions, abilities, obligations, and their interrelations and (2) a game-theoretic study of the relation between what I call member obligations and individual obligations. My deontic logic of collective action shows that collective obligations and individual obligations do not match: the fulfillment of a collective obligation is neither necessary nor sufficient for the fulfillment of individual obligations. To rectify the situation, I introduce the notion of a member obligation, which is what an individual group member ought to do to help ensure that the group fulfills its collective obligation. Member obligations follow from a group plan designed to fulfill the group’s collective obligation: by highlighting particular group actions, a group plan specifies the individual actions that are the components of these highlighted group actions. Using game-theoretic means, I give structural conditions on group plans under which member obligations and individual obligations coincide. Hope to see you there! The LIRa team

1 0

Next Thursday: LogiCIC/LIRa session: Allard Tamminga
by LIRa Seminar 12 Dec '15

12 Dec '15

Dear all, on Thursday December 17th, we will have a joint LogiCIC/LIRa session with Allard Tamminga. Everyone is cordially invited! Speaker: Allard Tamminga (Utrecht University & University of Groningen) Date and Time: Thursday, December 17th 2015, 16:00-17:30 Venue: Science Park 107, Room F1.15 Title: Collective obligations: logical and game-theoretic considerations. Abstract. I present two things: (1) a deontic logic of collective action that models collective actions, abilities, obligations, and their interrelations and (2) a game-theoretic study of the relation between what I call member obligations and individual obligations. My deontic logic of collective action shows that collective obligations and individual obligations do not match: the fulfillment of a collective obligation is neither necessary nor sufficient for the fulfillment of individual obligations. To rectify the situation, I introduce the notion of a member obligation, which is what an individual group member ought to do to help ensure that the group fulfills its collective obligation. Member obligations follow from a group plan designed to fulfill the group’s collective obligation: by highlighting particular group actions, a group plan specifies the individual actions that are the components of these highlighted group actions. Using game-theoretic means, I give structural conditions on group plans under which member obligations and individual obligations coincide. Hope to see you there! The LIRa team

1 0

Tomorrow: LogiCIC/LIRa session: Jan Sprenger
by LIRa Seminar 09 Dec '15

09 Dec '15

Dear all, *tomorrow* we will have a joint LogiCIC/LIRa session with Jan Sprenger. Everyone is cordially invited! Speaker: Jan Sprenger (Tilburg University) Date and Time: Thursday, December 10th 2015, 16:00-17:30 Venue: Science Park 107, Room F1.15 Title: Foundations for a Theory of Causal Strength. Abstract. Since more than 2,500 years, there has been research on the qualitative concept of causation (\"Is X a cause of Y?\"). The quantitative concept (\"How strong is the causal link between X and Y?\") is much less understood. In this talk, I will provide axiomatic foundations for a probabilistic logic of causal strength. Then I will connect the results to measures of effect size in statistical inference and apply them to a recent case study in Dutch tort law. Hope to see you there! The LIRa team

1 0

This Thursday: LogiCIC/LIRa session: Jan Sprenger
by LIRa Seminar 07 Dec '15

07 Dec '15

Dear all, this Thursday we will have a joint LogiCIC/LIRa session with Jan Sprenger. Everyone is cordially invited! Speaker: Jan Sprenger (Tilburg University) Date and Time: Thursday, December 10th 2015, 16:00-17:30 Venue: Science Park 107, Room F1.15 Title: Foundations for a Theory of Causal Strength. Abstract. Since more than 2,500 years, there has been research on the qualitative concept of causation (\"Is X a cause of Y?\"). The quantitative concept (\"How strong is the causal link between X and Y?\") is much less understood. In this talk, I will provide axiomatic foundations for a probabilistic logic of causal strength. Then I will connect the results to measures of effect size in statistical inference and apply them to a recent case study in Dutch tort law. Hope to see you there! The LIRa team

1 0

No LIRa session tomorrow!
by LIRa Seminar 02 Dec '15

02 Dec '15

Dear all, please note that *tomorrow there will be no LIRa session*. The previously announced talk by Fan Yang has been postponed to February. One reason for this are the CWI Lectures on Quantum Computing which will take place tomorrow. See the following link for more information. Note however, that registration has been closed and the event is getting a lot of attention. Come early if you want a spot. https://www.cwi.nl/lectures2015 The next LIRa session will be next week on Thursday the 10th with Jan Sprenger from Tilburg University. best wishes, The LIRa team

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa