Published: 2021-09-14

Optimizing for Interpretability in Deep Neural Networks with Tree Regularization

Mike Wu, Sonali Parbhoo, Michael C. Hughes, Volker Roth, Finale Doshi-Velez

1-37

Finding the Hardest Formulas for Resolution

Tomáš Peitl, Stefan Szeider

69-97

On the Computational Complexity of Non-Dictatorial Aggregation

John Livieratos, Phokion G. Kolaitis, Lefteris Kirousis

137-183

Pure Nash Equilibria in Resource Graph Games

Tobias Harks, Max Klimm, Jannik Matuschke

185–213

A Theoretical Perspective on Hyperdimensional Computing

Anthony Thomas, Sanjoy Dasgupta, Tajana Rosing

215-249

Relevance in Belief Update

Theofanis Aravanis

251-283

sunny-as2: Enhancing SUNNY for Algorithm Selection

Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

329-376

A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems

Anthony Corso, Robert J. Moss, Mark Koren, Ritchie Lee, Mykel J. Kochenderfer

377–428

NLP Methods for Extraction of Symptoms from Unstructured Data for Use in Prognostic COVID-19 Analytic Models

Greg M. Silverman, Himanshu S. Sahoo, Nicholas E. Ingraham, Monica Lupei, Michael A. Puskarich, Michael Usher, James Dries, Raymond L. Finzel, Eric Murray, John Sartori, Gyorgy Simon, Rui Zhang, Genevieve B. Melton, Christopher J. Tignanelli, Serguei VS Pakhomov

429-474

Optimal Any-Angle Pathfinding on a Sphere

Volodymyr Rospotniuk, Rupert Small

475-505

Optimally Deceiving a Learning Leader in Stackelberg Games

Georgios Birmpas, Jiarui Gan, Alexandros Hollender, Francisco J. Marmolejo-Cossío, Ninad Rajgopal, Alexandros A. Voudouris

507-531

Contrastive Explanations of Plans through Model Restrictions

Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith

533-612

Output Space Entropy Search Framework for Multi-Objective Bayesian Optimization

Syrine Belakaria, Aryan Deshwal, Janardhan Rao Doppa

667-715

Experimental Comparison and Survey of Twelve Time Series Anomaly Detection Algorithms

Cynthia Freeman, Jonathan Merriman, Ian Beaver, Abdullah Mueen

849-899

Flexible Bayesian Nonlinear Model Configuration

Aliaksandr Hubin, Geir Storvik, Florian Frommlet

901-942

Graph Kernels: A Survey

Giannis Nikolentzos, Giannis Siglidis, Michalis Vazirgiannis

943-1027

Steady-State Planning in Expected Reward Multichain MDPs

George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez

1029-1082

Teaching People by Justifying Tree Search Decisions: An Empirical Study in Curling

Cleyton R. Silva, Michael Bowling, Levi H.S. Lelis

1083-1102

Reasoning with PCP-Nets

Cristina Cornelio, Judy Goldsmith, Umberto Grandi, Nicholas Mattei, Francesca Rossi, K. Brent Venable

1103-1161

Learning Realistic Patterns from Visually Unrealistic Stimuli: Generalization and Data Anonymization

Konstantinos Nikolaidis, Stein Kristiansen, Thomas Plagemann, Vera Goebel

1163-1214

On the Online Coalition Structure Generation Problem

Michele Flammini, Gianpiero Monaco, Luca Moscardelli, Mordechai Shalom, Shmuel Zaks

1215-1250

Learning Optimal Decision Sets and Lists with SAT

Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic

1251-1279

Quantum Mathematics in Artificial Intelligence

Dominic Widdows, Kirsty Kitto, Trevor Cohen

1307-1341

The Rediscovery Hypothesis: Language Models Need to Meet Linguistics

Vassilina Nikoulina, Maxat Tezekbayev, Nuradil Kozhakhmet, Madina Babazhanova, Matthias Gallé, Zhenisbek Assylbekov

1343-1384

Learning from Disagreement: A Survey

Alexandra N. Uma, Tommaso Fornaciari, Dirk Hovy, Silviu Paun, Barbara Plank, Massimo Poesio

1385-1470

Constraint-based Diversification of JOP Gadgets

Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano, Benoit Baudry

1471-1505