logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
A

Annals of Mathematics and Artificial Intelligence

IF1
Papers14
Citations1158
Journal Papers 14
Publication Date
delete
Balancing fairness: learning with conflicting objectives and user feedback
deleteAnnals of Mathematics and Artificial Intelligence
IF1
delete2026-03-01
delete0
PREAI
deleteAwasthi, Pranjal; Cortes, Corinna; Mansour, Yishay; Mohri, Mehryar
deleteShare
deleteSave
Optimal length refutations of linear programs in selected proof systems under the ADD inference rule
deleteAnnals of Mathematics and Artificial Intelligence
IF1
delete2026-03-01
delete0
PREAI
deleteSubramani, K.; Wojciechowski, Piotr
deleteShare
deleteSave
Differential techniques for addressing SAT variants and related problems
deleteAnnals of Mathematics and Artificial Intelligence
IF1
delete2026-03-01
delete0
PREAI
deleteJena, Sangram K.; Subramani, K.; Gautier, Andrew; Wojciechowski, Piotr; Velasquez, Alvaro
deleteShare
deleteSave
A prudent logic of partial functions
deleteAnnals of Mathematics and Artificial Intelligence
IF1
delete2026-03-01
delete0
PREAI
deleteMarkovic, Dorde; Van den Eede, Robbe; Denecker, Marc
deleteShare
deleteSave
Non-parametric binary regression in metric spaces with logarithmic loss
deleteAnnals of Mathematics and Artificial Intelligence
IF1
delete2026-02-01
delete0
deleteOAAI
deleteAvital, Ariel; Efremenko, Klim; Kontorovich, Aryeh; Tolpin, David; Waggoner, Bo
deleteShare
deleteSave
On shallow feedforward neural networks with inputs from a topological space
deleteAnnals of Mathematics and Artificial Intelligence
IF1
delete2026-01-01
delete0
PREAI
deleteIsmailov, Vugar E.
deleteShare
deleteSave
Weakest sufficient conditions of HML under weak bisimulation in communicating systems
deleteAnnals of Mathematics and Artificial Intelligence
IF1
delete2026-01-01
delete0
deleteOAAI
deleteZhou, Xin; Wang, Yisong; Feng, Renyan; Hansen, Jonas; Chen, Panfeng; Hu, Hongbo; Xu, Songhang
deleteShare
deleteSave
Combinatorial and algorithmic analysis of oriented hierarchies in statistical implicative analysis
deleteAnnals of Mathematics and Artificial Intelligence
IF1
delete2026-01-01
delete0
PREAI
deleteAndrianarivony, Fidy; Ravelomanana, Vlady; Regnier, Jean-Claude; Raherinirina, Angelo
deleteShare
deleteSave
A note on Erdős's mysterious remark
deleteAnnals of Mathematics and Artificial Intelligence
IF1
delete2026-01-01
delete0
PREAI
deleteKovacs, Zoltan
deleteShare
deleteSave
A MaxSAT-based framework for computing circumscription
deleteAnnals of Mathematics and Artificial Intelligence
IF1
delete2026-01-01
delete0
PREAI
deleteXie, Zhongtao; Wang, Yisong; Yang, Lei; Hu, Hongbo
deleteShare
deleteSave
Universum support vector machines with elastic net loss and RoBoSS loss
deleteAnnals of Mathematics and Artificial Intelligence
IF1
delete2026-01-01
delete0
PREAI
deleteLi, Ping
deleteShare
deleteSave
Towards an effective use of preferences in argumentation frameworks: extension = consistency plus preferences
deleteANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
IF1
delete2025-12-01
delete0
PREAI
deletePyon, Sung-Jun; Ri, Yong-Sok
deleteShare
deleteSave
On sample reuse methods for answering k-wise statistical queries
deleteANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
IF1
delete2025-09-01
delete0
deleteOAAI
deleteReyzin, Lev; Tu, Duan
deleteShare
deleteSave
A hybrid simulated annealing and variable neighborhood search algorithm for the close-open electric vehicle routing problem
deleteANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
IF1
delete2023-06-18
delete2
deleteOAAI
deleteStamadianos, Themistoklis; Kyriakakis, Nikolaos A.; Marinaki, Magdalene; Marinakis, Yannis
deleteShare
deleteSave