| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Müge Saadetoglu, Benedek Nagy, Aydin Avkan |
Digital continuity of rotations in the 2D regular grids.  |
Ann. Math. Artif. Intell.  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | T. Kalyani, S. Annadurai, T. T. Raman, Durairaj Gnanaraj Thomas |
Tetrahedral tile pasting systems. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Corinna Cortes, Giulia DeSalvo, Mehryar Mohri |
Theory and algorithms for learning with rejection in binary classification. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler |
An abstract view on optimizations in propositional frameworks. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Gurvich, Mariya Naumova |
Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy C. Petersen, Benjamin Cavy, David M. Paganin, Imants D. Svalbe |
Families of multi-level Legendre-like arrays. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Ganter |
Cost-aware sequential diagnostics. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Safae Rbihou, Nour-eddine Joudar, Khalid Haddouch |
Parameter tuning of continuous Hopfield network applied to combinatorial optimization. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Telmo Matos |
RAMP experiments in solving the uncapacitated facility location problem. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Carlet, Serge Feukoua |
On those Boolean functions that are coset leaders of first order Reed-Muller codes. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin E. Brimkov |
Combinatorial and geometric problems in imaging sciences. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Díaz-del-Río, Helena Molina-Abril, Pedro Real 0001, Darian M. Onchis, Sergio Blanco-Trejo |
Parallel homological calculus for 3D binary digital images. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Troquard |
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Somrita Saha, Arindam Biswas 0002 |
A combinatorial technique for generation of digital plane using GCD. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yitzchak Shmalo |
Stability of accuracy for the training of DNNs via the uniform doubling condition. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Antic |
Sequential composition of propositional logic programs. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Couceiro, Erkko Lehtonen |
Galois theory for analogical classifiers. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Vahide Bulut |
Path planning algorithm for mobile robots based on clustering-obstacles and quintic trigonometric Bézier curve. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Pranjal Awasthi, Corinna Cortes, Mehryar Mohri |
Best-effort adaptation. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios I. Diochnos, Martin Charles Golumbic, Frederick Hoffman |
ISAIM-2022: international symposium on artificial intelligence and mathematics. |
Ann. Math. Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Theofanis I. Aravanis |
Deductive belief change. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip H. Todd, Danny Aley |
A program to create new geometry proof problems. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Line van den Berg, Manuel Atencia, Jérôme Euzenat |
Raising awareness without disclosing truth. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia |
Correction to: Preface. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Renyan Feng, Yisong Wang, Ren Qian, Lei Yang, Panfeng Chen |
Knowledge forgetting in propositional μ-calculus. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Kovács, Predrag Janicic |
Formalization of geometry, automated and interactive geometric reasoning. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip H. Todd |
Automated discovery of angle theorems. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Candelieri, Andrea Ponti, Ilaria Giordani, Francesco Archetti |
On the use of Wasserstein distance in the distributional analysis of human decision making under uncertainty. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuojun Xiong, Thomas Ågotnes |
The logic of secrets and the interpolation rule. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia |
Preface. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Sauk, Nikolaos V. Sahinidis |
Hyperparameter autotuning of programs with HybridTuner. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Suhendry Effendy, Roland H. C. Yap |
Real-time passenger bus routing problems with preferences and tradeoffs. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Blümlein, Marco Saragnese, Carsten Schneider |
Hypergeometric structures in Feynman integrals. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Giordano, Lucia Maddalena 0001, Mario Manzo, Mario Rosario Guarracino |
Adversarial attacks on graph-level embedding methods: a case study. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaoming Hu, Shaojun Lu, Min Kong, Xinbao Liu, Panos M. Pardalos |
Parallel machine scheduling with linearly increasing energy consumption cost. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred Espen Benth, Nils Detering, Luca Galimberti |
Neural networks in Fréchet spaces. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bastien Maubert, Aniello Murano, Sasha Rubin |
Logical aspects of multi-agent systems. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Fernández de Sevilla, J. Rafael Magdalena Benedicto, Sonia Pérez-Díaz |
Design and implementation of symbolic algorithms for the computation of generalized asymptotes. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Schulte, Volker Nissen |
Sensitivity analysis of combinatorial optimization problems using evolutionary bilevel optimization and data mining. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar Augusto Tacla |
Probabilistic causal bipolar abstract argumentation: an approach based on credal networks. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Moosaei, Milan Hladík |
A lagrangian-based approach for universum twin bounded support vector machine with its applications. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Buchberger |
Automated programming, symbolic computation, machine learning: my personal view. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Gutierrez 0001, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
On the complexity of rational verification. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuojun Xiong, Thomas Ågotnes |
Correction to: The logic of secrets and the interpolation rule. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarek Khaled, Belaid Benhamou, Van-Giang Trinh |
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Y. Krylatov, Anastasiya Raevskaya, Petr Ageev |
Optimization strategies for the bilevel network design problem with affine cost functions. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio B. Clempner |
A Bayesian reinforcement learning approach in markov games for computing near-optimal policies. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Predrag Janicic, Julien Narboux |
Automated generation of illustrated proofs in geometry and beyond. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos |
Preface: Selected revised papers from the LION 15 conference. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiaojie Du, Yalan Wen, Ling Wang 0009, Pinggai Zhang, Minrui Fei, Panos M. Pardalos |
An adaptive human learning optimization with enhanced exploration-exploitation balance. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sorin Stratulat |
Mechanical certification of FOLID cyclic proofs. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Díaz Urra, Nicolás Gálvez Ramírez, Carlos Castro 0001 |
A framework for the generation of complex scenario instances in the Urban Transit Routing Problem. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos |
Correction to: Preface: Selected revised papers from the LION 15 conference. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Bocchi, Stefano Botteghi, Martina Brasini, Patrizio Frosini, Nicola Quercioli |
On the finite representation of linear group equivariant operators via permutant measures. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel C. Cohen, Michael Farber 0002, Shmuel Weinberger |
Correction to: Parametrized topological complexity of collision‑free motion planning in the plane. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesna Marinkovic, Tijana Sukilovic, Filip Maric |
Automated triangle constructions in hyperbolic geometry. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed Elaroussi, Lhouari Nourine, Mohammed Said Radjef |
Lattice point of view for argumentation framework. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaochen Xu, Zhenbing Zeng, Jian Lu, Yuzheng Wang, Liangyu Chen 0001 |
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. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaowen Lan, Wenjuan Fan, Shanlin Yang, Panos M. Pardalos |
Physician scheduling problem in Mobile Cabin Hospitals of China during Covid-19 outbreak. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Moshkov |
Time and space complexity of deterministic and nondeterministic decision trees. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno Baeta, Pedro Quaresma |
Towards a geometry deductive database prover. |
Ann. Math. Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoai An Le Thi, Vinh Thanh Ho |
Alternating DCA for reduced-rank multitask linear regression with covariance matrix estimation. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Hanika, Johannes Hirth |
Knowledge cores in large formal contexts. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasir Mahmood 0002, Arne Meier |
Parameterised complexity of model checking and satisfiability in propositional dependence logic. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Knoblauch |
On the antiderivatives of xp/(1 - x) with an application to optimize loss functions for classification with neural networks. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stipe Pandzic |
Structured argumentation dynamics. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xing Zhu, Baoyu Liao, Shanlin Yang, Panos M. Pardalos |
Evolutionary game analysis on government subsidy policy and bank loan strategy in China's distributed photovoltaic market. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Moosaei, Milan Hladík |
Least squares approach to K-SVCR multi-class classification with its applications. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel C. Cohen, Michael Farber 0002, Shmuel Weinberger |
Parametrized topological complexity of collision-free motion planning in the plane. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomer Libal, Dale Miller 0001 |
Functions-as-constructors higher-order unification: extended pattern unification. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Komo, Christoph Beierle |
Nonmonotonic reasoning from conditional knowledge bases with system W. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Subramani 0001, Piotr Wojciechowski 0002 |
Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosmina Croitoru, Madalina Croitoru |
Indepth combinatorial analysis of admissible sets for abstract argumentation. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | John Grant, Francesco Parisi |
General information spaces: measuring inconsistency, rationality postulates, and complexity. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Temur Kutsia, Andrew M. Marshall |
Preface. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjørn Kjos-Hanssen, Clyde James Felix, Sun Young Kim, Ethan Lamb, Davin Takahashi |
VC-dimensions of nondeterministic finite automata for words of equal length. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Vion, René Mandiau, Sylvain Piechowiak, Marius Silaghi 0001 |
Integrating domain and constraint privacy reasoning in the distributed stochastic algorithm with breakouts. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Wojciechowski 0002, K. Subramani 0001 |
On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludwig Kampel, Dimitris E. Simos, D. Richard Kuhn, Raghu N. Kacker |
An exploration of combinatorial testing-based approaches to fault localization for explainable AI. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Nomikos, Christos Rantsoudis |
Default consequence relations from topology and measure theory. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton V. Eremeev, Alexander V. Kel'manov, Mikhail Y. Kovalyov, Artem V. Pyatkin |
Selecting a subset of diverse points based on the squared euclidean distance. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Schneckenburger, Britta Dorn, Ulle Endriss |
Minimising inequality in multiagent resource allocation. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Malek Sarhani, Stefan Voß 0001 |
Chunking and cooperation in particle swarm optimization for feature selection. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Seonho Park, George Adosoglou, Panos M. Pardalos |
Interpreting rate-distortion of variational autoencoder and using model uncertainty for anomaly detection. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Jonas Haldimann |
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Brijder, Marc Gyssens, Jan Van den Bussche |
On matrices and K-relations. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Aldy Gunawan, Audrey Tedja Widjaja, Pieter Vansteenwegen, Vincent F. Yu |
Two-phase Matheuristic for the vehicle routing problem with reverse cross-docking. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter |
Learning with cone-based geometric models and orthologics. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller 0001, Alexandre Viel |
The undecidability of proof search when equality is a logical connective. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rokia Missaoui, Pedro H. B. Ruas, Léonard Kwuida, Mark A. J. Song, Mohamed Hamza Ibrahim |
Computing triadic generators and association rules from triadic contexts. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Meifeng Shi, Xin Liao, Yuan Chen |
A dual-population search differential evolution algorithm for functional distributed constraint optimization problems. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Judy Hoffman, Mehryar Mohri, Ningshan Zhang |
Multiple-source adaptation theory and algorithms - addendum. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ömer Faruk Yilmaz |
An integrated bi-objective U-shaped assembly line balancing and parts feeding problem: optimization model and exact solution method. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar 0001, José Meseguer 0001, Julia Sapiña |
Order-sorted equational generalization algorithm revisited. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Boege |
Gaussoids are two-antecedental approximations of Gaussian conditional independence structures. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Antic |
Analogical proportions. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehwish Alam, Tanya Braun, Dominik Endres, Bruno Yun |
Special issue on conceptual structures. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Uta Priss |
A semiotic perspective on polysemy. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license