Poster Session Schedule
Total Page:16
File Type:pdf, Size:1020Kb
AAAI Poster Session Schedule AAAI-21 Poster Sessions will be held during the following times, February 4-7: 8:45 AM – 10:30 AM 4:45 PM – 6:30 PM 12:45 AM – 2:30 AM Posters have been assigned to two (2) poster sessions each day, according to the following Scheme: 4-Feb 08:45 AM - 10:30 AM AB-D1-R1 + AB-D1-R2 + BC-D1-R1 + BC-D1-R2 4-Feb 04:45 PM - 06:30 PM AC-D1-R1 + AC-D1-R2 + BC-D1-R1 + BC-D1-R2 5-Feb 12:45 AM - 02:30 AM AB-D1-R1 + AB-D1-R2 + AC-D1-R1 + AC-D1-R2 5-Feb 08:45 AM - 10:30 AM AB-D2-R1 + AB-D2-R2 + BC-D2-R1 + BC-D2-R2 5-Feb 04:45 PM - 06:30 PM AC-D2-R1 + AC-D2-R2 + BC-D2-R1 + BC-D2-R2 6-Feb 12:45 AM - 02:30 AM AB-D2-R1 + AB-D2-R2 + AC-D2-R1 + AC-D2-R2 6-Feb 08:45 AM - 10:30 AM AB-D3-R1 + AB-D3-R2 + BC-D3-R1 + BC-D3-R2 6-Feb 04:45 PM - 06:30 PM AC-D3-R1 + AC-D3-R2 + BC-D3-R1 + BC-D3-R2 7-Feb 12:45 AM - 02:30 AM AB-D3-R1 + AB-D3-R2 + AC-D3-R1 + AC-D3-R2 7-Feb 08:45 AM - 10:30 AM AB-D4-R1 + AB-D4-R2 + BC-D4-R1 + BC-D4-R2 7-Feb 04:45 PM - 06:30 PM AC-D4-R1 + AC-D4-R2 + BC-D4-R1 + BC-D4-R2 8-Feb 12:45 AM - 02:30 AM AB-D4-R1 + AB-D4-R2 + AC-D4-R1 + AC-D4-R2 Within each session, posters are grouped according to subject clusters. Included here are the assignments for the Main Track, AI for Social Impact Track, and Senior Member Track papers. For more information about poster schedules for other programs, such as the Doctoral Consortium, Undergraduate Consortium, IAAI, Demos, and Student Abstracts, please consult the program information under the Program tab for these specific programs. AB-D1-R1: February 4, 8:45 – 10:30 AM PST and February 5, 12:45 – 2:30 AM PST Cluster: Constraint Satisfaction and Optimization AB-D1-R1: February 4, 8:45 – 10:30 AM PST and February 5, 12:45 – 2:30 AM PST AAAI-5018: Parameterized Algorithms for MILPS with Small Treedepth Cornelius Brand, Martin Koutecky, Sebastian Ordyniak AAAI-9826: Parameterizing Branch-and-Bound Search Trees to Learn Branching Policies Jason Jo, Giulia Zarpellon, Andrea Lodi, Yoshua Bengio AAAI-9940: Binary Matrix Factorisation via Column Generation Reka A Kovacs, Oktay Gunluk, Raphael Hauser AAAI-5608: Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning Jo Devriendt, Stephan Gocht, Emir Demirović, Jakob Nordström, Peter Stuckey AAAI-2415: Solving Infinite-Domain CSPs Using the Patchwork Property Konrad K Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov AAAI-2417: Disjunctive Temporal Problems under Structural Restrictions Konrad K Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov AAAI-4620: On the Complexity of Sum-of-Products Problems over Semirings Thomas Eiter, Rafael Kiesel AAAI-6418: Treewidth-Aware Complexity in ASP: Not All Positive Cycles Are Equally Hard Markus Hecher, Jorge Fandinno Cluster: Constraints and Learning AB-D1-R1: February 4, 8:45 – 10:30 AM PST and February 5, 12:45 – 2:30 AM PST AAAI-4971: Optimal Decision Trees for Nonlinear Metrics Emir Demirović, Peter Stuckey AAAI-634: Parallel Constraint Acquisition Nadjib Lazaar AAAI-9549: Teaching the Old Dog New Tricks: Supervised Learning with Constraints Fabrizio Detassis, Michele Lombardi, Michela Milano AAAI-1302: Scalable Verification of Quantized Neural Networks Thomas Henzinger, Mathias Lechner, Djordje Zikelic AAAI-7047: IQ -- Incremental Learning for Solving QSAT Thomas L Lee, Viktor Tóth, Sean B Holden Cluster: Deterministic Planning AB-D1-R1: February 4, 8:45 – 10:30 AM PST and February 5, 12:45 – 2:30 AM PST AAAI-380: Endomorphisms of Classical Planning Tasks Rostislav Horčík, Daniel Fišer AAAI-5087: Symbolic Search for Optimal Total-Order HTN Planning Gregor Behnke, David Speck AAAI-6956: Computing Plan-Length Bounds Using Lengths of Longest Paths Mohammad Abdulaziz, Dominik Berger AAAI-5044: Symbolic Search for Oversubscription Planning David Speck, Michael Katz AAAI-5695: Saturated Post-Hoc Optimization for Classical Planning Jendrik Seipp, Thomas Keller, Malte Helmert AAAI-6612: On the Optimal Efficiency of A* with Dominance Pruning Alvaro Torralba AAAI-67: Revisiting Dominance Pruning in Decoupled Search Daniel Gnad AAAI-655: Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks – A Complexity Analysis Conny Olz, Susanne Biundo, Pascal T Bercher Cluster: Scheduling and Temporal Planning AB-D1-R1: February 4, 8:45 – 10:30 AM PST and February 5, 12:45 – 2:30 AM PST AAAI-7531: Branch and Price for Bus Driver Scheduling with Complex Break Constraints Lucas Kletzander, Nysret Musliu, Pascal Van Hentenryck AAAI-4895: Equitable Scheduling on a Single Machine Klaus Heeger, Dan Hermelin, George Mertzios, Hendrik Molter, Rolf Niedermeier, Dvir Shabtay AAAI-7061: Contract Scheduling with Predictions Spyros Angelopoulos, Shahin Kamali AAAI-2666: Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning Andrea Micheli, Alessandro Valentini AAAI-7844: Faster and Better Simple Temporal Problems Dario Ostuni, Alice Raffaele, Romeo Rizzi, Matteo Zavatteri AAAI-1445: Automatic Generation of Flexible Plans via Diverse Temporal Planning Yotam Amitai, Ayal Taitler, Erez Karpas AAAI-7147: Online Search with Maximum Clearance Spyros Angelopoulos, Malachi L Voss AAAI-5219: Constraint Logic Programming for Real-World Test Laboratory Scheduling Tobias Geibinger, Florian Mischek, Nysret Musliu Cluster: Intelligent Robots / Vision for Robotics AB-D1-R1: February 4, 8:45 – 10:30 AM PST and February 5, 12:45 – 2:30 AM PST AAAI-8016: Enabling Fast Instruction-Based Modification of Learned Robot Skills Tyler M Frasca, Bradley Oosterveld, Meia Chita-Tegmark, Matthias Scheutz AAAI-4601: Supervised Training of Dense Object Nets Using Optimal Descriptors for Industrial Robotic Applications Andras Kupcsik, Markus Spies, Alexander Klein, Marco Todescato, Nicolai Waniek, Philipp Schillinger, Mathias Buerger AAAI-3454: VMLoc: Variational Fusion for Learning-Based Multimodal Camera Localization Kaichen Zhou, Changhao Chen, Bing Wang, Muhamad Risqi U. Saputra, Niki Trigoni, Andrew Markham AAAI-606: Social-DPF: Socially Acceptable Distribution Prediction of Futures Xiaodan Shi, Xiaowei Shao, Guangming Wu, Haoran Zhang, Zhiling Guo, Renhe Jiang, Ryosuke Shibasaki AAAI-6462: Embodied Visual Active Learning for Semantic Segmentation David Nilsson, Aleksis Pirinen, Erik Gärtner, Cristian Sminchisescu AAAI-6763: Learning Monocular Depth in Dynamic Scenes via Instance-Aware Projection Consistency Seokju Lee, Sunghoon Im, Stephen Lin, In So Kweon AAAI-9933: Artificial Dummies for Urban Dataset Augmentation Antonin Vobecky, David Hurych, Michal Uricar, Patrick Pérez, Josef Sivic AAAI-5154: ASHF-Net: Adaptive Sampling and Hierarchical Folding Network for Robust Point Cloud Completion Daoming Zong, Shiliang Sun, Jing Zhao Cluster: Philosophy and Ethics of AI AB-D1-R1: February 4, 8:45 – 10:30 AM PST and February 5, 12:45 – 2:30 AM PST AAAI-997: Verifiable Machine Ethics in Changing Contexts Louise A Dennis, Martin Bentzen, Felix Lindner, Michael Fisher AAAI-9330: Tightening Robustness Verification of Convolutional Neural Networks with Fine-Grained Linear Approximation Yiting Wu, Min Zhang AAAI-10323: Agent Incentives: A Causal Perspective Tom Everitt, Ryan Carey, Eric D Langlois, Pedro Ortega, Shane Legg AAAI-9452: On the Verification of Neural ODEs with Stochastic Guarantees Sophie Grünbacher, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu AAAI-8279: Individual Fairness in Kidney Exchange Programs Golnoosh Farnadi, William St-Arnaud , Behrouz Babaki, Margarida Carvalho AAAI-678: Justicia: A Stochastic SAT Approach to Formally Verify Fairness Bishwamittra Ghosh, Debabrota Basu, Kuldeep S Meel AAAI-8207: Bias and Variance of Post-Processing in Differential Privacy Keyu Zhu, Pascal Van Hentenryck, Ferdinando Fioretto AAAI-3196: The Importance of Modeling Data Missingness in Algorithmic Fairness: A Causal Perspective Naman Goel, Alfonso Amayuelas, Amit Deshpande, Amit Sharma Cluster: ML: Ethics AB-D1-R1: February 4, 8:45 – 10:30 AM PST and February 5, 12:45 – 2:30 AM PST AAAI-3907: Accurate and Robust Feature Importance Estimation under Distribution Shifts Jayaraman J. Thiagarajan, Vivek Narayanaswamy, Rushil Anirudh, Peer-Timo Bremer, Andreas Spanias AAAI-8972: Robust Fairness under Covariate Shift Ashkan Rezaei, Anqi Liu, Omid Memarrast, Brian Ziebart AAAI-5436: Right for Better Reasons: Training Differentiable Models by Constraining their Influence Function Xiaoting Shao, Arseny Skryagin, Patrick Schramowski, Wolfgang Stammer, Kristian Kersting AAAI-10161: Does Explainable Artificial Intelligence Improve Human Decision-Making? Yasmeen Alufaisan, Laura Marusich, Jonathan Bakdash, Yan Zhou, Murat Kantarcioglu AAAI-400: Robust Model Compression Using Deep Hypotheses Omri Armstrong, Ran Gilad-Bachrach AAAI-7954: Fairness in Forecasting and Learning Linear Dynamical Systems Quan Zhou, Jakub Marecek, Robert Shorten Cluster: NLP: Ethics AB-D1-R1: February 4, 8:45 – 10:30 AM PST and February 5, 12:45 – 2:30 AM PST AAAI-5089: How Linguistically Fair Are Multilingual Pre-Trained Language Models? Monojit Choudhury, Amit Deshpande AAAI-9727: The Gap on Gap: Tackling the Problem of Differing Data Distributions in Bias-Measuring Datasets Vid Kocijan, Oana-Maria Camburu, Thomas Lukasiewicz AAAI-3850: Generate Your Counterfactuals: Towards Controlled Counterfactual Generation for Text Nishtha Madan, Inkit Padhi, Naveen Panwar, Diptikalyan Saha AAAI-8566: How Robust are Model Rankings: A Leaderboard Customization Approach for Equitable Evaluation Swaroop Ranjan Mishra, Anjana Arunkumar Cluster: Applications