Dagstuhl Reports, Volume 11, Issue 8,
-
Dagstuhl Reports, Volume 11, Issue 8, September 2021, Complete Issue
10.4230/DagRep.11.8
-
Dagstuhl Reports, Table of Contents, Volume 11, Issue 8, 2021
10.4230/DagRep.11.8.i
-
Joao Marques-Silva, Rafael Peñaloza, and Uli Sattler
Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361)
10.4230/DagRep.11.8.1
-
Tiansi Dong, Achim Rettinger, Jie Tang, Barbara Tversky, and Frank van Harmelen
Structure and Learning (Dagstuhl Seminar 21362)
10.4230/DagRep.11.8.11
-
Maria Paola Bonacina, Philipp Rümmer, and Renate A. Schmidt
Integrated Deduction (Dagstuhl Seminar 21371)
10.4230/DagRep.11.8.35
-
Mariangiola Dezani, Roland Kuhn, Sam Lindley, and Alceste Scalas
Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372)
10.4230/DagRep.11.8.52
-
Effie Lai-Chong Law, Asbjørn Følstad, Jonathan Grudin, and Björn Schuller
Conversational Agent as Trustworthy Autonomous System (Trust-CA) (Dagstuhl Seminar 21381)
10.4230/DagRep.11.8.76
-
Daniel Král’, Michał Pilipczuk, Sebastian Siebertz, and Blair D. Sullivan
Sparsity in Algorithms, Combinatorics and Logic (Dagstuhl Seminar 21391)
10.4230/DagRep.11.8.115