JAIR 2023

99 papers

A Benchmark Study on Knowledge Graphs Enrichment and Pruning Methods in the Presence of Noisy Relationships Stefano Faralli, Andrea Lenzi, Paola Velardi
PDF
A Comprehensive Survey on Deep Graph Representation Learning Methods Ijeoma Amuche Chikwendu, Xiaoling Zhang, Isaac Osei Agyemang, Isaac Adjei-Mensah, Chiagoziem Chima Ukwuoma, Chukwuebuka Joseph Ejiyi
PDF
A General Model for Aggregating Annotations Across Simple, Complex, and Multi-Object Annotation Tasks Alexander Braylan, Madalyn Marabella, Omar Alonso, Matthew Lease
PDF
A Logic of East and West Heshan Du, Natasha Alechina, Amin Farjudian, Brian Logan, Can Zhou, Anthony G. Cohn
PDF
A Markov Framework for Learning and Reasoning About Strategies in Professional Soccer Maaike Van Roy, Pieter Robberechts, Wen-Chi Yang, Luc De Raedt, Jesse Davis
PDF
A Model to Support Collective Reasoning: Formalization, Analysis and Computational Assessment Jordi Ganzer, Natalia Criado, Maite López-Sánchez, Simon Parsons, Juan A. Rodríguez-Aguilar
PDF
A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning Francesco Percassi, Enrico Scala, Mauro Vallati
PDF
A Survey of Learning Criteria Going Beyond the Usual Risk Matthew J. Holland, Kazuki Tanabe
PDF
A Survey of Zero-Shot Generalisation in Deep Reinforcement Learning Robert Kirk, Amy Zhang, Edward Grefenstette, Tim Rocktäschel
PDF
A Survey on Understanding and Representing Privacy Requirements in the Internet-of-Things Gideon Ogunniye, Nadin Kökciyan
PDF
A Unified Linear Speedup Analysis of Federated Averaging and Nesterov FedAvg Zhaonan Qu, Kaixiang Lin, Zhaojian Li, Jiayu Zhou, Zhengyuan Zhou
PDF
Actor Prioritized Experience Replay Baturay Saglam, Furkan B. Mutlu, Dogan Can Çiçek, Suleyman S. Kozat
PDF
Amortized Variational Inference: A Systematic Review Ankush Ganguly, Sanjana Jain, Ukrit Watchareeruetai
PDF
An Overview of Environmental Features That Impact Deep Reinforcement Learning in Sparse-Reward Domains Jim Martin Catacora Ocana, Roberto Capobianco, Daniele Nardi
PDF
Asymptotics of K-Fold Cross Validation Jessie Li
PDF
Automatically Finding the Right Probabilities in Bayesian Networks Bahare Salmani, Joost-Pieter Katoen
PDF
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström
PDF
Characterizing Tseitin-Formulas with Short Regular Resolution Refutations Alexis de Colnet, Stefan Mengel
PDF
Classes of Hard Formulas for QBF Resolution Agnes Schleitzer, Olaf Beyersdorff
PDF
Clustering What Matters: Optimal Approximation for Clustering with Outliers Akanksha Agrawal, Tanmay Inamdar, Saket Saurabh, Jie Xue
PDF
Collective Belief Revision Theofanis I. Aravanis
PDF
Competitive Equilibria with a Constant Number of Chores Jugal Garg, Peter McGlaughlin, Martin Hoefer, Marco Schmalhofer
PDF
Complexity of Computing the Shapley Value in Partition Function Form Games Oskar Skibski
PDF
Computational Modelling of Quantifier Use: Corpus, Models, and Evaluation Guanyi Chen, Kees van Deemter
PDF
Contract Scheduling with Predictions Spyros Angelopoulos, Shahin Kamali
PDF
Coopetition Against an Amazon Ronen Gradwohl, Moshe Tennenholtz
PDF
Decentralized Gradient-Quantization Based Matrix Factorization for Fast Privacy-Preserving Point-of-Interest Recommendation Xuebin Zhou, Zhibin Hu, Jin Huang, Jian Chen
PDF
Deciding FO-Rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
PDF
Diagnosing AI Explanation Methods with Folk Concepts of Behavior Alon Jacovi, Jasmijn Bastings, Sebastian Gehrmann, Yoav Goldberg, Katja Filippova
PDF
Distributed Bayesian: A Continuous Distributed Constraint Optimization Problem Solver Jeroen Fransman, Joris Sijs, Henry Dol, Erik Theunissen, Bart De Schutter
PDF
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl
PDF
Dynamic Controllability of Temporal Plans in Uncertain and Partially Observable Environments Arthur Bit-Monnot, Paul Morris
PDF
Efficient Multi-Goal Reinforcement Learning via Value Consistency Prioritization Jiawei Xu, Shuxing Li, Rui Yang, Chun Yuan, Lei Han
PDF
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization Emilio Gamba, Bart Bogaerts, Tias Guns
PDF
Embedding Ontologies in the Description Logic ALC by Axis-Aligned Cones Özgür Lütfü Özçep, Mena Leemhuis, Diedrich Wolter
PDF
Equivalence in Argumentation Frameworks with a Claim-Centric View: Classical Results with Novel Ingredients Ringo Baumann, Anna Rapberger, Markus Ulbricht
PDF
Exploiting Action Impact Regularity and Exogenous State Variables for Offline Reinforcement Learning Vincent Liu, James R. Wright, Martha White
PDF
Exploiting Cultural Biases via Homoglyphs in Text-to-Image Synthesis Lukas Struppek, Dominik Hintersdorf, Felix Friedrich, Manuel Brack, Patrick Schramowski, Kristian Kersting
PDF
Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization Jimmy H. M. Lee, Allen Z. Zhong
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
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
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
PDF
Fairness in Forecasting of Observations of Linear Dynamical Systems Quan Zhou, Jakub Marecek, Robert Shorten
PDF
Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms Xiaoxi Guo, Sujoy Sikdar, Lirong Xia, Yongzhi Cao, Hanpin Wang
PDF
Finite Materialisability of Datalog Programs with Metric Temporal Operators Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
PDF
First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs Nitesh Kumar, Ondrej Kuzelka, Luc De Raedt
PDF
FlexiBERT: Are Current Transformer Architectures Too Homogeneous and Rigid? Shikhar Tuli, Bhishma Dedhia, Shreshth Tuli, Niraj K. Jha
PDF
FlexiBO: A Decoupled Cost-Aware Multi-Objective Optimization Approach for Deep Neural Networks Md Shahriar Iqbal, Jianhai Su, Lars Kotthoff, Pooyan Jamshidi
PDF
Generalizing Group Fairness in Machine Learning via Utilities Jack Blandin, Ian A. Kash
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
PDF
Graphmax for Text Generation Bin Liu, Guosheng Yin
PDF
Hierarchical Decompositions and Termination Analysis for Generalized Planning Siddharth Srivastava
PDF
How to DP-Fy ML: A Practical Guide to Machine Learning with Differential Privacy Natalia Ponomareva, Hussein Hazimeh, Alex Kurakin, Zheng Xu, Carson Denison, H. Brendan McMahan, Sergei Vassilvitskii, Steve Chien, Abhradeep Guha Thakurta
PDF
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC Bartosz Bednarczyk, Sebastian Rudolph
PDF
Improved Peel-and-Bound: Methods for Generating Dual Bounds with Multivalued Decision Diagrams Isaac Rudich, Quentin Cappart, Louis-Martin Rousseau
PDF
Improving Resource Allocations by Sharing in Pairs Robert Bredereck, Andrzej Kaczmarczyk, Junjie Luo, Rolf Niedermeier, Florian Sachse
PDF
Information Lattice Learning Haizi Yu, James A. Evans, Lav R. Varshney
PDF
Introduction to the Special Track on Artificial Intelligence and COVID-19 Martin Michalowski, Robert Moskovitch, Nitesh V. Chawla
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
PDF
Lifted Reasoning for Combinatorial Counting Pietro Totis, Jesse Davis, Luc De Raedt, Angelika Kimmig
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 Roubícková
PDF
Maximisation of Admissible Multi-Objective Heuristics Patrik Haslum, Ryan Xiao Wang
PDF
MDP Playground: An Analysis and Debug Testbed for Reinforcement Learning Raghu Rajan, Jessica Lizeth Borja Diaz, Suresh Guttikonda, Fabio Ferreira, André Biedenkapp, Jan Ole von Hartz, Frank Hutter
PDF
Measuring Fairness Under Unawareness of Sensitive Attributes: A Quantification-Based Approach Alessandro Fabris, Andrea Esuli, Alejandro Moreo, Fabrizio Sebastiani
PDF
Mimicking Behaviors in Separated Domains Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
PDF
Mining ℰℒ⊥ Bases with Adaptable Role Depth Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya
PDF
Negative Human Rights as a Basis for Long-Term AI Safety and Regulation Ondrej Bajgar, Jan Horenovsky
PDF
Non-Crossing Anonymous MAPF for Tethered Robots Xiao Peng, Olivier Simonin, Christine Solnon
PDF
Object-Agnostic Affordance Categorization via Unsupervised Learning of Graph Embeddings Alexia Toumpa, Anthony G. Cohn
PDF
On Centralized Critics in Multi-Agent Reinforcement Learning Xueguang Lyu, Andrea Baisero, Yuchen Xiao, Brett Daley, Christopher Amato
PDF
On Dynamics in Structured Argumentation Formalisms Anna Rapberger, Markus Ulbricht
PDF
On Expected Value Strong Controllability Niklas T. Lauffer, William Bowers Lassiter, Jeremy D. Frank
PDF
On Fair Division Under Heterogeneous Matroid Constraints Amitay Dror, Michal Feldman, Erel Segal-Halevi
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
PDF
On the Evaluation of (Meta-)solver Approaches Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
PDF
On the Parallel Parameterized Complexity of MaxSAT Variants Max Bannach, Malte Skambath, Till Tantau
PDF
Online Bin Packing with Predictions Spyros Angelopoulos, Shahin Kamali, Kimia Shadkami
PDF
Optimal and Efficient Auctions for the Gradual Procurement of Strategic Service Provider Agents Farzaneh Farhadi, Maria Chli, Nicholas R. Jennings
PDF
Optimality Guarantees for Particle Belief Approximation of POMDPs Michael H. Lim, Tyler J. Becker, Mykel J. Kochenderfer, Claire J. Tomlin, Zachary N. Sunberg
PDF
Prediction of Social Dynamic Agents and Long-Tailed Learning Challenges: A Survey Divya Thuremella, Lars Kunze
PDF
Program Synthesis with Best-First Bottom-up Search Saqib Ameen, Levi H. S. Lelis
PDF
QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer Robin Lorenz, Anna Pearson, Konstantinos Meichanetzidis, Dimitri Kartsaklis, Bob Coecke
PDF
Qualitative Reasoning About 2D Cardinal Directions Using Answer Set Programming Yusuf Izmirlioglu, Esra Erdem
PDF
Repairing the Cracked Foundation: A Survey of Obstacles in Evaluation Practices for Generated Text Sebastian Gehrmann, Elizabeth Clark, Thibault Sellam
PDF
Reviewer Assignment Problem: A Systematic Review of the Literature Meltem Aksoy, Seda Yanik, Mehmet Fatih Amasyali
PDF
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
PDF
SAlign: A Graph Neural Attention Framework for Aligning Structurally Heterogeneous Networks Shruti Saxena, Joydeep Chandra
PDF
Scalable Neural-Probabilistic Answer Set Programming Arseny Skryagin, Daniel Ochs, Devendra Singh Dhami, Kristian Kersting
PDF
Select and Augment: Enhanced Dense Retrieval Knowledge Graph Augmentation Micheal Abaho, Yousef H. Alfaifi
PDF
Semiring Reasoning Frameworks in AI and Their Computational Complexity Thomas Eiter, Rafael Kiesel
PDF
Sequence-Oriented Diagnosis of Discrete-Event Systems Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao
PDF
Stackelberg Security Games with Contagious Attacks on a Network: Reallocation to the Rescue Rufan Bai, Haoxing Lin, Xinyu Yang, Xiaowei Wu, Minming Li, Weijia Jia
PDF
The Complexity of Matching Games: A Survey Márton Benedek, Péter Biró, Matthew Johnson, Daniël Paulusma, Xin Ye
PDF
The Jiminy Advisor: Moral Agreements Among Stakeholders Based on Norms and Argumentation Beishui Liao, Pere Pardo, Marija Slavkovik, Leendert van der Torre
PDF
Towards Green Automated Machine Learning: Status Quo and Future Directions Tanja Tornede, Alexander Tornede, Jonas Hanselle, Felix Mohr, Marcel Wever, Eyke Hüllermeier
PDF
Viewpoint: Artificial Intelligence Accidents Waiting to Happen? Federico Bianchi, Amanda Cercas Curry, Dirk Hovy
PDF
Visualizing the Implicit Model Selection Tradeoff Zezhen He, Yaron Shaposhnik
PDF
Your College Dorm and Dormmates: Fair Resource Sharing with Externalities Jiarui Gan, Bo Li, Yingkai Li
PDF
Your Prompt Is My Command: On Assessing the Human-Centred Generality of Multimodal Models Wout Schellaert, Fernando Martínez-Plumed, Karina Vold, John Burden, Pablo A. M. Casares, Bao Sheng Loe, Roi Reichart, Seán Ó hÉigeartaigh, Anna Korhonen, José Hernández-Orallo
PDF