Volume 72 Masthead

Published: 2021-09-14

Articles

Optimizing for Interpretability in Deep Neural Networks with Tree Regularization

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

1-37

PDF

A Semi-exact Algorithm for Quickly Computing A Maximum Weight Clique in Large Sparse Graphs

Shaowei Cai, Jinkun Lin, Yiyuan Wang, Darren Strash

39-67

PDF

Finding the Hardest Formulas for Resolution

Tomáš Peitl, Stefan Szeider

69-97

PDF

Worst-case Bounds on Power vs. Proportion in Weighted Voting Games with an Application to False-name Manipulation

Yotam Gafni, Ron Lavi, Moshe Tennenholtz

99-135

PDF

On the Computational Complexity of Non-Dictatorial Aggregation

Lefteris Kirousis, Phokion G. Kolaitis, John Livieratos

137-183

PDF

Pure Nash Equilibria in Resource Graph Games

Tobias Harks, Max Klimm, Jannik Matuschke

185–213

PDF

A Theoretical Perspective on Hyperdimensional Computing

Anthony Thomas, Sanjoy Dasgupta, Tajana Rosing

215-249

PDF

Relevance in Belief Update

Theofanis Aravanis

251-283

PDF

On Quantifying Literals in Boolean Logic and its Applications to Explainable AI

Adnan Darwiche, Pierre Marquis

285-328

PDF

sunny-as2: Enhancing SUNNY for Algorithm Selection

Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

329-376

PDF

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

PDF

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

PDF

Optimal Any-Angle Pathfinding on a Sphere

Volodymyr Rospotniuk, Rupert Small

475-505

PDF

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

PDF

Contrastive Explanations of Plans through Model Restrictions

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

533-612

PDF

Multilabel Classification with Partial Abstention: Bayes-Optimal Prediction under Label Independence

Vu-Linh Nguyen, Eyke Hüllermeier

613-665

PDF

Output Space Entropy Search Framework for Multi-Objective Bayesian Optimization

Syrine Belakaria, Aryan Deshwal, Janardhan Rao Doppa

667-715

PDF

Analysis of the Impact of Randomization of Search-Control Parameters in Monte-Carlo Tree Search

Chiara F. Sironi, Mark H. M. Winands

717-757

PDF

Multi-Label Classification Neural Networks with Hard Logical Constraints

Eleonora Giunchiglia, Thomas Lukasiewicz

759-818

PDF

Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes

Steven Carr, Nils Jansen, Ufuk Topcu

819-847

PDF

Experimental Comparison and Survey of Twelve Time Series Anomaly Detection Algorithms

Cynthia Freeman, Jonathan Merriman, Ian Beaver, Abdullah Mueen

849-899

PDF

Flexible Bayesian Nonlinear Model Configuration

Aliaksandr Hubin, Geir Storvik, Florian Frommlet

901-942

PDF

Graph Kernels: A Survey

Giannis Nikolentzos, Giannis Siglidis, Michalis Vazirgiannis

943-1027

PDF

Steady-State Planning in Expected Reward Multichain MDPs

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

1029-1082

PDF

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

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

1083-1102

PDF

Reasoning with PCP-Nets

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

1103-1161

PDF

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

1163-1214

PDF

On the Online Coalition Structure Generation Problem

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

1215-1250

PDF

Learning Optimal Decision Sets and Lists with SAT

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

1251-1279

PDF

A Word Selection Method for Producing Interpretable Distributional Semantic Word Vectors

Atefe Pakzad, Morteza Analoui

1281-1305

PDF

Quantum Mathematics in Artificial Intelligence

Dominic Widdows, Kirsty Kitto, Trevor Cohen

1307-1341

PDF

The Rediscovery Hypothesis: Language Models Need to Meet Linguistics

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

1343-1384

PDF

Learning from Disagreement: A Survey

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

1385-1470

PDF

Constraint-based Diversification of JOP Gadgets

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

1471-1505

PDF