AAAI 2022

1,624 papers

Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation

Alexis de Colnet, Stefan Mengel

Monotone Abstractions in Ontology-Based Data Management

Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi

On Testing for Discrimination Using Causal Models

Hana Chockler, Joseph Y. Halpern

ASP-Based Declarative Process Mining

Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi

Multi-Relational Graph Representation Learning with Bayesian Gaussian Process Network

Guanzheng Chen, Jinyuan Fang, Zaiqiao Meng, Qiang Zhang, Shangsong Liang

Geometry Interaction Knowledge Graph Embeddings

Zongsheng Cao, Qianqian Xu, Zhiyong Yang, Xiaochun Cao, Qingming Huang

ER: Equivariance Regularizer for Knowledge Graph Completion

Zongsheng Cao, Qianqian Xu, Zhiyong Yang, Qingming Huang

Expressivity of Planning with Horn Description Logic Ontologies

Stefan Borgwardt, Jorg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel

The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard

Bartosz Bednarczyk, Sebastian Rudolph

Finite Entailment of Local Queries in the Z Family of Description Logics

Bartosz Bednarczyk, Emanuel Kieroński

Equivalence in Argumentation Frameworks with a Claim-Centric View – Classical Results with Novel Ingredients

Ringo Baumann, Anna Rapberger, Markus Ulbricht

From Actions to Programs as Abstract Actual Causes

Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski

Trading Complexity for Sparsity in Random Forest Explanations

Gilles Audemard, Steve Bellart, Louènas Bounia, Frédéric Koriche, Jean-Marie Lagniez

Incomplete Argumentation Frameworks: Properties and Complexity

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna

Sim2Real Object-Centric Keypoint Detection and Description

Chengliang Zhong, Chao Yang, Fuchun Sun, Jinshan Qi, Xiaodong Mu

Robust Adversarial Reinforcement Learning with Dissipation Inequation Constraint

Peng Zhai, Jie Luo, Zhiyan Dong, Lihua Zhang, Shunli Wang

Monocular Camera-Based Point-Goal Navigation by Learning Depth Channel and Cross-Modality Pyramid Fusion

Tianqi Tang, Heming Du, Xin Yu, Yi Yang

CTIN: Robust Contextual Transformer Network for Inertial Navigation

Bingbing Rao, Ehsan Kazemi, Yifan Ding, Devu M Shila, Frank M Tucker

Conservative and Adaptive Penalty for Model-Based Safe Reinforcement Learning

Yecheng Jason Ma, Andrew Shen, Osbert Bastani, Jayaraman Dinesh

Random Mapping Method for Large-Scale Terrain Modeling

Xu Liu, Decai Li, Yuqing He

Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems

Fangda Gu, He Yin, Laurent El Ghaoui, Murat Arcak, Peter Seiler

Discovering State and Action Abstractions for Generalized Task and Motion Planning

Aidan Curtis, Tom Silver, Joshua B. Tenenbaum, Tomás Lozano-Pérez, Leslie Kaelbling

When Facial Expression Recognition Meets Few-Shot Learning: A Joint and Alternate Learning Framework

Xinyi Zou, Yan Yan, Jing-Hao Xue, Si Chen, Hanzi Wang

DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training

XIANGLIN YANG, Yun Lin, Ruofan Liu, Zhenfeng He, Chao Wang

Open Vocabulary Electroencephalography-to-Text Decoding and Zero-Shot Sentiment Classification

Zhenhailong Wang, Heng Ji

On Optimizing Interventions in Shared Autonomy

Weihao Tan, David Koleczek, Siddhant Pradhan, Nicholas Perello, Vivek Chettiar

Deceptive Decision-Making under Uncertainty

Yagiz Savas, Christos K. Verginis, Ufuk Topcu

Teaching Humans When to Defer to a Classifier via Exemplars

Hussein Mozannar, Arvind Satyanarayan, David Sontag

FOCUS: Flexible Optimizable Counterfactual Explanations for Tree Ensembles

Ana Lucic, Harrie Oosterhuis, Hinda Haned, Maarten de Rijke

Adversarial Learning from Crowds

Pengpeng Chen, Hailong Sun, Yongqiang Yang, Zhijun Chen

How General-Purpose Is a Language Model? Usefulness and Safety with Human Prompters in the Wild

Pablo Antonio Moreno Casares, Bao Sheng Loe, John Burden, Sean hEigeartaigh, José Hernández-Orallo

Role of Human-AI Interaction in Selective Prediction

