Autor: Thomas Agotnes

This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011. The 22 papers presented were …

This volume collects selected papers presented at the Second Chinese Conference on Logic and Argumentation in 2018 held in Hangzhou, China. The papers presented reflect recent advances in logic and a …

This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers include …