- J.-Martín Castro-Manzano. Mixing Term Logics
- Alexander Sakharov. Calculi and Models for Non-Horn Knowledge Bases Containing Neural and Evaluable Predicates
- Ali Farjami. Experiments in Kratzer Modal Semantics Using Isabelle/HOL (Extended Abstract)
- Xiaolong Liang and Yì N. Wáng. Epistemic Logics over Weighted Graphs
- Puyin Li, Dov Gabbay, Xiao Chi and You Cheng. Decision Making with Weighted Quantitative Argumentation Based on Regression
- Chen Chen and Beishui Liao. Evidence Accumulating Arguments in Evidence-Based Argumentation Frameworks
- David Fuenmayor and Christoph Benzmüller. Higher-order Logic as a Lingua Franca for Logico-Pluralist Argumentation
- Xuefeng Wen. New Axiomatization of Lewis’ Conditional Logics
- Muyun Shao and Beishui Liao. Using ATS to Model Control Argumentation in Multi-agent Settings (Extended Abstract)
Second International Workshop on Logics for New-Generation Artificial Intelligence