Book

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

by Beishui Liao, Jieting Luo, Leendert van der Torre