Table of Contents

• Sublinear-Time Adaptive Data AnalysisBenjamin Fish, Lev Reyzin, Benjamin I. P. Rubinstein. [doi]
• Conflict-point formulation of intersection control for autonomous vehiclesMichael W. Levin, David Rey. [doi]
• Exact Graph Coloring Algorithms of Getting Partial and All Best SolutionsJianding Guo, Laurent Moalic, Jean-Noël Martin, Alexandre Caminada. [doi]
• Traffic Optimization For a Mixture of Self-interested and Compliant AgentsGuni Sharon, Michael Albert, Tarun Rambha, Stephen D. Boyles, Peter Stone. [doi]
• Strategy Representation and Compression for Influence DiagramsJinchuan Shi, Eric A. Hansen. [doi]
• A Formalization of Kant's Second Formulation of the Categorical ImperativeMartin Mose Bentzen. [doi]
• Contextual Deontic Cognitive Event Calculi for Ethically Correct RobotsSelmer Bringsjord, Naveen Sundar G., Bertram F. Malle, Matthias Scheutz. [doi]
• Geometrically Motivated Nonstationary Kernel Density Estimation on ManifoldAleksander Kuleshov, Alexander Bernstein, Yury Yanovich. [doi]
• Parking search equilibrium and its implications for parking managementStephen Boyles. [doi]
• A Characterization of Sampling Patterns for Union of Low-Rank Subspaces Retrieval ProblemMorteza Ashraphijuo, Xiaodong Wang. [doi]
• Selected Prototypes of Moral MachinesOliver Bendel. [doi]
• Stochastic Game Modelling for Distributed Constraint Reasoning with PrivacyJulien Savaux, Julien Vion, Sylvain Piechowiak, René Mandiau, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo, Shakre Elmane, Marius Silaghi. [doi]
• Considering User Preference and Acceptance of Next Generation Route Guidance SystemsMarin Lujak, Stefano Giordani, Sascha Ossowski. [doi]
• Learning Buyer Behavior under Realistic Pricing RestrictionsDebjyoti Saharoy, Theja Tulabandhula. [doi]
• Interalgorithmic Consolidation for Pattern Recognition Applied to Melanoma Genomic DataBrody Kutt, Rachel Burdorf, Travaughn Bain, Lisa Moore, Munevver Mine Subasi. [doi]
• On the union of orthants in the n-spaceJinwook Lee. [doi]
• Towards Understanding the Min-Sum Message Passing Algorithm for the Minimum Weighted Vertex Cover Problem: An Analytical ApproachMasaru Nakajima, Hong Xu 0003, Sven Koenig, T. K. Satish Kumar. [doi]
• A Warning Propagation-Based Linear-Time-and-Space Algorithm for the Minimum Vertex Cover Problem on Giant GraphsHong Xu 0003, Kexuan Sun, Sven Koenig, T. K. Satish Kumar. [doi]
• Meta-inductive Probability Aggregation and Optimal ScoringChristian J. Feldbacher-Escamilla, Gerhard Schurz. [doi]
• Extending Formal Models of the Doctrine of Double Effect with EmotionsNaveen Sundar Govindarajulu, Rikhiya Ghosh, Selmer Bringsjord. [doi]
• Stochastic Evaluation of Symmetric Boolean FunctionsLisa Hellerstein. [doi]
• Ensemble Correlation CoefficientWejdan Deebani, Nezamoddin N. Kachouie. [doi]
• A Weighted Majority Voting based on NMI for Cluster AnalysisMeshal Shutaywi, Nezamoddin N. Kachouie. [doi]
• Logical Analysis of Multiclass Data with Relaxed PatternsTravaughn Bain, Juan Felix Avila Herrera, Ersoy Subasi, Munevver Mine Subasi. [doi]
• Generalization Bounds for Minimum Volume Set Estimation based on Markovian DataPatrice Bertail, Gabriela Ciolek, Stéphan Clémençon. [doi]
• PAC Bandits with Risk ConstraintsYahel David, Balázs Szörényi, Mohammad Ghavamzadeh, Shie Mannor, Nahum Shimkin. [doi]
• The Price to Pay for Forgoing Normalization in Fair Division of Indivisible GoodsPascal Lange, Nhan-Tam Nguyen, Jörg Rothe. [doi]
• From Machine Ethics To Machine Explainability and BackKevin Baum, Holger Hermanns, Timo Speith. [doi]
• A Fair Payment Scheme for Virtuous Community Energy UsagePaolo Giuliodori, Stefano Bistarelli, Dimitri Mugnai. [doi]
• Utilizing SMT-Based Data-Integrity Constraints to Estimate Data-Quality and ComplianceEric Rozier. [doi]
• Learning under p-Tampering AttacksSaeed Mahloujifar, Dimitrios I. Diochnos, Mohammad Mahmoody. [doi]
• The Buss Reduction for the k-Weighted Vertex Cover ProblemHong Xu 0003, Xin-Zeng Wu, Cheng Cheng, Sven Koenig, T. K. Satish Kumar. [doi]
• Profile Categorization System based on Features ReductionOlfa Mabrouk, Lobna Hlaoua, Mohamed-Nazih Omri. [doi]
• On Markov Decision Processes with Pseudo-Boolean Reward FunctionsMichael N. Katehakis. [doi]
• Dynamic Programming Bounds from Decision DiagramsJohn N. Hooker. [doi]
• Moral Decision Making Frameworks for Artificial IntelligenceVincent Conitzer, Walter Sinnott-Armstrong, Jana Schaich Borg, Yuan Deng, Max Kramer 0001. [doi]
• Enhanced Delta-tolling: Traffic Optimization via Policy Gradient Reinforcement LearningHamid Mirzaei Buini, Guni Sharon, Stephen D. Boyles, Tony Givargis, Peter Stone. [doi]
• Survey of Techniques for Efficient Solving of Boolean Formulas from Formal Verification of Pipelined, Superscalar, and VLIW Microprocessors at a High Level of AbstractionMiroslav N. Velev. [doi]
• Complexity of Shift Bribery in Hare, Coombs, Baldwin, and Nanson ElectionsCynthia Maushagen, Marc Neveling, Jörg Rothe, Ann-Kathrin Selker. [doi]
• On the Linear Programming Duals of Temporal Reasoning ProblemsT. K. Satish Kumar, Zhi Wang, Anoop Kumar, Craig Milo Rogers, Craig A. Knoblock. [doi]
• An Exponential Tail Bound for Lq Stable Learning Rules. Application to k-Folds Cross-ValidationKarim T. Abou-Moustafa, Csaba Szepesvári. [doi]
• Querying DL-lite Knowledge Bases from Hidden DatasetsGhassen Hamdi, Mohamed-Nazih Omri, Odile Papini, Salem Benferhat, Zied Bouraoui. [doi]
• Constraint Composite Graph-Based Lifted Message Passing for Distributed Constraint Optimization ProblemsFerdinando Fioretto, Hong Xu 0003, Sven Koenig, T. K. Satish Kumar. [doi]
• Low-rank Feature Selection for Reinforcement LearningBahram Behzadian, Marek Petrik. [doi]
• A Method for Generating all the Prime Implicants of Binary CNF FormulasYakoub Salhi. [doi]
• Practical Challenges in Explicit Ethical Machine ReasoningLouise A. Dennis, Michael Fischer. [doi]
• A Peek at the Cryptol LanguageJohn Franco. [doi]
• A Sheaf Model of Contradictions and Disagreements. A (very) Preliminary ReportWlodek Zadrozny, Luciana Garbayo. [doi]
• Quadratizations of symmetric pseudo-Boolean functions: sub-linear bounds on the number of auxiliary variablesEndre Boros, Yves Crama, Elisabeth Rodríguez-Heck. [doi]
• On the Evolvability of Monotone Monomials with a (1+1) Evolutionary AlgorithmDimitrios I. Diochnos. [doi]
• The FastMap Algorithm for Shortest Path ComputationsLiron Cohen 0002, Tansel Uras, Shiva Jahangiri, Aliyah Arunasalam, Sven Koenig, T. K. Satish Kumar. [doi]