Annals of Mathematics and Artificial Intelligence presents a range of topics of concern to scholars applying quantitative, combinatorial, logical, algebraic and algorithmic methods to diverse areas of Artificial Intelligence, from decision support, automated deduction, and reasoning, to knowledge-based systems, machine learning, computer vision, robotics and planning.The journal features collections of papers appearing either in volumes (400 pages) or in separate issues (100-300 pages), which focus on one topic and have one or more guest editors.Annals of Mathematics and Artificial Intelligence hopes to influence the spawning of new areas of applied mathematics and strengthen the scientific underpinnings of Artificial Intelligence.
数学和人工智能年鉴提出了一系列的主题，关注学者应用定量，组合，逻辑，代数和算法的方法，以不同领域的人工智能，从决策支持，自动演绎和推理，以知识为基础的系统，机器学习，计算机视觉，机器人学和规划。该杂志的特点是论文集出现在卷（400页）或单独发行（100-300页）、其集中于一个主题并具有一个或多个客座编辑。《数学与人工智能年鉴》希望影响应用数学新领域的产生，并加强人工智能的科学基础。
Targeting solutions in Bayesian multi-objective optimization: sequential and batch versions
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09644-8
A parallel memory-efficient epistemic logic program solver: harder, better, faster
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09621-1
Digital forensics and investigations meet artificial intelligence
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09632-y
Lattice map spiking neural networks (LM-SNNs) for clustering and classifying image data
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09665-3
Blending under deconstruction
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09654-6
A multiparametric view on answer set programming
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09633-x
Non-terminating processes in the situation calculus
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09643-9
An investigation of parametrized difference revision operators
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09625-x
Model simplification for supervised classification of metabolic networks
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09640-y
A review of the relations between logical argumentation and reasoning with maximal consistency
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09629-7
Soft computing methods for multiobjective location of garbage accumulation points in smart cities
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09647-5
Competing hypotheses and abductive inference
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09630-0
Fundamental conditions on the sampling pattern for union of low-rank subspaces retrieval
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09662-6
The SAT+CAS method for combinatorial search with applications to best matrices
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09681-3
P-log: refinement and a new coherency condition
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09620-2
Guest editorial: special issue on answer set programming and other computing paradigms
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09634-w
Knowledge representation analysis of graph mining
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09624-y
Analyzing cognitive processes from complex neuro-physiologically based data: some lessons
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09669-z
Multi-context systems in dynamic environments
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09622-0
Data-driven Koopman operator approach for computational neuroscience
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09666-2
Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09645-7
Dynamic search trajectory methods for global optimization
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09661-7
A framework for comparing query languages in their ability to express boolean queries
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09639-5
Complexity and approximability of the Euclidean generalized traveling salesman problem in grid clusters
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09626-w
Spatial reasoning about qualitative shape compositions
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09637-7
Deep learning models for brain machine interfaces
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09668-0
A paraconsistent approach to actions in informationally complex environments
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09627-9
Privacy stochastic games in distributed constraint reasoning
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09628-8
Practical reasoning using values: an argumentative approach based on a hierarchy of values
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09660-8
First-order definable counting-only queries
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09652-8
Directed Lovász local lemma and Shearer’s lemma
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09671-5
Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09653-7
Controlling sub-tournaments: easy or hard problem?
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09638-6
Guest editorial: revised selected papers from the LION 12 conference
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09677-z
Introduction to the special issue on belief revision, argumentation, ontologies, and norms
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09674-2
Statistical learning based on Markovian data maximal deviation inequalities and learning rates
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09670-6
Exact algorithms for two integer-valued problems of searching for the largest subset and longest subsequence
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09623-z
Multi-valued logic in graph transformation theory and self-adaptive systems
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09678-y
The price to pay for forgoing normalization in fair division of indivisible goods
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09659-1
Revising event calculus theories to recover from unexpected observations
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09663-5
Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09655-5
Feature uncertainty bounds for explicit feature maps and large robust nonlinear SVM classifiers
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09676-0
Discovering state constraints for planning with conditional effects in Discoplan (part I)
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09618-w
A subdivision algorithm to reason on high-degree polynomial constraints over finite domains
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09680-4
Dual embeddings and metrics for word and relational similarity
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09636-8
Contextual rational closure for defeasible AℒC\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$\\mathcal {ALC}$\\end{docum
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09658-2
Kernel collaborative online algorithms for multi-task learning
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09650-w
Probability, coherent belief and coherent belief changes
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09649-3
Kernel classification using a linear programming approach
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09642-w
Impossibility results for belief contraction
来源期刊：Annals of Mathematics and Artificial IntelligenceDOI：10.1007/s10472-019-09635-9
