ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE

Lattice map spiking neural networks (LM-SNNs) for clustering and classifying image data

Blending under deconstruction

A multiparametric view on answer set programming

Non-terminating processes in the situation calculus

An investigation of parametrized difference revision operators

Model simplification for supervised classification of metabolic networks

A review of the relations between logical argumentation and reasoning with maximal consistency

Soft computing methods for multiobjective location of garbage accumulation points in smart cities

Competing hypotheses and abductive inference

Fundamental conditions on the sampling pattern for union of low-rank subspaces retrieval

The SAT+CAS method for combinatorial search with applications to best matrices

P-log: refinement and a new coherency condition

Guest editorial: special issue on answer set programming and other computing paradigms

Knowledge representation analysis of graph mining

Analyzing cognitive processes from complex neuro-physiologically based data: some lessons

Multi-context systems in dynamic environments

Data-driven Koopman operator approach for computational neuroscience

Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains

Dynamic search trajectory methods for global optimization

A framework for comparing query languages in their ability to express boolean queries

Complexity and approximability of the Euclidean generalized traveling salesman problem in grid clusters

Spatial reasoning about qualitative shape compositions

Deep learning models for brain machine interfaces

A paraconsistent approach to actions in informationally complex environments

Privacy stochastic games in distributed constraint reasoning

Practical reasoning using values: an argumentative approach based on a hierarchy of values

First-order definable counting-only queries

Directed Lovász local lemma and Shearer’s lemma

Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations

Controlling sub-tournaments: easy or hard problem?

Guest editorial: revised selected papers from the LION 12 conference

Introduction to the special issue on belief revision, argumentation, ontologies, and norms

Statistical learning based on Markovian data maximal deviation inequalities and learning rates

Exact algorithms for two integer-valued problems of searching for the largest subset and longest subsequence

Multi-valued logic in graph transformation theory and self-adaptive systems

The price to pay for forgoing normalization in fair division of indivisible goods

Revising event calculus theories to recover from unexpected observations

Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations

Feature uncertainty bounds for explicit feature maps and large robust nonlinear SVM classifiers

Discovering state constraints for planning with conditional effects in Discoplan (part I)

A subdivision algorithm to reason on high-degree polynomial constraints over finite domains

Dual embeddings and metrics for word and relational similarity

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

Kernel collaborative online algorithms for multi-task learning

Probability, coherent belief and coherent belief changes

Kernel classification using a linear programming approach

Impossibility results for belief contraction