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

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