| Huajun Chen Zhejiang University, Hangzhou, CN  Neural Symbolic Computing with Knowledge Graph | Yongmei Liu Sun Yat-sen University, Guangzhou, CN  Multi-agent epistemic planning based on higher-order belief change | Valeria de Paiva Topos Institute, Berkeley, US  Natural Language Inference: for Humans and Machines |
| Henry Prakken Utrecht University, Utrecht, NL University of Groningen, NL European University Institute, Florence, IT Principle-based and principled formal studies of argumentation: the case of gradual semantics | Christian Straßer Ruhr-University Bochum, Bochum, DE  Some recent developments in the argumentative unification of defeasible reasoning |
Second International Workshop on Logics for New-Generation Artificial Intelligence