Logics for New-Generation AI. First International Workshop, 18-20 June 2021, Hangzhou

Beishui Liao, Jieting Luo, Leendert van der Torre · 2021