Works matching IS 10769757 AND DT 2024 AND VI 81

Results: 29

QCDCL vs QBF Resolution: Further Insights.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 741, doi. 10.1613/jair.1.15522

By:

Böhm, Benjamin;
Beyersdorf, Olaf

Publication type:

Article

Understanding What Affects the Generalization Gap in Visual Reinforcement Learning: Theory and Empirical Evidence.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 1, doi. 10.1613/jair.1.16422

By:

Jiafei Lyu;
Le Wan;
Xiu Li;
Zongqing Lu

Publication type:

Article

Efficient and Fair Healthcare Rationing.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 337, doi. 10.1613/jair.1.15024

By:

Aziz, Haris;
Brandl, Florian

Publication type:

Article

A Scoping Study of AI Affordances in Early Childhood Education: Mapping the Global Landscape, Identifying Research Gaps, and Charting Future Research Directions.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 701, doi. 10.1613/jair.1.16882

By:

Chen, Jennifer J.

Publication type:

Article

Selfishly Prepaying in Financial Credit Networks.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 877, doi. 10.1613/jair.1.16527

By:

Hao Zhou;
Yongzhao Wang;
Varsos, Konstantinos;
Bishop, Nicholas;
Savani, Rahul;
Calinescu, Anisoara;
Wooldridge, Michael

Publication type:

Article

Differentially Private Neural Tangent Kernels (DP-NTK) for Privacy-Preserving Data Generation.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 683, doi. 10.1613/jair.1.15985

By:

Yilin Yang;
Adamczewski, Kamil;
Li, Xiaoxiao;
Sutherland, Danica J.;
Park, Mijung

Publication type:

Article

Improving Reproducibility in AI Research: Four Mechanisms Adopted by JAIR.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 1019, doi. 10.1613/jair.1.16905

By:

Gundersen, Odd Erik;
Helmert, Malte;
Hoos, Holger

Publication type:

Article

Expected 1.x Makespan-Optimal Multi-Agent Path Finding on Grid Graphs in Low Polynomial Time.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 443, doi. 10.1613/jair.1.16299

By:

Teng Guo;
Jingjin Yu

Publication type:

Article

Bias Mitigation Methods: Applicability, Legality, and Recommendations for Development.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 1043, doi. 10.1613/jair.1.16759

By:

Waller, Madeleine;
Rodrigues, Odinaldo;
Ah Lee, Michelle Seng;
Cocarascu, Oana

Publication type:

Article

Preserving Fairness in AI under Domain Shift.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 907, doi. 10.1613/jair.1.16694

By:

Stan, Serban;
Rostami, Mohammad

Publication type:

Article

The State of Computer Vision Research in Africa.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 43, doi. 10.1613/jair.1.16653

By:

Omotayo, Abdul-Hakeem;
Mbilinyi, Ashery;
Ismaila, Lukman E.;
Turki, Houcemeddine;
Abdien, Mahmoud;
Gamal, Karim;
Tondji, Idriss;
Pimi, Yvan;
Etori, Naome A.;
Matar, Marwa M.;
Broni-Bediako, Clifford;
Oppong, Abigail;
Gamal, Mai;
Ehab, Eman;
Dovonon, Gbetondji;
Akinjobi, Zainab;
Ajisafe, Daniel;
Adegboro, Oluwabukola G.;
Siam, Mennatullah

Publication type:

Article

Declarative Approaches to Outcome Determination in Judgment Aggregation.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 793, doi. 10.1613/jair.1.16595

By:

Conati, Ari;
Niskanen, Andreas;
Järvisalo, Matti

Publication type:

Article

Quantization Aware Factorization for Deep Neural Network Compression.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 973, doi. 10.1613/jair.1.16167

By:

Cherniuk, Daria;
Abukhovich, Stanislav;
Phan, Anh-Huy;
Oseledets, Ivan;
Cichocki, Andrzej;
Gusak, Julia

Publication type:

Article

Towards Robust Offline-to-Online Reinforcement Learning via Uncertainty and Smoothness.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 481, doi. 10.1613/jair.1.16457

By:

