default search action
Journal of Artificial Intelligence Research, Volume 67
Volume 67, 2020
- Eric Timmons, Brian Charles Williams:
Best-First Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation. 1-34 - Bernhard Bliem, Michael Morak, Marius Moldovan, Stefan Woltran:
The Impact of Treewidth on Grounding and Solving of Answer Set Programs. 35-80 - Nicolás Rivera
, Carlos Hernández
, Nicolás Hormazábal, Jorge A. Baier:
The 2^k Neighborhoods for Grid Path Planning. 81-113 - Ronald Ortner
:
Regret Bounds for Reinforcement Learning via Markov Chain Concentration. 115-128 - Jendrik Seipp, Thomas Keller
, Malte Helmert
:
Saturated Cost Partitioning for Optimal Classical Planning. 129-167 - Marco Lippi
, Giuseppe Contissa
, Agnieszka Jablonowska
, Francesca Lagioia
, Hans-Wolfgang Micklitz
, Przemyslaw Palka
, Giovanni Sartor
, Paolo Torroni
:
The Force Awakens: Artificial Intelligence for Consumer Law. 169-190 - Ramya Ramakrishnan, Ece Kamar, Debadeepta Dey, Eric Horvitz, Julie Shah:
Blind Spot Detection for Safe Sim-to-Real Transfer. 191-234 - Michael Cashmore
, Daniele Magazzeni
, Parisa Zehtabi
:
Planning for Hybrid Systems via Satisfiability Modulo Theories. 235-283 - William W. Cohen, Fan Yang, Kathryn Mazaitis:
TensorLog: A Probabilistic Database Implemented Using Deep-Learning Infrastructure. 285-325 - Jesse Thomason, Aishwarya Padmakumar, Jivko Sinapov, Nick Walker, Yuqian Jiang, Harel Yedidsion, Justin W. Hart, Peter Stone, Raymond J. Mooney:
Jointly Improving Parsing and Perception for Natural Language Commands through Human-Robot Dialog. 327-374 - Alessandro Checco, Jo Bates, Gianluca Demartini
:
Adversarial Attacks on Crowdsourcing Quality Control. 375-408 - Romain Wallon
, Stefan Mengel:
Revisiting Graph Width Measures for CNF-Encodings. 409-436 - Alvaro Perez-Diaz
, Enrico H. Gerding, Frank McGroarty
:
Catching Cheats: Detecting Strategic Manipulation in Distributed Optimisation of Electric Vehicle Aggregators. 437-470 - Erel Segal-Halevi, Avinatan Hassidim, Haris Aziz
:
Fair Allocation with Diminishing Differences. 471-507 - Maxime Chabert, Christine Solnon:
A Global Constraint for the Exact Cover Problem: Application to Conceptual Clustering. 509-547 - Dor Atzmon
, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták
, Neng-Fa Zhou:
Robust Multi-Agent Path Finding and Executing. 549-579 - Lemao Liu, Andrew M. Finch, Masao Utiyama, Eiichiro Sumita:
Agreement on Target-Bidirectional Recurrent Neural Networks for Sequence-to-Sequence Learning. 581-606 - Margarita P. Castro
, Chiara Piacentini, André Augusto Ciré, J. Christopher Beck:
Solving Delete Free Planning with Relaxed Decision Diagram Based Heuristics. 607-651 - Samuel Läubli
, Sheila Castilho
, Graham Neubig, Rico Sennrich, Qinlan Shen, Antonio Toral
:
A Set of Recommendations for Assessing Human-Machine Parity in Language Translation. 653-672 - Mohammad Rostami
, David Isele, Eric Eaton:
Using Task Descriptions in Lifelong Machine Learning for Improved Performance and Zero-Shot Transfer. 673-704 - Anna Maria Kerkmann, Jérôme Lang, Anja Rey, Jörg Rothe, Hilmar Schadrack, Lena Schend:
Hedonic Games with Ordinal Preferences and Thresholds. 705-756 - Dieuwke Hupkes, Verna Dankers, Mathijs Mul, Elia Bruni:
Compositionality Decomposed: How do Neural Networks Generalise? 757-795 - Zack Fitzsimmons, Martin Lackner
:
Incomplete Preferences in Single-Peaked Electorates. 797-833 - Daniel Höller
, Pascal Bercher
, Gregor Behnke
, Susanne Biundo:
HTN Planning as Heuristic Progression Search. 835-880 - Hana Chockler
, Pascal Kesseli
, Daniel Kroening, Ofer Strichman:
Learning the Language of Software Errors. 881-903
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.