AAAI 2023

2,023 papers

FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis

Viet-Man Le, Cristian Vidal Silva, Alexander Felfernig, David Benavides, José Galindo

Common Knowledge of Abstract Groups

Merlin Humml, Lutz Schröder

Relational Program Synthesis with Numerical Reasoning

Céline Hocquette, Andrew Cropper

Conditional Syntax Splitting for Non-monotonic Inference Operators

Jesse Heyninck, Gabriele Kern-Isberner, Thomas Meyer, Jonas Philipp Haldimann, Christoph Beierle

Characterizing Structural Hardness of Logic Programs: What Makes Cycles and Reachability Hard for Treewidth?

Markus Hecher

MAPS-KB: A Million-Scale Probabilistic Simile Knowledge Base

Qianyu He, Xintao Wang, Jiaqing Liang, Yanghua Xiao

Finite Based Contraction and Expansion via Models

Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro

GANTEE: Generative Adversarial Network for Taxonomy Enterance Evaluation

Zhouhong Gu, Sihang Jiang, Jingping Liu, Yanghua Xiao, Hongwei Feng

General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase

Lukas Gerlach, David Carral

Inconsistent Cores for ASP: The Perks and Perils of Non-monotonicity

Johannes K. Fichte, Markus Hecher, Stefan Szeider

Untangled: A Complete Dynamic Topological Logic

David Fernández-Duque, Yoàv Montacute

Monitoring Arithmetic Temporal Properties on Finite Traces

Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler

Splitting Answer Set Programs with Respect to Intensionality Statements

Jorge Fandinno, Yuliya Lierler

Reachability Games Modulo Theories with a Bounded Safety Player

Marco Faella, Gennaro Parlato

Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers

Wolfgang Faber, Michael Morak

A Structural Complexity Analysis of Synchronous Dynamical Systems

Eduard Eiben, Robert Ganian, Thekla Hamm, Viktoriia Korchemna

Model-Checking for Ability-Based Logics with Constrained Plans

Stéphane Demri, Raul Fervari

From Width-Based Model Checking to Width-Based Automated Theorem Proving

Mateus de Oliveira Oliveira, Farhad Vadiee

Learning Logic Programs by Discovering Where Not to Search

Andrew Cropper, Céline Hocquette

Epistemic Disjunctive Datalog for Querying Knowledge Bases

Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi

SMT Safety Verification of Ontology-Based Processes

Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali

The Parameterized Complexity of Network Microaggregation

Václav Blažej, Robert Ganian, Dusan Knop, Jan Pokorný, Šimon Schierreich

The Effect of Preferences in Abstract Argumentation under a Claim-Centric View

Michael Bernreiter, Wolfgang Dvořák, Anna Rapberger, Stefan Woltran

Automatically Verifying Expressive Epistemic Properties of Programs

Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona

Complexity of Safety and coSafety Fragments of Linear Temporal Logic

Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari

Reactive Synthesis of Dominant Strategies

Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin

Abstract Argumentation Framework with Conditional Preferences

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna

RobustLoc: Robust Camera Pose Regression in Challenging Driving Environments

Sijie Wang, Qiyu Kang, Rui She, Wee Peng Tay, Andreas Hartmannsgruber

Co-imitation: Learning Design and Behaviour by Imitation

Chang Rajani, Karol Arndt, David Blanco-Mulero, Kevin Sebastian Luck, Ville Kyrki

Improving Robotic Tactile Localization Super-resolution via Spatiotemporal Continuity Learning and Overlapping Air Chambers

Xuyang Li, Yipu Zhang, Xuemei Xie, Jiawei Li, GUANGMING Shi

Periodic Multi-Agent Path Planning

Kazumi Kasaura, Ryo Yonetani, Mai Nishimura

Moving-Landmark Assisted Distributed Learning Based Decentralized Cooperative Localization (DL-DCL) with Fault Tolerance

Shubhankar Gupta, Suresh Sundaram

Meta-Auxiliary Learning for Adaptive Human Pose Prediction

Qiongjie Cui, Huaijiang Sun, Jianfeng Lu, Bin Li, Weiqing Li

A Set of Control Points Conditioned Pedestrian Trajectory Prediction

Inhwan Bae, Hae-Gon Jeon

Maximum Entropy Population-Based Training for Zero-Shot Human-AI Coordination

Rui Zhao, Jinming Song, Yufeng Yuan, Haifeng Hu, Yang Gao

Better Peer Grading through Bayesian Inference

Hedayat Zarkoob, Greg d'Eon, Lena Podina, Kevin Leyton-brown

Learning to Select Pivotal Samples for Meta Re-weighting

Yinjun Wu, Adam Stein, Jacob Gardner, Mayur Naik

Collective Intelligence in Human-AI Teams: A Bayesian Theory of Mind Approach

Samuel Westby, Christoph Riedl

Human Joint Kinematics Diffusion-Refinement for Stochastic Motion Prediction

Dong Wei, Huaijiang Sun, Bin Li, Jianfeng Lu, Weiqing Li

SwiftAvatar: Efficient Auto-Creation of Parameterized Stylized Character on Arbitrary Avatar Engines

Shizun Wang, Weihong Zeng, Xu Wang, Hao Yang, Li Chen

Multi-Scale Control Signal-Aware Transformer for Motion Synthesis without Phase

Lintao Wang, Kun Hu, LEI BAI, Yu Ding, Wanli Ouyang

Beam Search Optimized Batch Bayesian Active Learning

Jingyu Sun, Hongjie Zhai, Osamu Saisho, Susumu Takeuchi

Frustratingly Easy Truth Discovery

Reshef Meir, Ofra Amir, Omer Ben-Porat, Tsviel Ben Shabat, Gal Cohensius

Learning Deep Hierarchical Features with Spatial Regularization for One-Class Facial Expression Recognition

Bingjun Luo, Junjie Zhu, Tianyu Yang, Sicheng Zhao, Chao Hu

Modeling Human Trust and Reliance in AI-Assisted Decision Making: A Markovian Approach

Zhuoyan Li, Zhuoran Lu, Ming Yin

Human-in-the-Loop Vehicle ReID

Zepeng Li, Dongxiang Zhang, Yanyan Shen, Gang Chen

Evaluating and Improving Interactions with Hazy Oracles

Stephan J. Lemmer, Jason J. Corso

Towards Voice Reconstruction from EEG during Imagined Speech

Young-Eun Lee, Seo-Hyun Lee, Sang-Ho Kim, Seong-Whan Lee

Incentive-Boosted Federated Crowdsourcing

Xiangping Kang, Guoxian Yu, Jun Wang, Wei Guo, Carlotta Domeniconi

SWL-Adapt: An Unsupervised Domain Adaptation Model with Sample Weight Learning for Cross-User Wearable Human Activity Recognition

Rong Hu, Ling Chen, Shenghuan Miao, Xing Tang

Learning to Defer with Limited Expert Predictions

Patrick Hemmer, Lukas Thede, Michael Vössing, Johannes Jakubik, Niklas Kühl

The Role of Heuristics and Biases during Complex Choices with an AI Teammate

Nikolos Gurney, John H. Miller, David V. Pynadath

The Effect of Modeling Human Rationality Level on Learning Rewards from Multiple Feedback Types

Gaurav R. Ghosal, Matthew Zurek, Daniel S. Brown, Anca D. Dragan

Moral Machine or Tyranny of the Majority?

Michael Feffer, Hoda Heidari, Zachary C. Lipton

Extracting Semantic-Dynamic Features for Long-Term Stable Brain Computer Interface

Tao Fang, Qian Zheng, Yu Qi, Gang Pan

Local Justice and Machine Learning: Modeling and Inferring Dynamic Ethical Preferences toward Allocations

Violet (Xinying) Chen, Joshua Williams, Derek Leben, Hoda Heidari

Interactive Concept Bottleneck Models

Kushal Chauhan, Rishabh Tiwari, Jan Freyberg, Pradeep Shenoy, Krishnamurthy Dvijotham

Teaching to Learn: Sequential Teaching of Learners with Internal States

Mustafa Mert Çelikok, Pierre-Alexandre Murena, Samuel Kaski

The Value of AI Guidance in Human Examination of Synthetically-Generated Faces

Aidan Boyd, Patrick Tinsley, Kevin Bowyer, Adam Czajka

The Perils of Trial-and-Error Reward Design: Misdesign through Overfitting and Invalid Task Specifications

Serena Booth, W. Bradley Knox, Julie Shah, Scott Niekum, Peter Stone

Probably Approximate Shapley Fairness with Applications in Machine Learning

Zijian Zhou, Xinyi Xu, Rachael Hwee Ling Sim, Chuan Sheng Foo, Bryan Kian Hsiang Low

Fisher Markets with Social Influence

Jiayi Zhao, Denizalp Goktas, Amy Greenwald

Collusion-Proof and Sybil-Proof Reward Mechanisms for Query Incentive Networks

Youjia Zhang, Pingzhong Tang

Truthful Mechanisms for Steiner Tree Problems

Jinshan Zhang, Zhengyang Liu, Xiaotie Deng, Jianwei Yin

Tournament Fixing Parameterized by Feedback Vertex Set Number Is FPT

Meirav Zehavi

Semi-random Impossibilities of Condorcet Criterion

Lirong Xia

Bayesian Optimization-Based Combinatorial Assignment

Jakob Weissteiner, Jakob Heiss, Julien Siems, Sven Seuken

Multi-Stage Facility Location Problems with Transient Agents

