Artificial Intelligence

ISSN: 0004-3702

30 found

View year:

  1.  1
    Athanor: Local search over abstract constraint specifications.Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel & Peter Nightingale - 2025 - Artificial Intelligence 340 (C):104277.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  22
    Explainable AI and stakes in medicine: A user study.Sam Baron, Andrew James Latham & Somogy Varga - 2025 - Artificial Intelligence 340 (C):104282.
    The apparent downsides of opaque algorithms has led to a demand for explainable AI (XAI) methods by which a user might come to understand why an algorithm produced the particular output it did, given its inputs. Patients, for example, might find that the lack of explanation of the process underlying the algorithmic recommendations for diagnosis and treatment hinders their ability to provide informed consent. This paper examines the impact of two factors on user perceptions of explanations for AI systems in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. Learning a fast 3D spectral approach to object segmentation and tracking over space and time.Elena Burceanu & Marius Leordeanu - 2025 - Artificial Intelligence 340 (C):104281.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  1
    A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments.Martin Gebser, Enrico Giunchiglia, Marco Maratea & Marco Mochi - 2025 - Artificial Intelligence 340 (C):104276.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  1
    CureGraph: Contrastive multi-modal graph representation learning for urban living circle health profiling and prediction.Jinlin Li & Xiao Zhou - 2025 - Artificial Intelligence 340 (C):104278.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. A semantic framework for neurosymbolic computation.Simon Odense & Artur D'Avila Garcez - 2025 - Artificial Intelligence 340 (C):104273.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Argumentative review aggregation and dialogical explanations.Antonio Rago, Oana Cocarascu, Joel Oksanen & Francesca Toni - 2025 - Artificial Intelligence 340 (C):104291.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Explain it as simple as possible, but no simpler – Explanation via model simplification for addressing inferential gap.Sarath Sreedharan, Siddharth Srivastava & Subbarao Kambhampati - 2025 - Artificial Intelligence 340 (C):104279.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Beyond incompatibility: Trade-offs between mutually exclusive fairness criteria in machine learning and law.Meike Zehlike, Alex Loosley, Håkan Jonsson, Emil Wiedemann & Philipp Hacker - 2025 - Artificial Intelligence 340 (C):104280.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Multi-rank smart reserves: A general framework for selection and matching diversity goals.Haris Aziz & Zhaohong Sun - 2025 - Artificial Intelligence 339 (C):104274.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  3
    A Kripke-Lewis semantics for belief update and belief revision.Giacomo Bonanno - 2025 - Artificial Intelligence 339 (C):104259.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  3
    Defying catastrophic forgetting via influence function.Rui Gao & Weiwei Liu - 2025 - Artificial Intelligence 339 (C):104261.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  2
    Integrating symbolic reasoning into neural generative models for design generation.Maxwell J. Jacobson & Yexiang Xue - 2025 - Artificial Intelligence 339 (C):104257.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  3
    Lifted action models learning from partial traces.Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Emilio Gerevini & Paolo Traverso - 2025 - Artificial Intelligence 339 (C):104256.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  3
    Formal verification and synthesis of mechanisms for social choice.Munyque Mittelmann, Bastien Maubert, Aniello Murano & Laurent Perrussel - 2025 - Artificial Intelligence 339 (C):104272.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  3
    Human-AI coevolution.Dino Pedreschi, Luca Pappalardo, Emanuele Ferragina, Ricardo Baeza-Yates, Albert-László Barabási, Frank Dignum, Virginia Dignum, Tina Eliassi-Rad, Fosca Giannotti, János Kertész, Alistair Knott, Yannis Ioannidis, Paul Lukowicz, Andrea Passarella, Alex Sandy Pentland, John Shawe-Taylor & Alessandro Vespignani - 2025 - Artificial Intelligence 339 (C):104244.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  1
    EMOA*: A framework for search-based multi-objective path planning.Zhongqiang Ren, Carlos Hernández, Maxim Likhachev, Ariel Felner, Sven Koenig, Oren Salzman, Sivakumar Rathinam & Howie Choset - 2025 - Artificial Intelligence 339 (C):104260.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  4
    A simple yet effective self-debiasing framework for transformer models.Xiaoyue Wang, Xin Liu, Lijie Wang, Suhang Wu, Jinsong Su & Hua Wu - 2025 - Artificial Intelligence 339 (C):104258.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  1
    Out-of-distribution detection by regaining lost clues.Zhilin Zhao, Longbing Cao & Philip S. Yu - 2025 - Artificial Intelligence 339 (C):104275.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  4
    Gödel–Dummett linear temporal logic.Juan Pablo Aguilera, Martín Diéguez, David Fernández-Duque & Brett McLean - 2025 - Artificial Intelligence 338 (C):104236.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  3
    Interpretation modeling: Social grounding of sentences by reasoning over their implicit moral judgments.Liesbeth Allein, Maria Mihaela Truşcǎ & Marie-Francine Moens - 2025 - Artificial Intelligence 338 (C):104234.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  2
    Online learning in sequential Bayesian persuasion: Handling unknown priors.Martino Bernasconi, Matteo Castiglioni, Alberto Marchesi, Nicola Gatti & Francesco Trovò - 2025 - Artificial Intelligence 338 (C):104245.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  1
    The complexity of optimizing atomic congestion.Cornelius Brand, Robert Ganian, Subrahmanyam Kalyanasundaram & Fionn Mc Inerney - 2025 - Artificial Intelligence 338 (C):104241.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Separate but equal: Equality in belief propagation for single-cycle graphs.Erel Cohen, Ben Rachmut, Omer Lev & Roie Zivan - 2025 - Artificial Intelligence 338 (C):104243.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  6
    TeachText: CrossModal text-video retrieval through generalized distillation.Ioana Croitoru, Simion-Vlad Bogolin, Marius Leordeanu, Hailin Jin, Andrew Zisserman, Yang Liu & Samuel Albanie - 2025 - Artificial Intelligence 338 (C):104235.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  3
    Open-world continual learning: Unifying novelty detection and continual learning.Gyuhak Kim, Changnan Xiao, Tatsuya Konishi, Zixuan Ke & Bing Liu - 2025 - Artificial Intelligence 338 (C):104237.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  6
    Generative models for grid-based and image-based pathfinding.Daniil Kirilenko, Anton Andreychuk, Aleksandr I. Panov & Konstantin Yakovlev - 2025 - Artificial Intelligence 338 (C):104238.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  3
    AI-driven transcriptome profile-guided hit molecule generation.Chen Li & Yoshihiro Yamanishi - 2025 - Artificial Intelligence 338 (C):104239.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  3
    Chimeric U-Net – Modifying the standard U-Net towards explainability.Kenrick Schulze, Felix Peppert, Christof Schütte & Vikram Sunkara - 2025 - Artificial Intelligence 338 (C):104240.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  7
    Integrating multi-armed bandit with local search for MaxSAT.Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li & Felip Manyà - 2025 - Artificial Intelligence 338 (C):104242.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues