Published: 2023-01-05

On the Evaluation of (Meta-)solver Approaches

Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro

705-719

Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic

Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev

645-703

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

613-644

On Fair Division under Heterogeneous Matroid Constraints

Amitay Dror, Michal Feldman, Erel Segal-Halevi

567–611

A Logic of East and West

Heshan Du, Natasha Alechina, Amin Farjudian, Brian Logan, Can Zhou, Anthony G. Cohn

527-565

Introduction to the Special Track on Artificial Intelligence and COVID-19

Martin Michalowski, Robert Moskovitch, Nitesh V. Chawla

523-525

Finite Materialisability of Datalog Programs with Metric Temporal Operators

Przemysław Wałęga, Michał Zawidzki, Bernardo Cuenca Grau

471–521

Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden

Dongdong Zhao, Lei Liao, Wenjian Luo, Jianwen Xiang, Hao Jiang, Xiaoyi Hu

435-470

Distributed Bayesian: A Continuous Distributed Constraint Optimization Problem Solver

Jeroen Fransman, Joris Sijs, Henry Dol, Erik Theunissen, Bart De Schutter

393-433

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

341-391

Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms

Xiaoxi Guo, Sujoy Sikdar, Lirong Xia, Yongzhi Cao, Hanpin Wang

287-339

A Survey of Zero-shot Generalisation in Deep Reinforcement Learning

Robert Kirk, Amy Zhang, Edward Grefenstette, Tim Rocktäschel

201-264

Viewpoint: Artificial Intelligence Accidents Waiting to Happen?

Federico Bianchi, Amanda Cercas Curry, Dirk Hovy

193-199

Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach

Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl

59-114

Lifted Reasoning for Combinatorial Counting

Pietro Totis, Jesse Davis, Luc de Raedt, Angelika Kimmig

1-58