JAIR - 2021 - volume 72 论文列表 |
| 点击这里查看 Journal of Artificial Intelligence Research 的JCR分区、影响因子等信息 |
Volume 72, 2021
Rodothea-Myrsini Tsoupidi Roberto Castañeda Lozano Benoit Baudry
Learning from Disagreement: A Survey.
Alexandra Uma Tommaso Fornaciari Dirk Hovy Silviu Paun Barbara Plank Massimo Poesio
The Rediscovery Hypothesis: Language Models Need to Meet Linguistics.Vassilina Nikoulina Maxat Tezekbayev Nuradil Kozhakhmet Madina Babazhanova Matthias Gallé Zhenisbek Assylbekov
Quantum Mathematics in Artificial Intelligence.Dominic Widdows Kirsty Kitto Trevor Cohen
A Word Selection Method for Producing Interpretable Distributional Semantic Word Vectors. Learning Optimal Decision Sets and Lists with SAT.Jinqiang Yu Alexey Ignatiev Peter J. Stuckey Pierre Le Bodic
On the Online Coalition Structure Generation Problem.Michele Flammini Gianpiero Monaco Luca Moscardelli Mordechai Shalom Shmuel Zaks
Learning Realistic Patterns from Visually Unrealistic Stimuli: Generalization and Data Anonymization.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
Reasoning with PCP-Nets.Cristina Cornelio Judy Goldsmith Umberto Grandi Nicholas Mattei Francesca Rossi Kristen Brent Venable
Teaching People by Justifying Tree Search Decisions: An Empirical Study in Curling.Cleyton R. Silva Michael Bowling Levi H. S. Lelis
Steady-State Planning in Expected Reward Multichain MDPs.George K. Atia Andre Beckus Ismail Alkhouri Alvaro Velasquez
Graph Kernels: A Survey.Giannis Nikolentzos Giannis Siglidis Michalis Vazirgiannis
Flexible Bayesian Nonlinear Model Configuration.Aliaksandr Hubin Geir Storvik Florian Frommlet
Experimental Comparison and Survey of Twelve Time Series Anomaly Detection Algorithms.Cynthia Freeman Jonathan Merriman Ian Beaver Abdullah Mueen
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes.Steven Carr Nils Jansen Ufuk Topcu
Multi-Label Classification Neural Networks with Hard Logical Constraints.Eleonora Giunchiglia Thomas Lukasiewicz
Analysis of the Impact of Randomization of Search-Control Parameters in Monte-Carlo Tree Search.Chiara F. Sironi Mark H. M. Winands
Output Space Entropy Search Framework for Multi-Objective Bayesian Optimization.Syrine Belakaria Aryan Deshwal Janardhan Rao Doppa
Multilabel Classification with Partial Abstention: Bayes-Optimal Prediction under Label Independence.Vu-Linh Nguyen Eyke Hüllermeier
Contrastive Explanations of Plans through Model Restrictions.Benjamin Krarup Senka Krivic Daniele Magazzeni Derek Long Michael Cashmore David E. Smith
Optimally Deceiving a Learning Leader in Stackelberg Games.Georgios Birmpas Jiarui Gan Alexandros Hollender Francisco J. Marmolejo Cossío Ninad Rajgopal Alexandros A. Voudouris
Optimal Any-Angle Pathfinding on a Sphere.Volodymyr Rospotniuk Rupert Small
NLP Methods for Extraction of Symptoms from Unstructured Data for Use in Prognostic COVID-19 Analytic Models.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
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
sunny-as2: Enhancing SUNNY for Algorithm Selection.Tong Liu Roberto Amadini Maurizio Gabbrielli Jacopo Mauro
On Quantifying Literals in Boolean Logic and its Applications to Explainable AI. Relevance in Belief Update. A Theoretical Perspective on Hyperdimensional Computing.Anthony Thomas Sanjoy Dasgupta Tajana Rosing
Pure Nash Equilibria in Resource Graph Games.Tobias Harks Max Klimm Jannik Matuschke
On the Computational Complexity of Non-Dictatorial Aggregation.John Livieratos Phokion G. Kolaitis Lefteris M. Kirousis
Worst-case Bounds on Power vs. Proportion in Weighted Voting Games with an Application to False-name Manipulation.Yotam Gafni Ron Lavi Moshe Tennenholtz
Finding the Hardest Formulas for Resolution. A Semi-exact Algorithm for Quickly Computing A Maximum Weight Clique in Large Sparse Graphs.Shaowei Cai Jinkun Lin Yiyuan Wang Darren Strash
Optimizing for Interpretability in Deep Neural Networks with Tree Regularization.Mike Wu Sonali Parbhoo Michael C. Hughes Volker Roth Finale Doshi-Velez