Annals of mathematics and artificial intelligence
Published by Springer
Switzerland · Logic, Reasoning, and Knowledge
Journal at a glance
- ISSN
- 1012-2443, 1573-7470 (electronic)
- Publisher
- Springer
- Country
- Switzerland
- Language
- en
Also known as: Ann Math Artif Intell (Abbreviation), AMAI (Alternate title), Annals of mathematical science. Series B, Annals of mathematics and artificial intelligence (Alternate title)
Metrics
| Metric | Value | Year | Source |
|---|
| DOIs registered (Crossref) | 1743 | 2026 | Crossref |
| DOIs, current year (Crossref) | 102 | 2026 | Crossref |
| Citations (OpenAlex) | 36325 | 2026 | OpenAlex |
| 2-year mean citedness (OpenAlex) | 0.98 | 2026 | OpenAlex |
| Works (OpenAlex) | 1776 | 2026 | OpenAlex |
| h-index (OpenAlex) | 82 | 2026 | OpenAlex |
| i10-index (OpenAlex) | 694 | 2026 | OpenAlex |
Subjects
- Logic, Reasoning, and Knowledge
- Logic, programming, and type systems
- Semantic Web and Ontologies
- Constraint Satisfaction and Optimization
- Multi-Agent Systems and Negotiation
- Formal Methods in Verification
- AI-based Problem Solving and Planning
Similar journals
- Artificial intelligence — Kingdom of the Netherlands · — · Same subject: AI-based Problem Solving and Planning, Same subject: Constraint Satisfaction and Optimization, 5 shared subjects in total
- Computational intelligence — United Kingdom · — · Same subject: AI-based Problem Solving and Planning, Same subject: Constraint Satisfaction and Optimization, 5 shared subjects in total
- Logic journal of the IGPL — United Kingdom · — · Same subject: Formal Methods in Verification, Same subject: Logic, Reasoning, and Knowledge, 5 shared subjects in total
- New generation computing — Japan · — · Same subject: AI-based Problem Solving and Planning, Same subject: Formal Methods in Verification, 5 shared subjects in total
- Applied artificial intelligence : AAI — United States · Open access · Same subject: AI-based Problem Solving and Planning, Same subject: Logic, Reasoning, and Knowledge, 4 shared subjects in total
- EPiC series in computing — United Kingdom · — · Same subject: Formal Methods in Verification, Same subject: Logic, Reasoning, and Knowledge, 4 shared subjects in total
Sources: OpenAlex, NLM Catalog, Crossref · Last verified 2026-09-07
Journal homepage