ILLC-LIRa January 2016

illc-lira@list.uva.nl

3 participants
5 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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa January 2016