Xiaoyu Wen;
Xudong Yu;
Rui Yang;
Haoyuan Chen;
Chenjia Bai;
Zhen Wang

Publication type:

Article

Approximate Counting of Linear Extensions in Practice.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 643, doi. 10.1613/jair.1.16374

By:

Talvitie, Topi;
Koivisto, Mikko

Publication type:

Article

Satisfiability Modulo User Propagators.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 989, doi. 10.1613/jair.1.16163

By:

Fazekas, Katalin;
Niemetz, Aina;
Preiner, Mathias;
Kirchweger, Markus;
Szeider, Stefan;
Biere, Armin

Publication type:

Article

Uncertainty as a Fairness Measure.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 307, doi. 10.1613/jair.1.16041

By:

Kuzucu, Selim;
Cheong, Jiaee;
Gunes, Hatice;
Kalkan, Sinan

Publication type:

Article

Digraph k-Coloring Games: New Algorithms and Experiments.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 163, doi. 10.1613/jair.1.16174

By:

D’Ascenzo, Andrea;
D’Emidio, Mattia;
Flammini, Michele;
Monaco, Gianpiero

Publication type:

Article

A Unified Perspective on Value Backup and Exploration in Monte-Carlo Tree Search.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 511, doi. 10.1613/jair.1.16019

By:

Dam, Tuan;
D’Eramo, Carlo;
Peters, Jan;
Pajarinen, Joni

Publication type:

Article

The Effect of Preferences in Abstract Argumentation under a Claim-Centric View.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 203, doi. 10.1613/jair.1.15932

By:

Bernreiter, Michael;
Dvořák, Wolfgang;
Rapberger, Anna;
Woltran, Stefan

Publication type:

Article

Cross-domain Constituency Parsing by Leveraging Heterogeneous Data.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 771, doi. 10.1613/jair.1.15736

By:

Peiming Guo;
Meishan Zhang;
Yulong Chen;
Jianling Li;
Min Zhang;
Yue Zhang

Publication type:

Article

Proof Theory and Decision Procedures for Deontic STIT Logics.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 837, doi. 10.1613/jair.1.15710

By:

Lyon, Tim S.;
van Berkel, Kees

Publication type:

Article

Separating and Collapsing Electoral Control Types.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 71, doi. 10.1613/jair.1.15483

By:

Carleton, Benjamin;
Chavrimootoo, Michael C.;
Hemaspaandra, Lane A.;
Narvঢ়e, David E.;
Taliancich, Conor;
Welles, Henry B.

Publication type:

Article

The Human in Interactive Machine Learning: Analysis and Perspectives for Ambient Intelligence.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 263, doi. 10.1613/jair.1.15665

By:

Delcourt, Kévin;
Trouilhet, Sylvie;
Arcangeli, Jean-Paul;
Adreit, Françoise

Publication type:

Article

Truth-tracking with Non-expert Information Sources.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 619, doi. 10.1613/jair.1.15273

By:

Singleton, Joseph;
Booth, Richard

Publication type:

Article

Inverting Cryptographic Hash Functions via Cube-and-Conquer.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 359, doi. 10.1613/jair.1.15244

By:

Zaikin, Oleg

Publication type:

Article

A Fortiori Case-Based Reasoning: From Theory to Data.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 401, doi. 10.1613/jair.1.15178

By:

van Woerkom, Wijnand;
Grossi, Davide;
Prakken, Henry;
Verheij, Bart

Publication type:

Article

Opening the Analogical Portal to Explainability: Can Analogies Help Laypeople in AI-assisted Decision Making?

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 117, doi. 10.1613/jair.1.15118

By:

Gaole He;
Balayn, Agathe;
Buijsman, Stefan;
Jie Yang;
Gadiraju, Ujwal

Publication type:

Article

Human Activity Recognition in an Open World.

Published in:

Journal of Artificial Intelligence Research, 2024, v. 81, p. 935, doi. 10.1613/jair.1.14476

By:

Prijatelj, Derek S.;
Grieggs, Samuel;
Jin Huang;
Dawei Du;
Shringi, Ameya;
Funk, Christopher;
Kaufman, Adam;
Robertson, Eric;
Scheirer, Walter J.

Publication type:

Article