Articles

1.) Lifted Reasoning for Combinatorial Counting. --Pietro Totis, Jesse Davis, Luc de Raedt, Angelika Kimmig
2.) Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach. --Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl
3.) A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning. --Francesco Percassi, Enrico Scala, Mauro Vallati
4.) A Survey on Understanding and Representing Privacy Requirements in the Internet-of-Things. --Gideon Ogunniye, Nadin Kokciyan
5.) Viewpoint: Artificial Intelligence Accidents Waiting to Happen?. --Federico Bianchi, Amanda Cercas Curry, Dirk Hovy
6.) A Survey of Zero-shot Generalisation in Deep Reinforcement Learning. --Robert Kirk, Amy Zhang, Edward Grefenstette, Tim Rocktäschel
7.) Characterizing Tseitin-Formulas with Short Regular Resolution Refutations. --Alexis de Colnet, Stefan Mengel
8.) Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms. --Xiaoxi Guo, Sujoy Sikdar, Lirong Xia, Yongzhi Cao, Hanpin Wang
9.) Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. --Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Marielle Stoelinga, Nils Jansen
10.) Distributed Bayesian: A Continuous Distributed Constraint Optimization Problem Solver. --Jeroen Fransman, Joris Sijs, Henry Dol, Erik Theunissen, Bart De Schutter
11.) Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden. --Dongdong Zhao, Lei Liao, Wenjian Luo, Jianwen Xiang, Hao Jiang, Xiaoyi Hu
12.) Finite Materialisability of Datalog Programs with Metric Temporal Operators. --Przemysław Wałęga, Michał Zawidzki, Bernardo Cuenca Grau
13.) Introduction to the Special Track on Artificial Intelligence and COVID-19. --Martin Michalowski, Robert Moskovitch, Nitesh V. Chawla
14.) A Logic of East and West. --Heshan Du, Natasha Alechina, Amin Farjudian, Brian Logan, Can Zhou, Anthony G. Cohn
15.) On Fair Division under Heterogeneous Matroid Constraints. --Amitay Dror, Michal Feldman, Erel Segal-Halevi
16.) Liability Regimes in the Age of AI: a Use-Case Driven Analysis of the Burden of Proof. --David Fernández Llorca, Vicky Charisi, Ronan Hamon, Ignacio Sánchez, Emilia Gómez
17.) Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. --Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev

-------
-------