default search action
Journal of Artificial Intelligence Research, Volume 72
Volume 72, 2021
- Mike Wu, Sonali Parbhoo, Michael C. Hughes, Volker Roth, Finale Doshi-Velez:
Optimizing for Interpretability in Deep Neural Networks with Tree Regularization. 1-37 - Shaowei Cai, Jinkun Lin, Yiyuan Wang, Darren Strash
:
A Semi-exact Algorithm for Quickly Computing A Maximum Weight Clique in Large Sparse Graphs. 39-67 - Tomás Peitl
, Stefan Szeider
:
Finding the Hardest Formulas for Resolution. 69-97 - Yotam Gafni, Ron Lavi
, Moshe Tennenholtz:
Worst-case Bounds on Power vs. Proportion in Weighted Voting Games with an Application to False-name Manipulation. 99-135 - John Livieratos, Phokion G. Kolaitis, Lefteris M. Kirousis:
On the Computational Complexity of Non-Dictatorial Aggregation. 137-183 - Tobias Harks, Max Klimm, Jannik Matuschke:
Pure Nash Equilibria in Resource Graph Games. 185-213 - Anthony Thomas, Sanjoy Dasgupta, Tajana Rosing:
A Theoretical Perspective on Hyperdimensional Computing. 215-249 - Theofanis I. Aravanis
:
Relevance in Belief Update. 251-283 - Adnan Darwiche, Pierre Marquis
:
On Quantifying Literals in Boolean Logic and its Applications to Explainable AI. 285-328 - Tong Liu, Roberto Amadini, Maurizio Gabbrielli
, Jacopo Mauro
:
sunny-as2: Enhancing SUNNY for Algorithm Selection. 329-376 - Anthony Corso
, Robert J. Moss
, Mark Koren, Ritchie Lee
, Mykel J. Kochenderfer
:
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems. 377-428 - Greg M. Silverman, Himanshu S. Sahoo, Nicholas Ingraham
, Monica Lupei, Michael A. Puskarich, Michael Usher, James Dries, Raymond L. Finzel, Eric Murray, John Sartori, György J. Simon, Rui Zhang, Genevieve B. Melton
, Christopher J. Tignanelli
, Serguei V. S. Pakhomov:
NLP Methods for Extraction of Symptoms from Unstructured Data for Use in Prognostic COVID-19 Analytic Models. 429-474 - Volodymyr Rospotniuk, Rupert Small:
Optimal Any-Angle Pathfinding on a Sphere. 475-505 - Georgios Birmpas, Jiarui Gan, Alexandros Hollender
, Francisco J. Marmolejo Cossío, Ninad Rajgopal, Alexandros A. Voudouris
:
Optimally Deceiving a Learning Leader in Stackelberg Games. 507-531 - Benjamin Krarup, Senka Krivic
, Daniele Magazzeni, Derek Long
, Michael Cashmore, David E. Smith
:
Contrastive Explanations of Plans through Model Restrictions. 533-612 - Vu-Linh Nguyen
, Eyke Hüllermeier:
Multilabel Classification with Partial Abstention: Bayes-Optimal Prediction under Label Independence. 613-665 - Syrine Belakaria, Aryan Deshwal, Janardhan Rao Doppa:
Output Space Entropy Search Framework for Multi-Objective Bayesian Optimization. 667-715 - Chiara F. Sironi
, Mark H. M. Winands
:
Analysis of the Impact of Randomization of Search-Control Parameters in Monte-Carlo Tree Search. 717-757 - Eleonora Giunchiglia
, Thomas Lukasiewicz:
Multi-Label Classification Neural Networks with Hard Logical Constraints. 759-818 - Steven Carr, Nils Jansen
, Ufuk Topcu:
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes. 819-847 - Cynthia Freeman, Jonathan Merriman, Ian Beaver, Abdullah Mueen:
Experimental Comparison and Survey of Twelve Time Series Anomaly Detection Algorithms. 849-899 - Aliaksandr Hubin
, Geir Storvik, Florian Frommlet
:
Flexible Bayesian Nonlinear Model Configuration. 901-942 - Giannis Nikolentzos, Giannis Siglidis, Michalis Vazirgiannis:
Graph Kernels: A Survey. 943-1027 - George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez:
Steady-State Planning in Expected Reward Multichain MDPs. 1029-1082 - Cleyton R. Silva, Michael Bowling, Levi H. S. Lelis:
Teaching People by Justifying Tree Search Decisions: An Empirical Study in Curling. 1083-1102 - Cristina Cornelio, Judy Goldsmith, Umberto Grandi, Nicholas Mattei
, Francesca Rossi, Kristen Brent Venable:
Reasoning with PCP-Nets. 1103-1161 - Konstantinos Nikolaidis, Stein Kristiansen, Thomas Plagemann, Vera Goebel, Knut Liestøl, Mohan S. Kankanhalli
, Gunn Marit Traaen, Britt Øverland, Harriet Akre, Lars Aakerøy, Sigurd Steinshamn:
Learning Realistic Patterns from Visually Unrealistic Stimuli: Generalization and Data Anonymization. 1163-1214 - Michele Flammini, Gianpiero Monaco, Luca Moscardelli, Mordechai Shalom, Shmuel Zaks:
On the Online Coalition Structure Generation Problem. 1215-1250 - Jinqiang Yu, Alexey Ignatiev
, Peter J. Stuckey, Pierre Le Bodic:
Learning Optimal Decision Sets and Lists with SAT. 1251-1279 - Atefe Pakzad
, Morteza Analoui:
A Word Selection Method for Producing Interpretable Distributional Semantic Word Vectors. 1281-1305 - Dominic Widdows, Kirsty Kitto
, Trevor Cohen:
Quantum Mathematics in Artificial Intelligence. 1307-1341 - Vassilina Nikoulina, Maxat Tezekbayev, Nuradil Kozhakhmet, Madina Babazhanova, Matthias Gallé, Zhenisbek Assylbekov
:
The Rediscovery Hypothesis: Language Models Need to Meet Linguistics. 1343-1384 - Alexandra Uma, Tommaso Fornaciari
, Dirk Hovy, Silviu Paun, Barbara Plank
, Massimo Poesio
:
Learning from Disagreement: A Survey. 1385-1470 - Rodothea-Myrsini Tsoupidi
, Roberto Castañeda Lozano, Benoit Baudry:
Constraint-based Diversification of JOP Gadgets. 1471-1505
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.