Login / Signup
Ann. Math. Artif. Intell.
1990
2000
2010
2024
1990
2024
Keyphrases
Publications
volume 92, number 1, 2024
Niccolò Di Marco
,
Azzurra di Palma
,
Andrea Frosini
A study on the predictive strength of fractal dimension of white and grey matter on MRI images in Alzheimer's disease.
Ann. Math. Artif. Intell.
92 (1) (2024)
Vladimir Gurvich
,
Mariya Naumova
Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms.
Ann. Math. Artif. Intell.
92 (1) (2024)
T. Kalyani
,
S. Annadurai
,
T. T. Raman
,
Durairaj Gnanaraj Thomas
Tetrahedral tile pasting systems.
Ann. Math. Artif. Intell.
92 (1) (2024)
Müge Saadetoglu
,
Benedek Nagy
,
Aydin Avkan
Digital continuity of rotations in the 2D regular grids.
Ann. Math. Artif. Intell.
92 (1) (2024)
Selim Reza
,
Marta Campos Ferreira
,
José J. M. Machado
,
João Manuel R. S. Tavares
Road networks structure analysis: A preliminary network science-based approach.
Ann. Math. Artif. Intell.
92 (1) (2024)
Timothy C. Petersen
,
Benjamin Cavy
,
David M. Paganin
,
Imants D. Svalbe
Families of multi-level Legendre-like arrays.
Ann. Math. Artif. Intell.
92 (1) (2024)
Bernhard Ganter
Cost-aware sequential diagnostics.
Ann. Math. Artif. Intell.
92 (1) (2024)
Somrita Saha
,
Arindam Biswas
A combinatorial technique for generation of digital plane using GCD.
Ann. Math. Artif. Intell.
92 (1) (2024)
Claude Carlet
,
Serge Feukoua
On those Boolean functions that are coset leaders of first order Reed-Muller codes.
Ann. Math. Artif. Intell.
92 (1) (2024)
Miguel Couceiro
,
Erkko Lehtonen
Galois theory for analogical classifiers.
Ann. Math. Artif. Intell.
92 (1) (2024)
Dimitrios I. Diochnos
,
Martin Charles Golumbic
,
Frederick Hoffman
ISAIM-2022: international symposium on artificial intelligence and mathematics.
Ann. Math. Artif. Intell.
92 (1) (2024)
Valentin E. Brimkov
Combinatorial and geometric problems in imaging sciences.
Ann. Math. Artif. Intell.
92 (1) (2024)
Fernando Díaz-del-Río
,
Helena Molina-Abril
,
Pedro Real
,
Darian M. Onchis
,
Sergio Blanco-Trejo
Parallel homological calculus for 3D binary digital images.
Ann. Math. Artif. Intell.
92 (1) (2024)
volume 92, number 2, 2024
Yuliya Lierler
An abstract view on optimizations in propositional frameworks.
Ann. Math. Artif. Intell.
92 (2) (2024)
Safae Rbihou
,
Nour-eddine Joudar
,
Khalid Haddouch
Parameter tuning of continuous Hopfield network applied to combinatorial optimization.
Ann. Math. Artif. Intell.
92 (2) (2024)
Christian Antic
Sequential composition of propositional logic programs.
Ann. Math. Artif. Intell.
92 (2) (2024)
Corinna Cortes
,
Giulia DeSalvo
,
Mehryar Mohri
Theory and algorithms for learning with rejection in binary classification.
Ann. Math. Artif. Intell.
92 (2) (2024)
Vahide Bulut
Path planning algorithm for mobile robots based on clustering-obstacles and quintic trigonometric Bézier curve.
Ann. Math. Artif. Intell.
92 (2) (2024)
Telmo Matos
RAMP experiments in solving the uncapacitated facility location problem.
Ann. Math. Artif. Intell.
92 (2) (2024)
Pranjal Awasthi
,
Corinna Cortes
,
Mehryar Mohri
Best-effort adaptation.
Ann. Math. Artif. Intell.
92 (2) (2024)
Yitzchak Shmalo
Stability of accuracy for the training of DNNs via the uniform doubling condition.
Ann. Math. Artif. Intell.
92 (2) (2024)
Nicolas Troquard
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention.
Ann. Math. Artif. Intell.
92 (2) (2024)
volume 92, number 3, 2024
Teddy Lazebnik
,
Avi Rosenfeld
A new definition for feature selection stability analysis.
Ann. Math. Artif. Intell.
92 (3) (2024)
Judy Goldsmith
,
Jörg Rothe
Coalition formation games - preface.
Ann. Math. Artif. Intell.
92 (3) (2024)
Francine Chen
,
Yanxia Zhang
,
Minh Nguyen
,
Matthew Klenk
,
Charlene C. Wu
Correction: Personalized choice prediction with less user information.
Ann. Math. Artif. Intell.
92 (3) (2024)
Kerven Durdymyradov
,
Mikhail Moshkov
Bounds on depth of decision trees derived from decision rule systems with discrete attributes.
Ann. Math. Artif. Intell.
92 (3) (2024)
Aysu Ismayilova
,
Muhammad Ismayilov
On the universal approximation property of radial basis function neural networks.
Ann. Math. Artif. Intell.
92 (3) (2024)
Fernando Tohmé
,
Rocco Gangle
,
Gianluca Caterina
A category theory approach to the semiotics of machine learning.
Ann. Math. Artif. Intell.
92 (3) (2024)
Bugra Çaskurlu
,
Fatih Erdem Kizilkaya
On hedonic games with common ranking property.
Ann. Math. Artif. Intell.
92 (3) (2024)
Nathan Arnold
,
Sarah H. Snider
,
Judy Goldsmith
Socially conscious stability for tiered coalition formation games.
Ann. Math. Artif. Intell.
92 (3) (2024)
Anna Maria Kerkmann
,
Simon Cramer
,
Jörg Rothe
Altruism in coalition formation games.
Ann. Math. Artif. Intell.
92 (3) (2024)
Bugra Çaskurlu
,
Fatih Erdem Kizilkaya
,
Berkehan Ozen
Hedonic Expertise Games.
Ann. Math. Artif. Intell.
92 (3) (2024)
Joanna Kaczmarek
,
Jörg Rothe
Controlling weighted voting games by deleting or adding players with or without changing the quota.
Ann. Math. Artif. Intell.
92 (3) (2024)
volume 92, number 4, 2024
Yi Yang
,
Tom Holvoet
Making model checking feasible for GOAL.
Ann. Math. Artif. Intell.
92 (4) (2024)
Tobias Ahlbrecht
An algorithmic debugging approach for belief-desire-intention agents.
Ann. Math. Artif. Intell.
92 (4) (2024)
Hussein Marah
,
Moharram Challenger
MADTwin: a framework for multi-agent digital twin development: smart warehouse case study.
Ann. Math. Artif. Intell.
92 (4) (2024)
Patrick Gavigan
,
Babak Esfandiari
Quantifying the relationship between software design principles and performance in Jason: a case study with simulated mobile robots.
Ann. Math. Artif. Intell.
92 (4) (2024)
Thimjo Koça
,
Dave de Jonge
,
Tim Baarslag
Search algorithms for automated negotiation in large domains.
Ann. Math. Artif. Intell.
92 (4) (2024)
Amit K. Chopra
,
Jürgen Dix
,
Rym Zalila-Wenkstern
Introduction to the special issue: selected papers from EMAS 2022.
Ann. Math. Artif. Intell.
92 (4) (2024)
Stefano Mariani
,
Marco Picone
,
Alessandro Ricci
Agents and Digital Twins for the engineering of Cyber-Physical Systems: opportunities, and challenges.
Ann. Math. Artif. Intell.
92 (4) (2024)
Barbara Dunin-Keplicz
,
Andrzej Szalas
Modeling and shadowing paraconsistent BDI agents.
Ann. Math. Artif. Intell.
92 (4) (2024)
Tabajara Krausburg
,
Rafael H. Bordini
,
Jürgen Dix
Modelling a chain of command in the incident command system using sequential characteristic function games.
Ann. Math. Artif. Intell.
92 (4) (2024)
Phillip Sloan
,
Nirav Ajmeri
Commitment-based negotiation semantics for accountability in multi-agent systems.
Ann. Math. Artif. Intell.
92 (4) (2024)
Jérémy Lemée
,
Danai Vachtsevanou
,
Simon Mayer
,
Andrei Ciortea
Signifiers for conveying and exploiting affordances: from human-computer interaction to multi-agent systems.
Ann. Math. Artif. Intell.
92 (4) (2024)
volume 91, number 6, 2023
Yaochen Xu
,
Zhenbing Zeng
,
Jian Lu
,
Yuzheng Wang
,
Liangyu Chen
Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5.
Ann. Math. Artif. Intell.
91 (6) (2023)
Vesna Marinkovic
,
Tijana Sukilovic
,
Filip Maric
Automated triangle constructions in hyperbolic geometry.
Ann. Math. Artif. Intell.
91 (6) (2023)
Ilias S. Kotsireas
,
Panos M. Pardalos
,
Dimitris E. Simos
Correction to: Preface: Selected revised papers from the LION 15 conference.
Ann. Math. Artif. Intell.
91 (6) (2023)
Philip H. Todd
,
Danny Aley
A program to create new geometry proof problems.
Ann. Math. Artif. Intell.
91 (6) (2023)
Predrag Janicic
,
Julien Narboux
Automated generation of illustrated proofs in geometry and beyond.
Ann. Math. Artif. Intell.
91 (6) (2023)
Nuno Baeta
,
Pedro Quaresma
Towards a geometry deductive database prover.
Ann. Math. Artif. Intell.
91 (6) (2023)