Main Navigation
Main Content
Sidebar
Register
Login
Toggle navigation
Current
Archives
About
About the Journal
JAIR Transparent Publishing
Submissions
Masthead
News
FAQ
Contact
Special Tracks
Surveys
IJCAI-JAIR Awards
Conference Award Track
AI and Society
Integration of Logical Constraints in Deep Learning
Constraint Programming and Machine Learning
Multi-Agent Path Finding
Fairness and Bias in AI
Hybrid Human-Artificial Intelligence
AI and COVID-19
Deep Learning, Knowledge Representation and Reasoning
Cross-Language Algorithms and Applications
Description Logics
Nonmonotonic Reasoning
4th International Planning Competition
3rd International Planning Competition
Search
Home
Archives
Vol. 83 (2025)
Volume 83 Masthead
Published:
2025-06-23
Articles
The Fixed-Point Semantics of Relational Concept Analysis
Jérôme Euzenat
PDF
Efficient XAI: A Low-Cost Data Reduction Approach to SHAP Interpretability
Severin Bachmann
PDF
AI for All: Identifying AI incidents Related to Diversity and Inclusion
Rifat Ara Shams, Didar Zowghi, Muneera Bano
PDF
DSAC: Distributional Soft Actor-Critic for Risk-Sensitive Reinforcement Learning
Xiaoteng Ma, Junyao Chen, Li Xia, Jun Yang, Qianchuan Zhao, Zhengyuan Zhou
PDF
Data Augmentation for Time-Series Classification: An Extensive Empirical Study and Comprehensive Survey
Zijun Gao, Haibao Liu, Lingbo Li
PDF
Improved Regret Bounds for Bandits with Expert Advice
Nicolò Cesa-Bianchi, Khaled Eldowa, Emmanuel Esposito, Julia Olkhovskaya
PDF
Parameterized Analysis of Bribery in Challenge the Champ Tournaments
Juhi Chaudhary, Hendrik Molter, Meirav Zehavi
PDF
Explainability via Short Formulas: the Case of Propositional Logic with Implementation
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
PDF
Collective Intelligence in Decision-Making with Non-Stationary Experts
Axel Abels, Vito Trianni, Ann Nowé, Tom Lenaerts
PDF
Invariant Graph Propagation in Constraint-Based Local Search
Frej Knutar Lewander, Pierre Flener, Justin Pearson
PDF
On CNF Conversion for SAT and SMT Enumeration
Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani
PDF
Conditional Relative Frequency Distributions with Undefined Observations and Generalized Fuzzy Orthopartitions
Stefania Boffa, Davide Ciucci
PDF
LabelCoRank: Revolutionizing Long Tail Multi-Label Classification with Co-Occurrence Reranking
Yan Yan, Junyuan Liu, Bo-Wen Zhang
PDF
The Search for Stability: Learning Dynamics of Strategic Publishers with Initial Documents
Omer Madmon, Idan Pipano, Itamar Reinman, Moshe Tennenholtz
PDF
Geometrically Inspired Kernel Machines for Collaborative Learning Beyond Gradient Descent
Mohit Kumar, Alexander Valentinitsch, Magdalena Fuchs, Mathias Brucker , Juliana Bowles, Adnan Husakovic, Ali Abbas, Bernhard A. Moser
PDF
Causal Explanations for Sequential Decision Making
Samer B. Nashed, Saaduddin Mahmud, Claudia V. Goldman, Shlomo Zilberstein
PDF
Improving Local Search Algorithm for Pseudo Boolean Optimization
Yujiao Zhao, Yiyuan Wang, Yi Chu, Wenbo Zhou, Shaowei Cai, Minghao Yin
PDF
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis
Yujie Yang, Hanjiang Hu, Tianhao Wei, Shengbo Eben Li, Changliu Liu
PDF
Robustness Distributions in Neural Network Verification
Annelot Bosman, Aaron Berger, Holger H. Hoos, Jan N. van Rijn
PDF
Super Level Sets and Exponential Decay: A Synergistic Approach to Stable Neural Network Training
Jatin Chaudary, Dipak Nidhi , Jukka Heikkonen , Harri Merisaari, Rajeev Kanth
PDF
Spatio-Causal Patterns of Sample Growth
Andre F. Ribeiro
PDF
MA-LAMA: Exploiting the Multi-Agent Nature of Temporal Planning Problems
J. Caballero Testón, Maria D. R-Moreno
PDF
CluMo: Cluster-based Modality Fusion Prompt for Continual Learning in Visual Question Answering
Yuliang Cai, Mohammad Rostami
PDF
Learning How to Vote with Principles: Axiomatic Insights Into the Collective Decisions of Neural Networks
Levin Hornischer, Zoi Terzopoulou
PDF
A Complexity-Theoretic Analysis of Majority Illusion in Social Networks
Umberto Grandi, Lawqueen Kanesh, Grzegorz Lisowski, M.S. Ramanujan, Paolo Turrini
PDF
Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
Kaleem Ullah Qasim, Jiashu Zhang, Tariq Alsahfi, Ateeq Ur Rehman Butt
PDF
Argumentative Reasoning in ASPIC+ under Incomplete Information
Daphne Odekerken, Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
PDF
Multi-Leader Congestion Games with an Adversary
Tobias Harks, Mona Henle, Max Klimm, Jannik Matuschke, Anja Schedel
PDF
Improving and Understanding the Power of Satisfaction-Driven Clause Learning
Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung, Vijay Ganesh
PDF
Policy-based Primal-Dual Methods for Concave CMDP with Variance Reduction
Donghao Ying, Mengzi Amy Guo, Hyunin Lee, Yuhao Ding, Javad Lavaei, Zuo-Jun Max Shen
PDF
A Survey on Data Selection for LLM Instruction Tuning
Bolin Zhang, Jiahao Wang, Qianlong Du, Jiajun Zhang, Zhiying Tu, Dianhui Chu
PDF
An MRP Formulation for Supervised Learning: Generalized Temporal Difference Learning Models
Yangchen Pan, Junfeng Wen, Chenjun Xiao, Philip H. S. Torr
PDF
On Computing Probabilistic Explanations for Decision Trees
Marcelo Arenas, Pablo Barcelo, Alexander Kozachinskiy, Miguel Romero, Bernardo Subercaseaux
PDF
Principles for Assumptions Generation in Enthymeme-Based Dialogue
Diego S. Orbe Leiva, Alejandro J. Garcia, Sebastian Gottifredi
PDF
A Unifying Framework for Causal Modeling With Infinitely Many Variables
Spencer Peters, Joseph Y. Halpern
PDF
Optimizing Relevance and Diversity in Online Matching Markets: A Time-Adaptive Attenuation Approach
Evan Yifan Xu, Pan Xu
PDF
Towards an Ontology-Driven Approach to Document Bias
Mayra Russo, Maria-Esther Vidal
PDF
Towards Generalist Robot Learning from Internet Video: A Survey
Robert McCarthy, Daniel C.H. Tan, Dominik Schmidt , Fernando Acero , Nathan Herr, Yilun Du, Thomas G. Thuruthel, Zhibin Li
PDF
Incremental Learning Methodologies for Addressing Catastrophic Forgetting: Analysis and Experimental Evaluation
Miquel Serra-Perello, Alberto Ortiz
PDF