Xuezhen Wang, Vincent Chau, Hau Chan, Ken C.K. Fong, Minming Li

Ballot Length in Instant Runoff Voting

Kiran Tomlinson, Johan Ugander, Jon Kleinberg

Fast and Interpretable Dynamics for Fisher Markets via Block-Coordinate Updates

Tianlong Nan, Yuan Gao, Christian Kroer

An Efficient Deep Reinforcement Learning Algorithm for Solving Imperfect Information Extensive-Form Games

Linjian Meng, Zhenxing Ge, Pinzhuo Tian, Bo An, Yang Gao

Differentially Private Fair Division

Pasin Manurangsi, Warut Suksompong

Securing Lifelines: Safe Delivery of Critical Services in Areas with Volatile Security Situation via a Stackelberg Game Approach

Tien Mai, Arunesh Sinha

Facility Location Games with Entrance Fees

Mengfan Ma, Mingyu Xiao, Tian Bai, Bakh Khoussainov

Utility Maximizer or Value Maximizer: Mechanism Design for Mixed Bidders in Online Advertising

Hongtao Lv, Zhilin Zhang, Zhenzhe Zheng, Jinghan Liu, Chuan Yu

Approval-Based Voting with Mixed Goods

Xinhang Lu, Jannik Peters, Haris Aziz, Xiaohui Bei, Warut Suksompong

Optimal Pricing Schemes for Identical Items with Time-Sensitive Buyers

Zhengyang Liu, Liang Shan, Zihe Wang

Function Approximation for Solving Stackelberg Equilibrium in Large Perfect Information Games

Chun Kai Ling, J. Zico Kolter, Fei Fang

Differentially Private Condorcet Voting

Zhechen Li, Ao Liu, Lirong Xia, Yongzhi Cao, Hanpin Wang

Partitioning Friends Fairly

Lily Li, Evi Micha, Aleksandar Nikolov, Nisarg Shah

When Congestion Games Meet Mobile Crowdsourcing: Selective Information Disclosure

Hongbo Li, Lingjie Duan

Multiagent MST Cover: Pleasing All Optimally via a Simple Voting Rule

Bo Li, Xiaowei Wu, Chenyang Xu, Ruilong Zhang

Proportional Decisions in Perpetual Voting

Martin Lackner, Jan Maly

Strategic Facility Location with Clients That Minimize Total Waiting Time

Simon Krogmann, Pascal Lenzner, Alexander Skopalik

Approximations for Indivisible Concave Allocations with Applications to Nash Welfare Maximization

Nathaniel Kell, Kevin Sun

Voting with Preference Intensities

Anson Kahng, Mohamad Latifian, Nisarg Shah

Competition, Alignment, and Equilibria in Digital Marketplaces

Meena Jagadeesan, Michael I. Jordan, Nika Haghtalab

How to Cut a Discrete Cake Fairly

Ayumi Igarashi

Class Fairness in Online Matching

Hadi Hosseini, Zhiyi Huang, Ayumi Igarashi, Nisarg Shah

Optimizing Multiple Simultaneous Objectives for Voting and Facility Location

Yue Han, Christopher Jerrett, Elliot Anshelevich

Representation with Incomplete Votes

Daniel Halpern, Gregory Kehne, Ariel D. Procaccia, Jamie Tucker-Foltz, Manuel Wuthrich

Scalable Edge Blocking Algorithms for Defending Active Directory Style Attack Graphs

Mingyu Guo, Max Ward, Aneta Neumann, Frank Neumann, Hung Nguyen

PAC Learning and Stabilizing Hedonic Games: Towards a Unifying Approach.

Simone Fioravanti, Michele Flammini, Bojana Kodric, Giovanna Varricchio

Participatory Budgeting Designs for the Real World

Roy Fairstein, Gerdus Benade, Kobi Gal

Rawlsian Fairness in Online Bipartite Matching: Two-Sided, Group, and Individual

Seyed Esmaeili, Sharmila Duppala, Davidson Cheng, Vedant Nanda, Aravind Srinivasan

Commitment Games with Conditional Information Disclosure

Anthony DiGiovanni, Jesse Clifton

From Monopoly to Competition: Optimal Contests Prevail

Xiaotie Deng, Yotam Gafni, Ron Lavi, Tao LIN, Hongyi Ling

Tight Inapproximability for Graphical Games

Argyrios Deligkas, John Fearnley, Alexandros Hollender, Themistoklis Melissourgos

Strategyproofness and Proportionality in Party-Approval Multiwinner Elections

Théo Delemazure, Tom Demeulemeester, Manuel Eberl, Jonas Israel, Patrick Lederer

Combinatorial Civic Crowdfunding with Budgeted Agents: Welfare Optimality at Equilibrium and Optimal Deviation

Sankarshan Damle, Manisha Padala, Sujit Gujar