Works matching IS 10769757 AND DT 2020 AND VI 67

Results: 25

Learning the Language of Software Errors.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 881, doi. 10.1613/jair.1.11798

By:

Chockler, Hana;
Kesseli, Pascal;
Kroening, Daniel;
Strichman, Ofer

Publication type:

Article

HTN Planning as Heuristic Progression Search.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 835, doi. 10.1613/jair.1.11282

By:

Höller, Daniel;
Bercher, Pascal;
Behnke, Gregor;
Biundo, Susanne

Publication type:

Article

Incomplete Preferences in Single-Peaked Electorates.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 797, doi. 10.1613/jair.1.11577

By:

Fitzsimmons, Zack;
Lackner, Martin

Publication type:

Article

Compositionality Decomposed: How do Neural Networks Generalise?

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 757, doi. 10.1613/jair.1.11674

By:

Hupkes, Dieuwke;
Dankers, Verna;
Mul, Mathijs;
Bruni, Elia

Publication type:

Article

Hedonic Games with Ordinal Preferences and Thresholds.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 705, doi. 10.1613/jair.1.11531

By:

Kerkmann, Anna Maria;
Lang, Jérôme;
Rey, Anja;
Rothe, Jörg;
Schadrack, Hilmar;
Schend, Lena

Publication type:

Article

Using Task Descriptions in Lifelong Machine Learning for Improved Performance and Zero-Shot Transfer.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 673, doi. 10.1613/jair.1.11304

By:

Rostami, Mohammad;
Isele, David;
Eaton, Eric

Publication type:

Article

A Set of Recommendations for Assessing Human{Machine Parity in Language Translation.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 653, doi. 10.1613/jair.1.11371

By:

Läubli, Samuel;
Castilho, Sheila;
Neubig, Graham;
Sennrich, Rico;
Qinlan Shen;
Toral, Antonio

Publication type:

Article

Solving Delete Free Planning with Relaxed Decision Diagram Based Heuristics.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 607, doi. 10.1613/jair.1.11659

By:

Castro, Margarita P.;
Piacentini, Chiara;
Cire, Andre A.;
Beck, J. Christopher

Publication type:

Article

Agreement on Target-Bidirectional Recurrent Neural Networks for Sequence-to-Sequence Learning.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 581, doi. 10.1613/jair.1.12008

By:

Lemao Liu;
Finc, Andrew;
Masao Utiyama;
Eiichiro Sumita

Publication type:

Article

Robust Multi-Agent Path Finding and Executing.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 549, doi. 10.1613/jair.1.11734

By:

Atzmon, Dor;
Stern, Roni;
Felner, Ariel;
Wagner, Glenn;
Barták, Roman;
Neng-Fa Zhou

Publication type:

Article

A Global Constraint for the Exact Cover Problem: Application to Conceptual Clustering.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 509, doi. 10.1613/jair.1.11870

By:

Chabert, Maxime;
Solnon, Christine

Publication type:

Article

Fair Allocation with Diminishing Differences.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 471, doi. 10.1613/jair.1.11994

By:

Segal-Halevi, Erel;
Hassidim, Avinatan;
Aziz, Haris

Publication type:

Article

Catching Cheats: Detecting Strategic Manipulation in Distributed Optimisation of Electric Vehicle Aggregators.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 437, doi. 10.1613/jair.1.11573

By:

Perez-Diaz, Alvaro;
Gerding, Enrico;
McGroarty, Frank

Publication type:

Article

Graph Width Measures for CNF-Encodings with Auxiliary Variables.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 409

By:

Mengel, Stefan;
Wallon, Romain

Publication type:

Article

Adversarial Attacks on Crowdsourcing Quality Control.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 375, doi. 10.1613/jair.1.11332

By:

Checco, Alessandro;
Bates, Jo;
Demartini, Gianluca

Publication type:

Article

Jointly Improving Parsing and Perception for Natural Language Commands through Human-Robot Dialog.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 327, doi. 10.1613/jair.1.11485

By:

Thomason, Jesse;
Padmakumar, Aishwarya;
Sinapov, Jivko;
Walker, Nick;
Yuqian Jiang;
Yedidsion, Harel;
Hart, Justin;
Stone, Peter;
Mooney, Raymond J.

Publication type:

Article

TensorLog: A Probabilistic Database Implemented Using Deep-Learning Infrastructure.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 285, doi. 10.1613/jair.1.11944

By:

Cohen, William W.;
Fan Yang;
Mazaitis, Kathryn Rivard

Publication type:

Article

Planning for Hybrid Systems via Satisfiability Modulo Theories.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 235, doi. 10.1613/jair.1.11751

By:

Cashmore, Michael;
Magazzeni, Daniele;
Zehtabi, Parisa

Publication type:

Article

Blind Spot Detection for Safe Sim-to-Real Transfer.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 191, doi. 10.1613/jair.1.11436

By:

Ramakrishnan, Ramya;
Kamar, Ece;
Dey, Debadeepta;
Horvitz, Eric;
Shah, Julie

Publication type:

Article

The Force Awakens: Artificial Intelligence for Consumer Law.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 169, doi. 10.1613/jair.1.11519

By:

Lipp, Marco;
Contissa, Giuseppe;
Jabłonowska, Agnieszka;
Lagioia, Francesca;
Micklitz, Hans-Wolfgang;
Pałka, Przemysław;
Sartor, Giovanni;
Torroni, Paolo

Publication type:

Article

Saturated Cost Partitioning for Optimal Classical Planning.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 129, doi. 10.1613/jair.1.11673

By:

Seipp, Jendrik;
Keller, Thomas;
Helmert, Malte

Publication type:

Article

Regret Bounds for Reinforcement Learning via Markov Chain Concentration.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 115, doi. 10.1613/jair.1.11316

By:

Ortner, Ronald

Publication type:

Article

The 2<sup>k</sup> Neighborhoods for Grid Path Planning.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 81, doi. 10.1613/jair.1.11383

By:

Rivera, Nicolás;
Hernández, Carlos;
Hormazábal, Nicolás;
Baier, Jorge A.

Publication type:

Article

The Impact of Treewidth on Grounding and Solving of Answer Set Programs.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 35, doi. 10.1613/jair.1.11515

By:

Bliem, Bernhard;
Morak, Michael;
Moldovan, Marius;
Woltran, Stefan

Publication type:

Article

Best-First Enumeration Based on Bounding Conicts, and its Application to Large-scale Hybrid Estimation.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 1, doi. 10.1613/jair.1.11892

By:

Timmons, Eric M.;
Williams, Brian C.

Publication type:

Article