Vol. 34 No. 02: AAAI-20 Technical Tracks 2
AAAI Technical Track: Cognitive Modeling
Theory-Based Causal Transfer:Integrating Instance-Level Induction and Abstract-Level Structure Learning
PDFDeep Spiking Delayed Feedback Reservoirs and Its Application in Spectrum Sensing of MIMO-OFDM Dynamic Spectrum Sharing
PDFPeople Do Not Just Plan,They Plan to Plan
PDFEffective AER Object Classification Using Segmented Probability-Maximization Learning in Spiking Neural Networks
PDFBiologically Plausible Sequence Learning with Spiking Neural Networks
PDFTransfer Reinforcement Learning Using Output-Gated Working Memory
PDFMachine Number Sense: A Dataset of Visual Arithmetic Problems for Abstract and Relational Reasoning
PDF
AAAI Technical Track: Cognitive Systems
AAAI Technical Track: Computational Sustainability
To Signal or Not To Signal: Exploiting Uncertain Real-Time Information in Signaling Games for Security and Sustainability
PDFEnd-to-End Game-Focused Learning of Adversary Behavior in Security Games
PDFModeling Electrical Motor Dynamics Using Encoder-Decoder with Recurrent Skip Connection
PDFTensorized LSTM with Adaptive Shared Memory for Learning Trends in Multivariate Time Series
PDFDeep Unsupervised Binary Coding Networks for Multivariate Time Series Retrieval
PDF
AAAI Technical Track: Constraint Satisfaction and Optimization
Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms
PDFEfficient Algorithms for Generating Provably Near-Optimal Cluster Descriptors for Explainability
PDFProbabilistic Inference for Predicate Constraint Satisfaction
PDFHard Examples for Common Variable Decision Heuristics
PDFMultiple Graph Matching and Clustering via Decayed Pairwise Matching Composition
PDFConstructing Minimal Perfect Hash Functions Using SAT Technology
PDFExplaining Propagators for String Edit Distance Constraints
PDFDeep Neural Network Approximated Dynamic Programming for Combinatorial Optimization
PDFDynamic Programming for Predict+Optimise
PDFAccelerating Primal Solution Findings for Mixed Integer Programs Based on Solution Prediction
PDFOptimization of Chance-Constrained Submodular Functions
PDFADDMC: Weighted Model Counting with Algebraic Decision Diagrams
PDFModelling and Solving Online Optimisation Problems
PDFJustifying All Differences Using Pseudo-Boolean Reasoning
PDFA Cardinal Improvement to Pseudo-Boolean Solving
PDFUsing Approximation within Constraint Programming to Solve the Parallel Machine Scheduling Problem with Additional Unit Resources
PDFModelling Diversity of Solutions
PDFIncremental Symmetry Breaking Constraints for Graph Search Problems
PDFFinding Most Compatible Phylogenetic Trees over Multi-State Characters
PDFFourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints
PDFAugmenting the Power of (Partial) MaxSat Resolution with Extension
PDFSolving Set Cover and Dominating Set via Maximum Satisfiability
PDFFinding Good Subtrees for Constraint Optimization Problems Using Frequent Pattern Mining
PDFAn Effective Hard Thresholding Method Based on Stochastic Variance Reduction for Nonconvex Sparse Learning
PDFAccelerating Column Generation via Flexible Dual Optimal Inequalities with Application to Entity Resolution
PDFSmart Predict-and-Optimize for Hard Combinatorial Optimization Problems
PDFGrammar Filtering for Syntax-Guided Synthesis
PDFD-SPIDER-SFO: A Decentralized Optimization Algorithm with Faster Convergence Rate for Nonconvex Problems
PDFImproved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD)
PDFChain Length and CSPs Learnable with Few Queries
PDFGuiding CDCL SAT Search via Random Exploration amid Conflict Depression
PDFRepresentative Solutions for Bi-Objective Optimisation
PDF
AAAI Technical Track: Game Playing and Interactive Entertainment
Generating Interactive Worlds with Text
PDFDeep Reinforcement Learning for General Game Playing
PDFNarrative Planning Model Acquisition from Text Summaries and Descriptions
PDFFET-GAN: Font and Effect Transfer via K-shot Adaptive Instance Normalization
PDFA Character-Centric Neural Model for Automated Story Generation
PDFFast and Robust Face-to-Parameter Translation for Game Character Auto-Creation
PDFDraft and Edit: Automatic Storytelling Through Multi-Pass Hierarchical Conditional Variational Autoencoder
PDF
AAAI Technical Track: Game Theory and Economic Paradigms
Bounded Incentives in Manipulating the Probabilistic Serial Rule
PDFDeep Learning—Powered Iterative Combinatorial Auctions
PDFA Multi-Unit Profit Competitive Mechanism for Cellular Traffic Offloading
PDFAlgorithms for Manipulating Sequential Allocation
PDFComputing Equilibria in Binary Networked Public Goods Games
PDFComputing Team-Maxmin Equilibria in Zero-Sum Multiplayer Extensive-Form Games
PDFDefending with Shared Resources on a Network
PDFStructure Learning for Approximate Solution of Many-Player Games
PDFAdaptive Quantitative Trading: An Imitative Deep Reinforcement Learning Approach
PDFLimitations of Incentive Compatibility on Discrete Type Spaces
PDFMechanism Design with Predicted Task Revenue for Bike Sharing Systems
PDFLifting Preferences over Alternatives to Preferences over Sets of Alternatives: The Complexity of Recognizing Desirable Families of Sets
PDFThe Effectiveness of Peer Prediction in Long-Term Forecasting
PDFThe Surprising Power of Hiding Information in Facility Location
PDFCan We Predict the Election Outcome from Sampled Votes?
PDFPrice of Fairness in Budget Division and Probabilistic Social Choice
PDFRobust Market Equilibria with Uncertain Preferences
PDFPractical Frank–Wolfe Method with Decision Diagrams for Computing Wardrop Equilibrium of Combinatorial Congestion Games
PDFBalancing the Tradeoff between Profit and Fairness in Rideshare Platforms during High-Demand Hours
PDFComparing Election Methods Where Each Voter Ranks Only Few Candidates
PDFSolving Online Threat Screening Games using Constrained Action Space Reinforcement Learning
PDFReinforcement Mechanism Design: With Applications to Dynamic Pricing in Sponsored Search Auctions
PDFComplexity of Computing the Shapley Value in Games with Externalities
PDFPath Planning Problems with Side Observations—When Colonels Play Hide-and-Seek
PDFMulti-Type Resource Allocation with Partial Preferences
PDFNice Invincible Strategy for the Average-Payoff IPD
PDFStrategyproof Mechanisms for Friends and Enemies Games
PDFPreventing Arbitrage from Collusion When Eliciting Probabilities
PDFVCG under Sybil (False-Name) Attacks – A Bayesian Analysis
PDFBidding in Smart Grid PDAs: Theory, Analysis and Strategy
PDFBeyond Pairwise Comparisons in Social Choice: A Setwise Kemeny Aggregation Problem
PDFContiguous Cake Cutting: Hardness Results and Approximation Algorithms
PDFStrongly Budget Balanced Auctions for Multi-Sided Markets
PDFThe Complexity of Computing Maximin Share Allocations on Graphs
PDFFair Division Through Information Withholding
PDFModel and Reinforcement Learning for Markov Games with Risk Preferences
PDFA Simple, Fast, and Safe Mediator for Congestion Management
PDFRepeated Multimarket Contact with Private Monitoring: A Belief-Free Approach
PDFA Multiarmed Bandit Based Incentive Mechanism for a Subset Selection of Customers for Demand Response in Smart Grids
PDFDouble-Oracle Sampling Method for Stackelberg Equilibrium Approximation in General-Sum Extensive-Form Games
PDFStrategy-Proof and Non-Wasteful Multi-Unit Auction via Social Network
PDFOn the Max-Min Fair Stochastic Allocation of Indivisible Goods
PDFAn Analysis Framework for Metric Voting based on LP Duality
PDFCommunication, Distortion, and Randomness in Metric Voting
PDFInformation Elicitation Mechanisms for Statistical Estimation
PDFPerpetual Voting: Fairness in Long-Term Decision Making
PDFMultiple Birds with One Stone: Beating 1/2 for EFX and GMMS via Envy Cycle Elimination
PDFAll-Pay Bidding Games on Graphs
PDFFacility Location Problem with Capacity Constraints: Algorithmic and Mechanism Design Perspectives
PDFFair Division of Mixed Divisible and Indivisible Goods
PDFIndividual-Based Stability in Hedonic Diversity Games
PDFAdapting Stable Matchings to Evolving Preferences
PDFParameterized Algorithms for Finding a Collective Set of Items
PDFElecting Successive Committees: Complexity and Algorithms
PDFApproval-Based Apportionment
PDFRefining Tournament Solutions via Margin of Victory
PDFPersuading Voters: It’s Easy to Whisper, It’s Hard to Speak Loud
PDFElection Control in Social Networks via Edge Addition or Removal
PDFPrivate Bayesian Persuasion with Sequential Games
PDFFavorite-Candidate Voting for Eliminating the Least Popular Candidate in a Metric Space
PDFManipulating Districts to Win Elections: Fine-Grained Complexity
PDFOn Swap Convexity of Voting Rules
PDFAnalysis of One-to-One Matching Mechanisms via SAT Solving: Impossibilities for Universal Axioms
PDFIterative Delegations in Liquid Democracy with Restricted Preferences
PDFCoarse Correlation in Extensive-Form Games
PDFDesigning Committees for Mitigating Biases
PDFDistance-Based Equilibria in Normal-Form Games
PDFSwap Stability in Schelling Games on Graphs
PDFThe Impact of Selfishness in Hypergraph Hedonic Games
PDFMultiagent Evaluation Mechanisms
PDFPeeking Behind the Ordinal Curtain: Improving Distortion via Cardinal Queries
PDF