Published: 2023-01-05

Articles

On the Evaluation of (Meta-)solver Approaches

Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro

705-719

PDF

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

Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev

645-703

PDF

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

PDF

On Fair Division under Heterogeneous Matroid Constraints

Amitay Dror, Michal Feldman, Erel Segal-Halevi

567–611

PDF

A Logic of East and West

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

527-565

PDF

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

Martin Michalowski, Robert Moskovitch, Nitesh V. Chawla

523-525

PDF

Finite Materialisability of Datalog Programs with Metric Temporal Operators

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

471–521

PDF

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

PDF

Distributed Bayesian: A Continuous Distributed Constraint Optimization Problem Solver

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

393-433

PDF

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

PDF

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

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

287-339

PDF

Characterizing Tseitin-Formulas with Short Regular Resolution Refutations

Alexis de Colnet, Stefan Mengel

265-286

PDF

A Survey of Zero-shot Generalisation in Deep Reinforcement Learning

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

201-264

PDF

Viewpoint: Artificial Intelligence Accidents Waiting to Happen?

Federico Bianchi, Amanda Cercas Curry, Dirk Hovy

193-199

PDF

A Survey on Understanding and Representing Privacy Requirements in the Internet-of-Things

Gideon Ogunniye, Nadin Kokciyan

163-192

PDF

A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning

Francesco Percassi, Enrico Scala, Mauro Vallati

115-162

PDF

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

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

59-114

PDF

Lifted Reasoning for Combinatorial Counting

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

1-58

PDF