Volume 78 Masthead

Published: 2023-09-13

Articles

Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization

Jimmy H.M. Lee, Allen Z. Zhong

1-35

PDF

A Benchmark Study on Knowledge Graphs Enrichment and Pruning Methods in the Presence of Noisy Relationships

Stefano Faralli, Andrea Lenzi, Paola Velardi

37-68

PDF

Sequence-Oriented Diagnosis of Discrete-Event Systems

Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao

69-141

PDF

Clustering what Matters: Optimal Approximation for Clustering with Outliers

Akanksha Agrawal, Tanmay Inamdar, Saket Saurabh, Jie Xue

143-166

PDF

Amortized Variational Inference: A Systematic Review

Ankush Ganguly, Sanjana Jain, Ukrit Watchareeruetai

167-215

PDF

Embedding Ontologies in the Description Logic ALC by Axis-Aligned Cones

Özgür Lütfü Özcep, Mena Leemhuis, Diedrich Wolter

217-267

PDF

Select and Augment: Enhanced Dense Retrieval Knowledge Graph Augmentation

Micheal Abaho, Yousef H. Alfaifi

269-285

PDF

A Comprehensive Survey on Deep Graph Representation Learning Methods

Ijeoma Amuche Chikwendu, Xiaoling Zhang, Isaac Osei Agyemang, Isaac Adjei-Mensah, Ukwuoma Chiagoziem Chima, Chukwuebuka Joseph Ejiyi

287-356

PDF

Non-Crossing Anonymous MAPF for Tethered Robots

Xiao Peng, Olivier Simonin, Christine Solnon

357-384

PDF

How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC

Bartosz Bednarczyk, Sebastian Rudolph

385–458

PDF

Diagnosing AI Explanation Methods with Folk Concepts of Behavior

Alon Jacovi, Jasmijn Bastings, Sebastian Gehrmann, Yoav Goldberg, Katja Filippova

459-489

PDF

Asymptotics of K-Fold Cross Validation

Jessie Li

491-526

PDF

Maintenance of Plan Libraries for Case-Based Planning: Offline and Online Policies

Alfonso Emilio Gerevini, Alessandro Saetti, Ivan Serina, Andrea Loreggia, Luca Putelli, Anna Roubickova

527-577

PDF

Scalable Neural-Probabilistic Answer Set Programming

Arseny Skryagin, Daniel Ochs, Devendra Singh Dhami, Kristian Kersting

579-617

PDF

Maximisation of Admissible Multi-Objective Heuristics

Patrik Haslum, Ryan Xiao Wang

619-639

PDF

Actor Prioritized Experience Replay

Baturay Saglam, Furkan B. Mutlu, Dogan C. Cicek, Suleyman S. Kozat

639-672

PDF

On the Parallel Parameterized Complexity of MaxSAT Variants

Max Bannach, Malte Skambath, Till Tantau

673–707

PDF

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization

Emilio Gamba, Bart Bogaerts, Tias Guns

709-746

PDF

Generalizing Group Fairness in Machine Learning via Utilities

Jack Blandin, Ian A. Kash

747-780

PDF

A Survey of Learning Criteria Going Beyond the Usual Risk

Matthew J. Holland, Kazuki Tanabe

781-821

PDF

Graphmax for Text Generation

Bin Liu, Guosheng Yin

823-848

PDF

On Expected Value Strong Controllability

Niklas T. Lauffer, William B. Lassiter, Jeremy D. Frank

849 - 900

PDF

A General Model for Aggregating Annotations Across Simple, Complex, and Multi-Object Annotation Tasks

Alexander Braylan, Madalyn Marabella, Omar Alonso, Matthew Lease

901-973

PDF

Achieving Zero Constraint Violation for Concave Utility Constrained Reinforcement Learning via Primal-Dual Approach

Qinbo Bai, Amrit Singh Bedi, Mridul Agarwal, Alec Koppel, Vaneet Aggarwal

975-1016

PDF

Exploiting Cultural Biases via Homoglyphs in Text-to-Image Synthesis

Lukas Struppek, Dominik Hintersdorf, Felix Friedrich, Manuel Brack, Patrick Schramowski, Kristian Kersting

1017-1068

PDF

Improving Resource Allocations by Sharing in Pairs

Robert Bredereck, Andrzej Kaczmarczyk, Junjie Luo, Rolf Niedermeier, Florian Sachse

1069-1109

PDF

Online Bin Packing with Predictions

Spyros Angelopoulos, Shahin Kamali, Kimia Shadkami

1111-1141

PDF

A Unified Linear Speedup Analysis of Federated Averaging and Nesterov FedAvg

Zhaonan Qu, Kaixiang Lin, Zhaojian Li, Jiayu Zhou, Zhengyuan Zhou

1143-1200

PDF

Competitive Equilibria with a Constant Number of Chores

Jugal Garg, Peter McGlaughlin, Martin Hoefer, Marco Schmalhofer

1201-1219

PDF

Collective Belief Revision

Theofanis I. Aravanis

1221-1247

PDF