Works matching IS 10769757 AND DT 2021 AND VI 72

Results: 15

Contrastive Explanations of Plans Through Model Restrictions.

Published in:

Journal of Artificial Intelligence Research, 2021, v. 72, p. 533, doi. 10.1613/jair.1.12813

By:

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

Publication type:

Article

Optimally Deceiving a Learning Leader in Stackelberg Games.

Published in:

Journal of Artificial Intelligence Research, 2021, v. 72, p. 507, doi. 10.1613/jair.1.12542

By:

Birmpas, Georgios;
Jiarui Gan;
Hollender, Alexandros;
Marmolejo-Cossío, Francisco J.;
Rajgopal, Ninad;
Voudouris, Alexandros A.

Publication type:

Article

Optimal Any-Angle Pathfinding on a Sphere.

Published in:

Journal of Artificial Intelligence Research, 2021, v. 72, p. 475

By:

Rospotniuk, Volodymyr;
Small, Rupert

Publication type:

Article

NLP Methods for Extraction of Symptoms from Unstructured Data for Use in Prognostic COVID-19 Analytic Models.

Published in:

Journal of Artificial Intelligence Research, 2021, v. 72, p. 429, doi. 10.1613/jair.1.12631

By:

Silverman, Greg M.;
Sahoo, Himanshu S.;
Ingraham, Nicholas E.;
Lupei, Monica;
Puskarich, Michael A.;
Usher, Michael;
Dries, James;
Finzel, Raymond L.;
Murray, Eric;
Sartori, John;
Simon, Gyorgy;
Rui Zhang;
Melton, Genevieve B.;
Tignanelli, Christopher J.;
Pakhomov, Serguei V. S.

Publication type:

Article

A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems.

Published in:

Journal of Artificial Intelligence Research, 2021, v. 72, p. 377, doi. 10.1613/jair.1.12716

By:

Corso, Anthony;
Moss, Robert J.;
Koren, Mark;
Ritchie Lee;
Kochenderfer, Mykel J.

Publication type:

Article

sunny-as2: Enhancing SUNNY for Algorithm Selection.

Published in:

Journal of Artificial Intelligence Research, 2021, v. 72, p. 329, doi. 10.1613/jair.1.13116

By:

Tong Liu;
Amadini, Roberto;
Gabbrielli, Maurizio;
Mauro, Jacopo

Publication type:

Article

On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI.

Published in:

Journal of Artificial Intelligence Research, 2021, v. 72, p. 285, doi. 10.1613/jair.1.12756

By:

Darwiche, Adnan;
Marquis, Pierre

Publication type:

Article

Relevance in Belief Update.

Published in:

Journal of Artificial Intelligence Research, 2021, v. 72, p. 251, doi. 10.1613/jair.1.12772

By:

Aravanis, Theofanis I.

Publication type:

Article

A Theoretical Perspective on Hyperdimensional Computing.

Published in:

Journal of Artificial Intelligence Research, 2021, v. 72, p. 215, doi. 10.1613/jair.1.12664

By:

Thomas, Anthony;
Dasgupta, Sanjoy;
Tajana Rosing

Publication type:

Article

Pure Nash Equilibria in Resource Graph Games.

Published in:

Journal of Artificial Intelligence Research, 2021, v. 72, p. 185, doi. 10.1613/jair.1.12668

By:

Harks, Tobias;
Klimm, Max;
Matuschke, Jannik

Publication type:

Article

On the Computational Complexity of Non-Dictatorial Aggregation.

Published in:

Journal of Artificial Intelligence Research, 2021, v. 72, p. 137

By:

Kirousis, Lefteris;
Kolaitis, Phokion G.;
Livieratos, John

Publication type:

Article

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

Published in:

Journal of Artificial Intelligence Research, 2021, v. 72, p. 99, doi. 10.1613/jair.1.13136

By:

Gafni, Yotam;
Lavi, Ron;
Tennenholtz, Moshe

Publication type:

Article

Finding the Hardest Formulas for Resolution.

Published in:

Journal of Artificial Intelligence Research, 2021, v. 72, p. 69, doi. 10.1613/jair.1.12589

By:

Peitl, Tomáš;
Szeider, Stefan

Publication type:

Article

A Semi-Exact Algorithm for Quickly Computing a Maximum Weight Clique in Large Sparse Graphs.

Published in:

Journal of Artificial Intelligence Research, 2021, v. 72, p. 39, doi. 10.1613/jair.1.12327

By:

Shaowei Cai;
Jinkun Lin;
Yiyuan Wang;
Strash, Darren

Publication type:

Article

Optimizing for Interpretability in Deep Neural Networks with Tree Regularization.

Published in:

Journal of Artificial Intelligence Research, 2021, v. 72, p. 1, doi. 10.1613/jair.1.12558

By:

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

Publication type:

Article