Issue
Dagstuhl Reports, Volume 4, Issue 5
-
Part of:
Volume:
Dagstuhl Reports, Volume 4
Journal: Dagstuhl Reports (DagRep)
Publication Details
- published at: 2014-09-12
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports4
Access Numbers
- Detailed Access Statistics available here
-
Total Document Accesses (updated on a weekly basis):
0PDF Downloads
Documents
No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 4, Issue 5, May 2014, Complete Issue
Abstract
Dagstuhl Reports, Volume 4, Issue 5, May 2014, Complete Issue
Cite as
Dagstuhl Reports, Volume 4, Issue 5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{DagRep.4.5,
title = {{Dagstuhl Reports, Volume 4, Issue 5, May 2014, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {5},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.5},
URN = {urn:nbn:de:0030-drops-47887},
doi = {10.4230/DagRep.4.5},
annote = {Keywords: Dagstuhl Reports, Volume 4, Issue 5, May 2014, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 4, Issue 5, 2014
Abstract
Table of Contents, Frontmatter
Cite as
Dagstuhl Reports, Volume 4, Issue 5, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{DagRep.4.5.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 4, Issue 5, 2014}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {5},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.5.i},
URN = {urn:nbn:de:0030-drops-47872},
doi = {10.4230/DagRep.4.5.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
Document
Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications (Dagstuhl Seminar 14201)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14201 "Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications". The seminar brought together researchers working in various areas of mathematics and computer science, mostly in algebra, logic, date base theory, artificial intelligence and data mining. A key objective of the seminar has been to bring together a critical mass of researchers and to provide a platform for personal contacts and scientific interchange between the different disciplines in an atmosphere that will stimulate collaboration and lead to new partnerships. The goal was to crystallize the main research directions and to disseminate challenging open problems across the different research areas.
Cite as
Kira V. Adaricheva, Giuseppe F. Italiano, Hans Kleine Büning, and György Turán. Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications (Dagstuhl Seminar 14201). In Dagstuhl Reports, Volume 4, Issue 5, pp. 1-26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{adaricheva_et_al:DagRep.4.5.1,
author = {Adaricheva, Kira V. and Italiano, Giuseppe F. and Kleine B\"{u}ning, Hans and Tur\'{a}n, Gy\"{o}rgy},
title = {{Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications (Dagstuhl Seminar 14201)}},
pages = {1--26},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {5},
editor = {Adaricheva, Kira V. and Italiano, Giuseppe F. and Kleine B\"{u}ning, Hans and Tur\'{a}n, Gy\"{o}rgy},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.5.1},
URN = {urn:nbn:de:0030-drops-46193},
doi = {10.4230/DagRep.4.5.1},
annote = {Keywords: Horn formulas, directed hypergraphs, lattices, closure system, data bases, implicational systems and concept analysis}
}
Document
JA4AI – Judgment Aggregation for Artificial Intelligence (Dagstuhl Seminar 14202)
Abstract
This report documents the programme and the outcomes of Dagstuhl Seminar 14202 on "Judgment Aggregation for Artificial Intelligence". Judgment aggregation is a new group decision-making theory that lies in the intersection of logic and social choice; it studies how to reach group decisions on several logically interconnected issues by aggregation of individual judgments. Until recently research in judgment aggregation was dominated by its originating context of philosophy, political science and law. Presently, however we are witnessing increasing work in judgment aggregation from researchers in computer science. Since researchers from such diverse disciplinary backgrounds working on judgment aggregation each publish within their own discipline with virtually no cross-discipline cooperation on concrete projects, it is essential that they are given an opportunity to connect to each other and become aware of the workings of the other side. This seminar has provided such an opportunity.
Cite as
Franz Dietrich, Ulle Endriss, Davide Grossi, Gabriella Pigozzi, and Marija Slavkovik. JA4AI – Judgment Aggregation for Artificial Intelligence (Dagstuhl Seminar 14202). In Dagstuhl Reports, Volume 4, Issue 5, pp. 27-39, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{dietrich_et_al:DagRep.4.5.27,
author = {Dietrich, Franz and Endriss, Ulle and Grossi, Davide and Pigozzi, Gabriella and Slavkovik, Marija},
title = {{JA4AI – Judgment Aggregation for Artificial Intelligence (Dagstuhl Seminar 14202)}},
pages = {27--39},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {5},
editor = {Dietrich, Franz and Endriss, Ulle and Grossi, Davide and Pigozzi, Gabriella and Slavkovik, Marija},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.5.27},
URN = {urn:nbn:de:0030-drops-46791},
doi = {10.4230/DagRep.4.5.27},
annote = {Keywords: Judgment Aggregation, Artificial Intelligence, Computational Social Choice, Collective Decision-making}
}
Document
The Future of Refactoring (Dagstuhl Seminar 14211)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14211 on "The Future of Refactoring." Over the past decade, refactoring has become firmly established as an essential part of industrial software development. At the same time, academic interest in refactoring has grown at a fast pace, resulting in a large body of literature on many different aspects of refactoring. The aim of this seminar was to provide a forum for refactoring researchers and practitioners to discuss what has been achieved, get to know each others' work, and plan future collaboration. This report presents abstracts of the participants' talks and summaries of breakout sessions, and introduces some joint projects that were started as a result of the seminar.
Cite as
Danny Dig, William G. Griswold, Emerson Murphy-Hill, and Max Schäfer. The Future of Refactoring (Dagstuhl Seminar 14211). In Dagstuhl Reports, Volume 4, Issue 5, pp. 40-67, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{dig_et_al:DagRep.4.5.40,
author = {Dig, Danny and Griswold, William G. and Murphy-Hill, Emerson and Sch\"{a}fer, Max},
title = {{The Future of Refactoring (Dagstuhl Seminar 14211)}},
pages = {40--67},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {5},
editor = {Dig, Danny and Griswold, William G. and Murphy-Hill, Emerson and Sch\"{a}fer, Max},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.5.40},
URN = {urn:nbn:de:0030-drops-46807},
doi = {10.4230/DagRep.4.5.40},
annote = {Keywords: Refactoring}
}
Document
Geometric Modeling (Dagstuhl Seminar 14221)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14221 "Geometric Modeling". This is the 9th Dagstuhl seminar on "Geometric Modeling", and the seminar was attended by 44 leading researchers coming from 3 continents and 20 countries. A total of 45 presentations were grouped together into 12 lecture sessions and 3 perspective working group sessions. There was also ample time for stimulating and fruitful person to person and group discussions in the harmonic Dagstuhl atmosphere.
Cite as
Falai Chen, Tor Dokken, Thomas A. Grandine, and Stefanie Hahmann. Geometric Modeling (Dagstuhl Seminar 14221). In Dagstuhl Reports, Volume 4, Issue 5, pp. 68-94, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{chen_et_al:DagRep.4.5.68,
author = {Chen, Falai and Dokken, Tor and Grandine, Thomas A. and Hahmann, Stefanie},
title = {{Geometric Modeling (Dagstuhl Seminar 14221)}},
pages = {68--94},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {5},
editor = {Chen, Falai and Dokken, Tor and Grandine, Thomas A. and Hahmann, Stefanie},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.5.68},
URN = {urn:nbn:de:0030-drops-46815},
doi = {10.4230/DagRep.4.5.68},
annote = {Keywords: Geometric modeling, material modeling, locally refinable splines, isogeometric analysis, mesh processing, algebraic methods}
}