Elizabeth Bondi, Raphael Koster, Hannah Sheahan, Martin Chadwick, Yoram Bachrach

Explain, Edit, and Understand: Rethinking User Study Design for Evaluating Model Explanations

Siddhant Arora, Danish Pruthi, Norman Sadeh, William W. Cohen, Zachary C. Lipton

“I Don’t Think So”: Summarizing Policy Disagreements for Agent Comparison

Yotam Amitai, Ofra Amir

Planning with Participation Constraints

Hanrui Zhang, Yu Cheng, Vincent Conitzer

Brian Hu Zhang, Tuomas Sandholm

AutoCFR: Learning to Design Counterfactual Regret Minimization Algorithms

Hang Xu, Kai Li, Haobo Fu, Qiang Fu, Junliang Xing

The Strange Role of Information Asymmetry in Auctions—Does More Accurate Value Estimation Benefit a Bidder?

Haifeng Xu, Ruggiero Cavallo

Multi-Unit Auction in Social Networks with Budgets

Mingyu Xiao, Yuchao Song, Bakh Khoussainov

Coordinating Followers to Reach Better Equilibria: End-to-End Gradient Descent for Stackelberg Games

Kai Wang, Lily Xu, Andrew Perrault, Michael K. Reiter, Milind Tambe

Iterative Calculus of Voting under Plurality

Fabricio Vasselai

Online Task Assignment Problems with Reusable Resources

Hanna Sumita, Shinji Ito, Kei Takemura, Daisuke Hatano, Takuro Fukunaga

Proportional Public Decisions

Piotr Skowron, Adrian Górecki

Improved Maximin Guarantees for Subadditive and Fractionally Subadditive Fair Allocation Problem

Masoud Seddighin, Saeed Seddighin

Generalized Dynamic Cognitive Hierarchy Models for Strategic Driving Behavior

Atrisha Sarkar, Kate Larson, Krzysztof Czarnecki

Online Elicitation of Necessarily Optimal Matchings

Jannik Peters

Characterization of Incentive Compatibility of an Ex-ante Constrained Player

Bonan Ni, Pingzhong Tang

Strictly Proper Contract Functions Can Be Arbitrage-Free

Eric Neyman, Tim Roughgarden

Choices Are Not Independent: Stackelberg Security Games with Nested Quantal Response Models

Tien Mai, Arunesh Sinha

Is There a Strongest Die in a Set of Dice with the Same Mean Pips?

Shang Lu, Shuji Kijima

The Semi-random Likelihood of Doctrinal Paradoxes

Ao Liu, Lirong Xia

Safe Subgame Resolving for Extensive Form Correlated Equilibrium

Chun Kai Ling, Fei Fang

PageRank for Edges: Axiomatic Characterization

Natalia Kucharczuk, Tomasz Wąs, Oskar Skibski

Worst-Case Voting When the Stakes Are High

Anson Kahng, Gregory Kehne

The Complexity of Proportionality Degree in Committee Elections

Łukasz Janeczko, Piotr Faliszewski

Reforming an Envy-Free Matching

Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi

Approval-Based Committee Voting under Incomplete Information

Aviram Imber, Jonas Israel, Markus Brill, Benny Kimelfeld

Multi-Leader Congestion Games with an Adversary

Tobias Harks, Mona Henle, Max Klimm, Jannik Matuschke, Anja Schedel

Machine-Learned Prediction Equilibrium for Dynamic Traffic Assignment

Lukas Graf, Tobias Harks, Kostas Kollias, Michael Markl

Secretary Matching with Vertex Arrivals and No Rejections

Mohak Goyal

Fair and Efficient Allocations of Chores under Bivalued Preferences

Jugal Garg, Aniket Murhekar, John Qin

Hedonic Diversity Games: A Complexity Picture with More than Two Colors

Robert Ganian, Thekla Hamm, Dusan Knop, Šimon Schierreich, Ondřej Suchý

Bayesian Persuasion in Sequential Decision-Making

Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla

Algorithmic Bayesian Persuasion with Combinatorial Actions

Kaito Fujii, Shinsaku Sakaue

Two-Price Equilibrium

Michal Feldman, Galia Shabtai, Aner Wolfenfeld

Fast Payoff Matrix Sparsification Techniques for Structured Extensive-Form Games

Gabriele Farina, Tuomas Sandholm

The Complexity of Subelection Isomorphism Problems

Piotr Faliszewski, Krzysztof Sornat, Stanisław Szufa

The Price of Justified Representation

