Articles
1. Optimizing for Interpretability in Deep Neural Networks with Tree Regularization. --Mike Wu, Sonali Parbhoo, Michael C. Hughes, Volker Roth, Finale Doshi-Velez
2. A Semi-exact Algorithm for Quickly Computing A Maximum Weight Clique in Large Sparse Graphs. --Shaowei Cai, Jinkun Lin, Yiyuan Wang, Darren Strash
3. Finding the Hardest Formulas for Resolution. --Tomáš Peitl, Stefan Szeider
4. Worst-case Bounds on Power vs. Proportion in Weighted Voting Games with an Application to False-name Manipulation. --Yotam Gafni, Ron Lavi, Moshe Tennenholtz
5. On the Computational Complexity of Non-Dictatorial Aggregation. --John Livieratos, Phokion G. Kolaitis, Lefteris Kirousis
6. Pure Nash Equilibria in Resource Graph Games. --Tobias Harks, Max Klimm, Jannik Matuschke
7. A Theoretical Perspective on Hyperdimensional Computing. --Anthony Thomas, Sanjoy Dasgupta, Tajana Rosing
8. Relevance in Belief Update. --Theofanis Aravanis
9. On Quantifying Literals in Boolean Logic and its Applications to Explainable AI. --Adnan Darwiche, Pierre Marquis
10. sunny-as2: Enhancing SUNNY for Algorithm Selection. --Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
11. 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
12. 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
13. Optimal Any-Angle Pathfinding on a Sphere. --Volodymyr Rospotniuk, Rupert Small
14. Optimally Deceiving a Learning Leader in Stackelberg Games. --Georgios Birmpas, Jiarui Gan, Alexandros Hollender, Francisco J. Marmolejo-Cossío, Ninad Rajgopal, Alexandros A. Voudouris
15. Contrastive Explanations of Plans through Model Restrictions. --Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith
16. Multilabel Classification with Partial Abstention: Bayes-Optimal Prediction under Label Independence. --Vu-Linh Nguyen, Eyke Hüllermeier
17. Output Space Entropy Search Framework for Multi-Objective Bayesian Optimization. --Syrine Belakaria, Aryan Deshwal, Janardhan Rao Doppa
18. Analysis of the Impact of Randomization of Search-Control Parameters in Monte-Carlo Tree Search. --Chiara F. Sironi, Mark H. M. Winands
19. Multi-Label Classification Neural Networks with Hard Logical Constraints. --Eleonora Giunchiglia, Thomas Lukasiewicz
20. Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes. --Steven Carr, Nils Jansen, Ufuk Topcu
21. Experimental Comparison and Survey of Twelve Time Series Anomaly Detection Algorithms. --Cynthia Freeman, Jonathan Merriman, Ian Beaver, Abdullah Mueen
22. Flexible Bayesian Nonlinear Model Configuration. --Aliaksandr Hubin, Geir Storvik, Florian Frommlet
23. Graph Kernels: A Survey. --Giannis Nikolentzos, Giannis Siglidis, Michalis Vazirgiannis
24. Steady-State Planning in Expected Reward Multichain MDPs. --George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez
25. Teaching People by Justifying Tree Search Decisions: An Empirical Study in Curling. --Cleyton R. Silva, Michael Bowling, Levi H.S. Lelis
26. Reasoning with PCP-Nets. --Cristina Cornelio, Judy Goldsmith, Umberto Grandi, Nicholas Mattei, Francesca Rossi, K. Brent Venable
27. Learning Realistic Patterns from Visually Unrealistic Stimuli: Generalization and Data Anonymization. --Konstantinos Nikolaidis, Stein Kristiansen, Thomas Plagemann, Vera Goebel, Knut Liestøl, Mohan Kankanhalli, Gunn Marit Traaen, Britt Overland, Harriet Akre, Lars Aakerøy, Sigurd Steinshamn
28. On the Online Coalition Structure Generation Problem. --Michele Flammini, Gianpiero Monaco, Luca Moscardelli, Mordechai Shalom, Shmuel Zaks
29. Learning Optimal Decision Sets and Lists with SAT. --Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic
30. A Word Selection Method for Producing Interpretable Distributional Semantic Word Vectors. --Atefe Pakzad, Morteza Analoui
31. Quantum Mathematics in Artificial Intelligence. --Dominic Widdows, Kirsty Kitto, Trevor Cohen
32. The Rediscovery Hypothesis: Language Models Need to Meet Linguistics. --Vassilina Nikoulina, Maxat Tezekbayev, Nuradil Kozhakhmet, Madina Babazhanova, Matthias Gallé, Zhenisbek Assylbekov
33. Learning from Disagreement: A Survey. --Alexandra N. Uma, Tommaso Fornaciari, Dirk Hovy, Silviu Paun, Barbara Plank, Massimo Poesio
34. Constraint-based Diversification of JOP Gadgets. --Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano, Benoit Baudry