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
2014Hydras: Complexity on general graphs and a subclass of trees.Petr Kucera
2014Optimal Sequential Multi-Way Number Partitioning.Richard E. Korf, Ethan L. Schreiber, Michael D. Moffitt
2014Probabilistic Knowledge Representation Using Grbner Basis Theory.Gabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle
2014Bag-Connected Tree-Width: A New Parameter for Graph Decomposition.Philippe Jgou, Cyril Terrioux
2014A Pigeon-Hole Based Encoding of Cardinality Constraints.Sad Jabbour, Lakhdar Sas, Yakoub Salhi
2014Finite-state subset approximation of phrase structure.Mans Hulden, Miikka Silfverberg
2014Toward a Theory of Pattern Discovery.Jonathan H. Huggins, Cynthia Rudin
2014Generalization Bounds for Partially Linear Models.Ruitong Huang, Csaba Szepesvri
2014Representations of All Solutions of Boolean Programming Problems.Utz-Uwe Haus, Carla Michini
2014Boosting Conditional Probability Estimators.Dan Gutfreund, Aryeh Kontorovich, Ran Levy, Michal Rosen-Zvi
2014From Sentiment Analysis to Preference Aggregation.Umberto Grandi, Andrea Loreggia, Francesca Rossi, Vijay A. Saraswat
2014Monads for composing categorical and probabilistic meanings.Gianluca Giorgolo, Ash Asudeh
2014On Resolution Like Proofs of Monotone Self-Dual Functions.Daya Ram Gaur
2014Networks of morphological relations.Sean A. Fulop, Sylvain Neuvel
2014Learning Optionality and Repetition.Meaghan Fowlie
2014Weighted Best First Search for Graphical Models.Natalia Flerova, Radu Marinescu, Rina Dechter
2014The Maximum Likelihood Approach to Voting on Social Networks.Vincent Conitzer
2014The Separation Problem for Binary Decision Diagrams.Andr A. Cir, John N. Hooker
2014Function Evaluation: decision trees optimizing simultaneously worst and expected testing cost.Ferdinando Cicalese, Eduardo Sany Laber, Aline Medeiros Saettler
2014Linear Separation of Connected Dominating Sets in Graphs.Nina Chiarelli, Martin Milanic
2014On the Gap between the Complexity of SAT and Minimization for Certain Classes of Boolean Formulas.Ondrej Cepek, Stefan Gursk
2014Extending Tournament Solutions.Felix Brandt, Markus Brill, Paul Harrenstein
2014Cones of Nonnegative Quadratic Pseudo-Boolean Functions.Endre Boros, Isabella Lari
2014Reversing the Classification of Weighted Rule Ensembles.Tibrius O. Bonates, Jos W. V. Morais Neto
2014Assertional-based Removed Set Revision of DL-LiteR Belief Bases.Salem Benferhat, Zied Bouraoui, Odile Papini, ric Wrbel
201225 of 455← PreviousNext →

Comparable venues

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