Dagstuhl Reports, Volume 4, Issue 5,

• Dagstuhl Reports, Volume 4, Issue 5, May 2014, Complete Issue 10.4230/DagRep.4.5
• Dagstuhl Reports, Table of Contents, Volume 4, Issue 5, 2014 10.4230/DagRep.4.5.i
• 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) 10.4230/DagRep.4.5.1
• Franz Dietrich, Ulle Endriss, Davide Grossi, Gabriella Pigozzi, and Marija Slavkovik JA4AI – Judgment Aggregation for Artificial Intelligence (Dagstuhl Seminar 14202) 10.4230/DagRep.4.5.27
• Danny Dig, William G. Griswold, Emerson Murphy-Hill, and Max Schäfer The Future of Refactoring (Dagstuhl Seminar 14211) 10.4230/DagRep.4.5.40
• Falai Chen, Tor Dokken, Thomas A. Grandine, and Stefanie Hahmann Geometric Modeling (Dagstuhl Seminar 14221) 10.4230/DagRep.4.5.68