This report documents the program and the outcomes of Dagstuhl Seminar 11351 ``Computer Science & Problem Solving: New Foundations\u27\u27. This seminar was the first Dagstuhl seminar that brought together a balanced group of computer scientists and psychologists to exchange perspectives on problem solving. In the 1950s the seminal work of Allen Newell and Herbert Simon laid the theoretical foundations for problem solving research as we know it today, but the field had since become disconnected from contemporary computer science. The aim of this seminar was to promote theoretical progress in problem solving research by renewing the connection between psychology and computer science in this area
On December 17 to 21, the Dagstuhl seminar "Divide and Conquer: the Quest for Compositional Design a...
This paper presents a bibliography of 100 references related to human problem solving, arranged by s...
This report documents the program and the outcomes of Dagstuhl Seminar 19111 "Theoretical Foundation...
This report documents the program and the outcomes of Dagstuhl Seminar 14341 \u27Resource-bounded Pr...
This report documents the program and the outcomes of Dagstuhl Seminar 14341 'Resource-bounded Probl...
The main goal of the seminar ``Mathematical and Computational Foundations of Learning Theory\u27\u27...
This report documents the talks and discussions at the Dagstuhl seminar 16111 "Rethinking Experiment...
This report documents the program and the outcomes of Dagstuhl Seminar 12241 ``Data Reduction and Pr...
This report documents the program and the outcomes of Dagstuhl Seminar 15221 "Multi-disciplinary app...
Much of computer science research focuses on techniques to make programming easier, better, less err...
This report documents the programme and outcomes of Dagstuhl Seminar 16381 “SAT and Interactions”. T...
This report documents the programme and outcomes of Dagstuhl Seminar 12471 "SAT Interactions". The s...
Machine learning has become a core field in computer science. Over the last decade the statistical m...
This report documents the programme and outcomes of Dagstuhl Seminar 16381 "SAT and Interactions". T...
Software is created by people who think, feel, and express themselves to one another and their compu...
On December 17 to 21, the Dagstuhl seminar "Divide and Conquer: the Quest for Compositional Design a...
This paper presents a bibliography of 100 references related to human problem solving, arranged by s...
This report documents the program and the outcomes of Dagstuhl Seminar 19111 "Theoretical Foundation...
This report documents the program and the outcomes of Dagstuhl Seminar 14341 \u27Resource-bounded Pr...
This report documents the program and the outcomes of Dagstuhl Seminar 14341 'Resource-bounded Probl...
The main goal of the seminar ``Mathematical and Computational Foundations of Learning Theory\u27\u27...
This report documents the talks and discussions at the Dagstuhl seminar 16111 "Rethinking Experiment...
This report documents the program and the outcomes of Dagstuhl Seminar 12241 ``Data Reduction and Pr...
This report documents the program and the outcomes of Dagstuhl Seminar 15221 "Multi-disciplinary app...
Much of computer science research focuses on techniques to make programming easier, better, less err...
This report documents the programme and outcomes of Dagstuhl Seminar 16381 “SAT and Interactions”. T...
This report documents the programme and outcomes of Dagstuhl Seminar 12471 "SAT Interactions". The s...
Machine learning has become a core field in computer science. Over the last decade the statistical m...
This report documents the programme and outcomes of Dagstuhl Seminar 16381 "SAT and Interactions". T...
Software is created by people who think, feel, and express themselves to one another and their compu...
On December 17 to 21, the Dagstuhl seminar "Divide and Conquer: the Quest for Compositional Design a...
This paper presents a bibliography of 100 references related to human problem solving, arranged by s...
This report documents the program and the outcomes of Dagstuhl Seminar 19111 "Theoretical Foundation...