Skip to content

International Symposium on Artificial Intelligence and Mathematics

ISAIM

National

CORE rank

CORE rank (raw)

National: USA

Fields of research

Artificial Intelligence

Papers indexed

455

2002–2024

Papers per year

200261 peak2024

ISAIM papers

455 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2018Sublinear-Time Adaptive Data Analysis.Benjamin Fish, Lev Reyzin, Benjamin I. P. Rubinstein
2018Constraint Composite Graph-Based Lifted Message Passing for Distributed Constraint Optimization Problems.Ferdinando Fioretto, Hong Xu, Sven Koenig, T. K. Satish Kumar
2018Meta-inductive Probability Aggregation and Optimal Scoring.Christian J. Feldbacher-Escamilla, Gerhard Schurz
2018On the Evolvability of Monotone Monomials with a (1+1) Evolutionary Algorithm.Dimitrios I. Diochnos
2018Practical Challenges in Explicit Ethical Machine Reasoning.Louise A. Dennis, Michael Fisher
2018Ensemble Correlation Coefficient.Wejdan Deebani, Nezamoddin Nezamoddini-Kachouie
2018PAC Bandits with Risk Constraints.Yahel David, Balzs Szrnyi, Mohammad Ghavamzadeh, Shie Mannor, Nahum Shimkin
2018Moral Decision Making Frameworks for Artificial Intelligence.Vincent Conitzer, Walter Sinnott-Armstrong, Jana Schaich Borg, Yuan Deng, Max Kramer
2018Enhanced Delta-tolling: Traffic Optimization via Policy Gradient Reinforcement Learning.Hamid Mirzaei Buini, Guni Sharon, Stephen D. Boyles, Tony Givargis, Peter Stone
2018Contextual Deontic Cognitive Event Calculi for Ethically Correct Robots.Selmer Bringsjord, Naveen Sundar G., Bertram F. Malle, Matthias Scheutz
2018Parking search equilibrium and its implications for parking management.Stephen D. Boyles
2018Quadratizations of symmetric pseudo-Boolean functions: sub-linear bounds on the number of auxiliary variables.Endre Boros, Yves Crama, Elisabeth Rodrguez-Heck
2018Generalization Bounds for Minimum Volume Set Estimation based on Markovian Data.Patrice Bertail, Gabriela Ciolek, Stphan Clmenon
2018A Formalization of Kant's Second Formulation of the Categorical Imperative.Martin Mose Bentzen
2018Selected Prototypes of Moral Machines.Oliver Bendel
2018Low-rank Feature Selection for Reinforcement Learning.Bahram Behzadian, Marek Petrik
2018From Machine Ethics To Machine Explainability and Back.Kevin Baum, Holger Hermanns, Timo Speith
2018Logical Analysis of Multiclass Data with Relaxed Patterns.Travaughn C. Bain, Juan Felix Avila Herrera, Ersoy Subasi, Munevver Mine Subasi
2018A Characterization of Sampling Patterns for Union of Low-Rank Subspaces Retrieval Problem.Morteza Ashraphijuo, Xiaodong Wang
2018An Exponential Tail Bound for Lq Stable Learning Rules. Application to k-Folds Cross-Validation.Karim T. Abou-Moustafa, Csaba Szepesvri
2018The Buss Reduction for the k-Weighted Vertex Cover Problem.Hong Xu, Xin-Zeng Wu, Cheng Cheng, Sven Koenig, T. K. Satish Kumar
2018A Warning Propagation-Based Linear-Time-and-Space Algorithm for the Minimum Vertex Cover Problem on Giant Graphs.Hong Xu, Kexuan Sun, Sven Koenig, T. K. Satish Kumar
2018The FastMap Algorithm for Shortest Path Computations.Liron Cohen, Tansel Uras, Shiva Jahangiri, Aliyah Arunasalam, Sven Koenig, T. K. Satish Kumar
2016On the computational complexities of Quantified Integer Programming variants.Piotr Wojciechowski, K. Subramani, Pavlos Eirinakis
2016Solving Non-Linear Pseudo-Boolean Optimization Problems by Constraint Integer Programming.Michael Winkler
126150 of 455← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.