Edith Elkind, Piotr Faliszewski, Ayumi Igarashi, Pasin Manurangsi, Ulrike Schmidt-Kraepelin

Complexity of Deliberative Coalition Formation

Edith Elkind, Abheek Ghosh, Paul Goldberg

Heterogeneous Facility Location with Limited Resources

Argyrios Deligkas, Aris Filos-Ratsikas, Alexandros A. Voudouris

Pizza Sharing Is PPA-Hard

Argyrios Deligkas, John Fearnley, Themistoklis Melissourgos

Weighted Fairness Notions for Indivisible Items Revisited

Mithun Chakraborty, Erel Segal-Halevi, Warut Suksompong

Signaling in Posted Price Auctions

Matteo Castiglioni, Giulia Romano, Alberto Marchesi, Nicola Gatti

Efficiency of Ad Auctions with Price Displaying

Matteo Castiglioni, Diodato Ferraioli, Nicola Gatti, Alberto Marchesi, Giulia Romano

The Complexity of Learning Approval-Based Multiwinner Voting Rules

Ioannis Caragiannis, Karl Fehrs

Truthful Aggregation of Budget Proposals with Proportionality Guarantees

Ioannis Caragiannis, George Christodoulou, Nicos Protopapas

A Little Charity Guarantees Fair Connected Graph Partitioning

Ioannis Caragiannis, Evi Micha, Nisarg Shah

The Metric Distortion of Multiwinner Voting

Ioannis Caragiannis, Nisarg Shah, Alexandros A. Voudouris

Individual Representation in Approval-Based Committee Voting

Markus Brill, Jonas Israel, Evi Micha, Jannik Peters

Liquid Democracy with Ranked Delegations

Markus Brill, Théo Delemazure, Anne-Marie George, Martin Lackner, Ulrike Schmidt-Kraepelin

On Improving Resource Allocations by Sharing

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

Single-Agent Dynamics in Additively Separable Hedonic Games

Felix Brandt, Martin Bullinger, Leo Tappe

A Calculus for Computing Structured Justifications for Election Outcomes

Arthur Boixel, Ulle Endriss, Ronald de Haan

Theory of and Experiments on Minimally Invasive Stability Preservation in Changing Two-Sided Matching Markets

Niclas Boehmer, Klaus Heeger, Rolf Niedermeier

Combating Collusion Rings Is Hard but Possible

Niclas Boehmer, Robert Bredereck, André Nichterlein

Sequential Blocked Matching

Nicholas Bishop, Hau Chan, Debmalya Mandal, Long Tran-Thanh

Almost Full EFX Exists for Four Agents

Ben Berger, Avi Cohen, Michal Feldman, Amos Fiat

The Secretary Problem with Competing Employers on Random Edge Arrivals

Xiaohui Bei, Shengyu Zhang

Truthful Cake Sharing

Xiaohui Bei, Xinhang Lu, Warut Suksompong

Truthful and Fair Mechanisms for Matroid-Rank Valuations

Siddharth Barman, Paritosh Verma

Universal and Tight Online Algorithms for Generalized-Mean Welfare

Siddharth Barman, Arindam Khan, Arnab Maiti

Fair and Truthful Giveaway Lotteries

Tal Arbiv, Yonatan Aumann

Dimensionality and Coordination in Voting: The Distortion of STV

Ioannis Anagnostides, Dimitris Fotakis, Panagiotis Patsilinakos

Truth-Tracking via Approval Voting: Size Matters

Tahar Allouche, Jérôme Lang, Florian Yger

Maximizing Nash Social Welfare in 2-Value Instances

Hannaneh Akrami, Bhaskar Ray Chaudhury, Martin Hoefer, Kurt Mehlhorn, Marco Schmalhofer

Locally Fair Partitioning

Pankaj K. Agarwal, Shao-Heng Ko, Kamesh Munagala, Erin Taylor

An Algorithmic Introduction to Savings Circles

Rediet Abebe, Adam Eck, Christian Ikeokwu, Sam Taggart

Fully Adaptive Framework: Neural Computerized Adaptive Testing for Online Education

Yan Zhuang, Qi Liu, Zhenya Huang, Zhi Li, Shuanghong Shen

Dynamic Manifold Learning for Land Deformation Forecasting

Fan Zhou, Rongfan Li, Qiang Gao, Goce Trajcevski, Kunpeng Zhang

Deeply Tensor Compressed Transformers for End-to-End Object Detection

Peining Zhen, Ziyang Gao, Tianshu Hou, Yuan Cheng, Hai-Bao Chen