May 3 – 8 , 2020, Dagstuhl Seminar 20191
Last update: June 5 2020

Extending the Synergies Between SAT and Description Logics

Participants



In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner