Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Grädel, Erich; Kolaitis, Phokion G.; Kontinen, Juha; Vollmer, Heribert http://www.dagstuhl.de/dagrep License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-105682
URL:

; ; ;
Weitere Beteiligte (Hrsg. etc.): Erich Grädel and Phokion G. Kolaitis and Juha Kontinen and Heribert Vollmer

Logics for Dependence and Independence (Dagstuhl Seminar 19031)

pdf-format:


Abstract

This report documents the programme and outcomes of Dagstuhl Seminar 19031 "Logics for Dependence and Independence". This seminar served as a follow-up seminar to the highly successful seminars "Dependence Logic: Theory and Applications" (13071) and "Logics for Dependence and Independence" (15261). A key objective of the seminar was to bring together researchers working in dependence logic and in the application areas so that they can communicate state-of-the-art advances and embark on a systematic interaction. The goal was especially to reach those researchers who have recently started working in this thriving area as well as researchers working on several aspects of database theory, separation logic, and logics of uncertainy.

BibTeX - Entry

@Article{grdel_et_al:DR:2019:10568,
  author =	{Erich Gr{\"a}del and Phokion G. Kolaitis and Juha Kontinen and Heribert Vollmer},
  title =	{{Logics for Dependence and Independence (Dagstuhl Seminar 19031)}},
  pages =	{28--46},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{9},
  number =	{1},
  editor =	{Erich Gr{\"a}del and Phokion G. Kolaitis and Juha Kontinen and Heribert Vollmer},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2019/10568},
  URN =		{urn:nbn:de:0030-drops-105682},
  doi =		{10.4230/DagRep.9.1.28},
  annote =	{Keywords: dependence logic, mathematical logic, computational complexity, finite model theory, game theory}
}

Keywords: dependence logic, mathematical logic, computational complexity, finite model theory, game theory
Seminar: Dagstuhl Reports, Volume 9, Issue 1
Issue date: 2019
Date of publication: 2019


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI