Volume 76 Masthead

Published: 2023-01-05

Articles

Lifted Reasoning for Combinatorial Counting

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

1-58

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

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

Francesco Percassi, Enrico Scala, Mauro Vallati

115-162

PDF

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

Gideon Ogunniye, Nadin Kokciyan

163-192

PDF

Viewpoint: Artificial Intelligence Accidents Waiting to Happen?

Federico Bianchi, Amanda Cercas Curry, Dirk Hovy

193-199

PDF

A Survey of Zero-shot Generalisation in Deep Reinforcement Learning

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

201-264

PDF

Characterizing Tseitin-Formulas with Short Regular Resolution Refutations

Alexis de Colnet, Stefan Mengel

265-286

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

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

Distributed Bayesian: A Continuous Distributed Constraint Optimization Problem Solver

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

393-433

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

Finite Materialisability of Datalog Programs with Metric Temporal Operators

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

471–521

PDF

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

Martin Michalowski, Robert Moskovitch, Nitesh V. Chawla

523-525

PDF

A Logic of East and West

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

527-565

PDF

On Fair Division under Heterogeneous Matroid Constraints

Amitay Dror, Michal Feldman, Erel Segal-Halevi

567–611

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

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

On the Evaluation of (Meta-)solver Approaches

Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro

705-719

PDF

On the Complexity of Finding Set Repairs for Data-Graphs

Sergio Abriola, María Vanina Martínez, Nina Pardal, Santiago Cifuentes, Edwin Pin Baque

721-759

PDF

Reviewer Assignment Problem: A Systematic Review of the Literature

Meltem Aksoy, Seda Yanik, Mehmet Fatih Amasyali

761-827

PDF

Visualizing the Implicit Model Selection Tradeoff

Zezhen He, Yaron Shaposhnik

829-881

PDF

Mining ℰℒ⊥ Bases with Adaptable Role Depth

Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya

883-924

PDF

Fair Influence Maximization in Large-scale Social Networks Based on Attribute-aware Reverse Influence Sampling

Mingkai Lin, Lintan Sun, Rui Yang, Xusheng Liu, Yajuan Wang, Ding Li, Wenzhong Li, Sanglu Lu

925-957

PDF

Optimal and Efficient Auctions for the Gradual Procurement of Strategic Service Provider Agents

Farzaneh Farhadi, Maria Chli, Nicholas R. Jennings

959-1018

PDF

Decentralized Gradient-Quantization Based Matrix Factorization for Fast Privacy-Preserving Point-of-Interest Recommendation

Xuebin Zhou, Zhibin Hu, Jin Huang, Jian Chen

1019-1041

PDF

Negative Human Rights as a Basis for Long-term AI Safety and Regulation

Ondrej Bajgar, Jan Horenovsky

1043-1075

PDF

Coopetition Against an Amazon

Ronen Gradwohl, Moshe Tennenholtz

1077-1116

PDF

Measuring Fairness Under Unawareness of Sensitive Attributes: A Quantification-Based Approach

Alessandro Fabris, Andrea Esuli, Alejandro Moreo, Fabrizio Sebastiani

1117-1180

PDF

An Overview of Environmental Features that Impact Deep Reinforcement Learning in Sparse-Reward Domains

Jim Martin Catacora Ocana, Roberto Capobianco, Daniele Nardi

1181-1218

PDF

Fair and Efficient Allocation of Scarce Resources Based on Predicted Outcomes: Implications for Homeless Service Delivery

Amanda R. Kube, Sanmay Das, Patrick J. Fowler

1219-1245

PDF

Fairness in Forecasting of Observations of Linear Dynamical Systems

Quan Zhou, Jakub Mareček, Robert Shorten

1247-1280

PDF

FactGen: Faithful Text Generation by Factuality-aware Pre-training and Contrastive Ranking Fine-tuning

ZhiBin Lan, Wei Li, Jinsong Su, Xinyan Xiao, Jiachen Liu, Wenhao Wu, Yajuan Lyu

1281-1303

PDF

QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer

Robin Lorenz, Anna Pearson, Konstantinos Meichanetzidis, Dimitri Kartsaklis, Bob Coecke

1305-1342

PDF